Skip to main content
SpringerLink
Log in

Introduction to the SPES Modeling Framework

  • Chapter
  • First Online:
Model-Based Engineering of Embedded Systems

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 84.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. [Pohl 2010] K. Pohl: Requirements Engineering – Fundamentals, Principles, Techniques. Springer, Berlin/Heidelberg, 2010.

    Google Scholar 

  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. [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. [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. [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. [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. [Sommerville 2010] I. Sommerville: Software Engineering. Pearson, 9th Edition, 2010.

    Google Scholar 

  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. [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. [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 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Technische Universität München (TUM), Boltzmannstr. 3, 85748, Garching, Germany

    Prof. Dr. Manfred Broy & Andreas Vogelsang

  2. Oldenburg Institute for Information Technology (OFFIS), Escherweg 2, 26121, Oldenburg, Germany

    Prof. Dr. Werner Damm & Dr. Stefan Henkler

  3. paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Gerlingstr. 16, 45127, Essen, Germany

    Prof. Dr. Klaus Pohl & Dr. Thorsten Weyer

Authors
  1. Prof. Dr. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Prof. Dr. Werner Damm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dr. Stefan Henkler
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Prof. Dr. Klaus Pohl
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Andreas Vogelsang
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Dr. Thorsten Weyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Inst. Informatik und, Wirtschaftsinformatik, Universität Duisburg-Essen, Gerlingstr. 16, Essen, 45127, Germany

    Klaus Pohl

  2. Robert Bosch GmbH, Robert-Bosch-Platz 2, Schwieberdingen, 71701, Germany

    Harald Hönninger

  3. , Corporate Technology, Siemens AG, Otto-Hahn-Ring 6, München, 81739, Germany

    Reinhold Achatz

  4. Fak. Informatik, LS für Software & Systems Engineering, TU München, Boltzmannstr. 3, Garching, 85748, Germany

    Manfred Broy

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Broy, M., Damm, W., Henkler, S., Pohl, K., Vogelsang, A., Weyer, T. (2012). Introduction to the SPES Modeling Framework. In: Pohl, K., Hönninger, H., Achatz, R., Broy, M. (eds) Model-Based Engineering of Embedded Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34614-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34614-9_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34613-2

  • Online ISBN: 978-3-642-34614-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation