Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

作者: Tiziana Margaria

DOI: 10.1007/978-3-030-00244-2_1

关键词:

摘要: In order to mainstream the production and evolution of IT at levels speed, scale, affordability collaborative effort needed truly make enter fabric every economical societal endeavour, as is projected future our society in next decade, ease learning, understanding, applying new disruptive technologies must drastically improve. We argue that needs people, sectors, large-scale trends can only be met if professions embrace adopt a way producing consuming IT, based on more formal descriptions, models, reasoning analysis before expensive implementations are incurred, coupled with automatic transformations, generations, analyses take advantage models formalized knowledge.

参考文章(32)
Tiziana Margaria, Andreas Claßen, Bernhard Steffen, Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools. ,vol. 17, pp. 13- 25 ,(1996)
Martin P. Ward, Language-Oriented Programming. Software - Concepts and Tools. ,vol. 15, pp. 147- 161 ,(1994)
Andreas Claßen, Bernhard Steffen, Volker Braun, Tiziana Margaria, Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools. ,vol. 17, pp. 78- ,(1996)
Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß, Service-Oriented Design: The Roots Service-Oriented Computing – ICSOC 2007. pp. 450- 464 ,(2005) , 10.1007/11596141_34
Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide, Library-Based Design and Consistency Checking of System-Level Industrial Test Cases fundamental approaches to software engineering. pp. 233- 248 ,(2001) , 10.1007/3-540-45314-8_17
Daniel Lustig, Michael Pellauer, Margaret Martonosi, Pipe Check: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models international symposium on microarchitecture. pp. 635- 646 ,(2014) , 10.1109/MICRO.2014.38
Martin Karusseit, Tiziana Margaria, Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service Electronic Notes in Theoretical Computer Science. ,vol. 157, pp. 101- 118 ,(2006) , 10.1016/J.ENTCS.2005.12.049
Tiziana Margaria, Bernhard Steffen, Lightweight coarse-grained coordination: a scalable system-level approach International Journal on Software Tools for Technology Transfer. ,vol. 5, pp. 107- 123 ,(2004) , 10.1007/S10009-003-0119-4
David Brooks, Vivek Tiwari, Margaret Martonosi, Wattch: a framework for architectural-level power analysis and optimizations international symposium on computer architecture. ,vol. 28, pp. 83- 94 ,(2000) , 10.1145/339647.339657
Tiziana Margaria, Bernhard Steffen, Jan Nyström, Bengt Jonsson, Gustaf Naeser, Incremental requirement specification for evolving systems Nordic Journal of Computing. ,vol. 8, pp. 65- 87 ,(2001)