@inproceedings{7e83434e0068489297331001580a94d1,
title = "Seamless model-based system development: Foundations: (extended abstract)",
abstract = "This is an extended abstract which gives an overview and sufficient references to work on model-based development of cyber-physical systems, both to its formal and scientific foundations as well as to more methodological issues including requirements engineering and architecture. Key concepts are interface behaviour and modular composition to support the modelling of the interaction between systems and their context, between subsystems, and between subservices as part of feature interactions. A logical framework is described for specification, implementation, refinement, and verification.",
keywords = "Architecture, Assumptions, Commitments, Contracts, Design, Interface, Model based software and systems development, Refinement, System specification",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.; 5th International School on Engineering Trustworthy Software Systems, SETSS 2019 ; Conference date: 21-04-2019 Through 27-04-2019",
year = "2020",
doi = "10.1007/978-3-030-55089-9_1",
language = "English",
isbn = "9783030550882",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "1--9",
editor = "Bowen, {Jonathan P.} and Zhiming Liu and Zili Zhang",
booktitle = "Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures",
}