Connectors as designs: Modeling, refinement and test case generation

Meng Sun; Farhad Arbab; Bernhard Aichernig; Lacramioara Astefanoaei; Frank S. de Boer; Jan Rutten

doi:10.1016/j.scico.2011.04.002

Connectors as designs: Modeling, refinement and test case generation

Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan Rutten

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	799-822
Fachzeitschrift	Science of Computer Programming
Jahrgang	77
Ausgabenummer	7/8
DOIs	https://doi.org/10.1016/j.scico.2011.04.002
Publikationsstatus	Veröffentlicht - 2012

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

10.1016/j.scico.2011.04.002

Andere Dateien und Links

http://www.journals.elsevier.com/science-of-computer-programming/

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@article{187c04740fde41c88a85d19f16dc292b,

title = "Connectors as designs: Modeling, refinement and test case generation",

author = "Meng Sun and Farhad Arbab and Bernhard Aichernig and Lacramioara Astefanoaei and {de Boer}, {Frank S.} and Jan Rutten",

year = "2012",

doi = "10.1016/j.scico.2011.04.002",

language = "English",

volume = "77",

pages = "799--822",

journal = "Science of Computer Programming ",

issn = "1872-7964",

publisher = "Elsevier B.V.",

number = "7/8",

}

TY - JOUR

T1 - Connectors as designs: Modeling, refinement and test case generation

AU - Sun, Meng

AU - Arbab, Farhad

AU - Aichernig, Bernhard

AU - Astefanoaei, Lacramioara

AU - de Boer, Frank S.

AU - Rutten, Jan

PY - 2012

Y1 - 2012

UR - http://www.journals.elsevier.com/science-of-computer-programming/

U2 - 10.1016/j.scico.2011.04.002

DO - 10.1016/j.scico.2011.04.002

M3 - Article

SN - 1872-7964

VL - 77

SP - 799

EP - 822

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 7/8

ER -

Connectors as designs: Modeling, refinement and test case generation

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Formale Methoden

Dieses zitieren