Towards a unified view of modeling and programming

Manfred Broy; Klaus Havelund; Rahul Kumar; Bernhard Steffen

doi:10.1007/978-3-319-47169-3_1

Towards a unified view of modeling and programming

Manfred Broy
, Klaus Havelund
, Rahul Kumar
, Bernhard Steffen

TUM Emeriti of Excellence

Jet Propulsion Laboratory
Microsoft Research
pro3dure medical GmbH

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	3-10
Number of pages	8
ISBN (Print)	9783319471686
DOIs	https://doi.org/10.1007/978-3-319-47169-3_1
State	Published - 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9953 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-319-47169-3_1

Cite this

Broy, M., Havelund, K., Kumar, R., & Steffen, B. (2016). Towards a unified view of modeling and programming. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (pp. 3-10). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-47169-3_1

Broy, Manfred ; Havelund, Klaus ; Kumar, Rahul et al. / Towards a unified view of modeling and programming. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2016. pp. 3-10 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b28124f50cdd4c548b41ec1b3189c9d4,

title = "Towards a unified view of modeling and programming",

author = "Manfred Broy and Klaus Havelund and Rahul Kumar and Bernhard Steffen",

year = "2016",

doi = "10.1007/978-3-319-47169-3\_1",

language = "English",

isbn = "9783319471686",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "3--10",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

}

Broy, M, Havelund, K, Kumar, R & Steffen, B 2016, Towards a unified view of modeling and programming. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9953 LNCS, Springer Verlag, pp. 3-10. https://doi.org/10.1007/978-3-319-47169-3_1

Towards a unified view of modeling and programming. / Broy, Manfred; Havelund, Klaus; Kumar, Rahul et al.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2016. p. 3-10 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a unified view of modeling and programming

AU - Broy, Manfred

AU - Havelund, Klaus

AU - Kumar, Rahul

AU - Steffen, Bernhard

PY - 2016

Y1 - 2016

UR - https://www.scopus.com/pages/publications/84993202327

U2 - 10.1007/978-3-319-47169-3_1

DO - 10.1007/978-3-319-47169-3_1

M3 - Conference contribution

AN - SCOPUS:84993202327

SN - 9783319471686

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 10

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

ER -

Broy M, Havelund K, Kumar R, Steffen B. Towards a unified view of modeling and programming. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. 3-10. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-47169-3_1

Towards a unified view of modeling and programming

Publication series

Access to Document

Other files and links

Cite this