Advertisement

Introduction to the SPES Modeling Framework

  • Manfred Broy
  • Werner Damm
  • Stefan Henkler
  • Klaus Pohl
  • Andreas Vogelsang
  • Thorsten Weyer
Chapter

Abstract

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

Keywords

Embed System Requirement Engineer Adaptive Cruise Control User Function Abstraction Layer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    [Parnas and Madey 1995] D. L. Parnas, J. Madey: Functional documents for computer systems. In: Science of Computer Programming, Vol. 25, No. 1, pp. 41-61.Google Scholar
  2. 2.
    [Pohl 2010] K. Pohl: Requirements Engineering – Fundamentals, Principles, Techniques. Springer, Berlin/Heidelberg, 2010.Google Scholar
  3. 3.
    [Potts 1995] C. Potts: Using schematic scenarios to understand user needs. In: Proceedings of the ACM Symposium on Designing Interactive Systems – Processes, Practices, Methods and Techniques (DIS’95). ACM, New York, 1995, pp. 247-266.Google Scholar
  4. 4.
    [Sage and Rouse 2009] A. P. Sage, W. B. Rouse: Handbook of Systems Engineering and Management. John Wiley and Sons, 2nd Edition, 2009.Google Scholar
  5. 5.
    [Schätz 2005] B. Schätz. Building components from functions. In: Electronic Notes in Theoretical Computer Science, Vol. 160. Proceedings of the International Workshop on Formal Aspects of Component Software FACS 2005.Google Scholar
  6. 6.
    [Sikora et al. 2010] E. Sikora, M. Daun, K. Pohl: Supporting the consistent specification of scenarios across multiple sbstraction levels. In: R. Wieringa, A. Persson (Hrsg.): Proceesdings of the 16th Intl. Working Conf. on Requirements Engineering: Foundation for Software Quality. LNCS 6182, Springer, Berlin/Heidelberg, 2010, pp. 45-59.Google Scholar
  7. 7.
    [Sikora et al. 2012] E. Sikora, B. Tenbergen, K. Pohl. Industry needs and research directions in requirements engineering for embedded systems. In: Requirements Engineering Journal, Vol. 17, No.1, 2012, pp. 57-78.Google Scholar
  8. 8.
    [Sommerville 2010] I. Sommerville: Software Engineering. Pearson, 9th Edition, 2010.Google Scholar
  9. 9.
    [Tarr et al. 1999] P. Tarr, H. Ossher, W. Harrison, Jr. S. M. Sutton: N degrees of separation: multi-dimensional separation of concerns. In: ICSE '99: Proceedings of the 21st international conference on Software engineering, ACM, New York, 1999, pp. 107- 119.Google Scholar
  10. 10.
    [Weyer 2011] T. Weyer: Kohärenzprüfung von Anforderungsspezifikationen: Ein Ansatz zur Prüfung der Kohärenz von Verhaltensspezifikationen gegen Eigenschaften des operationellen Kontexts. Südwestdeutscher Verlag für Hochschulschriften, 2011.Google Scholar
  11. 11.
    [Yu 1997] E. Yu: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE’97), IEEE Computer Society Press, Los Alamitos, 1997, pp. 226-235.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Manfred Broy
    • 1
  • Werner Damm
    • 2
  • Stefan Henkler
    • 2
  • Klaus Pohl
    • 3
  • Andreas Vogelsang
    • 1
  • Thorsten Weyer
    • 3
  1. 1.Department of InformaticsTechnische Universität München (TUM)GarchingGermany
  2. 2.Oldenburg Institute for Information Technology (OFFIS)OldenburgGermany
  3. 3.paluno – The Ruhr Institute for Software TechnologyUniversity of Duisburg-EssenEssenGermany

Personalised recommendations