Introduction to the SPES Modeling Framework

The aim of model-based development is to use models as main development artifacts in all phases of the development process.

[1]  Wayne C. Lim,et al.  Effects of reuse on quality, productivity, and economics , 1994, IEEE Software.

[2]  Eike Thaden,et al.  A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems , 2010, SEUS.

[3]  Klaus Pohl,et al.  Requirements Engineering - Fundamentals, Principles, and Techniques , 2010 .

[4]  Klaus Pohl,et al.  Industry needs and research directions in requirements engineering for embedded systems , 2012, Requirements Engineering.

[5]  Manfred Broy,et al.  Multifunctional software systems: Structured modeling and specification of functional requirements , 2010, Sci. Comput. Program..

[6]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[7]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[8]  Andrew P. Sage,et al.  Handbook of Systems Engineering and Management , 2011 .

[9]  Colin Potts,et al.  Using schematic scenarios to understand user needs , 1995, Symposium on Designing Interactive Systems.

[10]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[11]  Bernhard Schäz.  Building Components from Functions , 2006, Electron. Notes Theor. Comput. Sci..

[12]  Manfred Broy,et al.  A formal model of services , 2007, TSEM.

[13]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[14]  Manfred Broy,et al.  Guiding requirements engineering for software-intensive embedded systems in the automotive industry , 2014, Computer Science - Research and Development.

[15]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .