From "formal methods" to system modeling

Manfred Broy

doi:10.1007/978-3-540-75221-9_2

From "formal methods" to system modeling

Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

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

4 Scopus citations

Abstract

When engineering software intensive systems the quality of the resulting product depends strictly on the quality of the models used explicitly or implicitly in the engineering process. A rich family of such models has been developed in recent years. We discuss some of these models and describe the requirements for system modeling theories.

Original language	English
Title of host publication	Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Publisher	Springer Verlag
Pages	24-44
Number of pages	21
ISBN (Print)	9783540752202
DOIs	https://doi.org/10.1007/978-3-540-75221-9_2
State	Published - 2007
Event	Festschrift Symposium - Formal Methods and Hybrid Real-Time Systems. In Honour of Dines Bjorner and Zhou Chaochen on the Occasion of their 70th Birthdays - Macao, China Duration: 24 Sep 2007 → 27 Sep 2007

Publication series

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

Conference

Conference	Festschrift Symposium - Formal Methods and Hybrid Real-Time Systems. In Honour of Dines Bjorner and Zhou Chaochen on the Occasion of their 70th Birthdays
Country/Territory	China
City	Macao
Period	24/09/07 → 27/09/07

Access to Document

10.1007/978-3-540-75221-9_2

Cite this

Broy, M. (2007). From "formal methods" to system modeling. In Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (pp. 24-44). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4700 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-75221-9_2

@inproceedings{a747e18ab17c4f27b3ee6923fac8e3f1,

title = "From {"}formal methods{"} to system modeling",

abstract = "When engineering software intensive systems the quality of the resulting product depends strictly on the quality of the models used explicitly or implicitly in the engineering process. A rich family of such models has been developed in recent years. We discuss some of these models and describe the requirements for system modeling theories.",

author = "Manfred Broy",

year = "2007",

doi = "10.1007/978-3-540-75221-9_2",

language = "English",

isbn = "9783540752202",

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

publisher = "Springer Verlag",

pages = "24--44",

booktitle = "Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays",

note = "Festschrift Symposium - Formal Methods and Hybrid Real-Time Systems. In Honour of Dines Bjorner and Zhou Chaochen on the Occasion of their 70th Birthdays ; Conference date: 24-09-2007 Through 27-09-2007",

}

Broy, M 2007, From "formal methods" to system modeling. in Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4700 LNCS, Springer Verlag, pp. 24-44, Festschrift Symposium - Formal Methods and Hybrid Real-Time Systems. In Honour of Dines Bjorner and Zhou Chaochen on the Occasion of their 70th Birthdays, Macao, China, 24/09/07. https://doi.org/10.1007/978-3-540-75221-9_2

From "formal methods" to system modeling. / Broy, Manfred.
Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer Verlag, 2007. p. 24-44 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4700 LNCS).

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

TY - GEN

T1 - From "formal methods" to system modeling

AU - Broy, Manfred

PY - 2007

Y1 - 2007

N2 - When engineering software intensive systems the quality of the resulting product depends strictly on the quality of the models used explicitly or implicitly in the engineering process. A rich family of such models has been developed in recent years. We discuss some of these models and describe the requirements for system modeling theories.

AB - When engineering software intensive systems the quality of the resulting product depends strictly on the quality of the models used explicitly or implicitly in the engineering process. A rich family of such models has been developed in recent years. We discuss some of these models and describe the requirements for system modeling theories.

UR - http://www.scopus.com/inward/record.url?scp=38149086786&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-75221-9_2

DO - 10.1007/978-3-540-75221-9_2

M3 - Conference contribution

AN - SCOPUS:38149086786

SN - 9783540752202

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

SP - 24

EP - 44

BT - Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

PB - Springer Verlag

T2 - Festschrift Symposium - Formal Methods and Hybrid Real-Time Systems. In Honour of Dines Bjorner and Zhou Chaochen on the Occasion of their 70th Birthdays

Y2 - 24 September 2007 through 27 September 2007

ER -

Broy M. From "formal methods" to system modeling. In Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer Verlag. 2007. p. 24-44. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-75221-9_2

From "formal methods" to system modeling

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this