Skip to main content
SpringerLink
Log in

Anforderungsmodellierung für Realzeitsysteme

Ansätze zur Bewältigung von Komplexität und von Unschärfe

  • Conference paper
Requirements Engineering

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 74))

  • 115 Accesses

Zusammenfassung

Die Phase der Anforderungsanalyse soil sowohl dem Systementwickler ein Bild der von ihm zu lösenden Aufgabe geben, als auch demjenigen, der die Anforderungen stellt, helfen, seine eigenen Vorstellungen klar zu fassen.

Während sich bisherige Ansätze vorwiegend dem ersten dieser beiden Teilprobleme widmeten, wird hier ein Weg gezeigt, der neben der schrittweisen Bewältigung von Komplexität auch eine schrittweise Bewältigung von Ungenauigkeit gestattet. Dies wird im Rahmen der Strukturellen Modellierung am Beispiel der Komponentenschnittstellen gezeigt. Im Rahmen der behavioristischen Modellierung, der ja für Prozeßdatenverarbeitungssysteme besondere Bedeutung zukommt, zeigen wir die Bewältigung von Unschärfe am Ereignisbegriff.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

Literaturverzeichnis

  1. M.W. ALFORD: “Requirements Engineering Methodology for Real- Time Processing Requirements, IEEE Trans, on Software Engineering, Vol. SE-3/1f Jan. 1977 pp. 60–69.

    Article  MathSciNet  Google Scholar 

  2. B.-S. CHEN: “Event-Based Specification and Verification of Distributed Systems”, Ph.D. Dissertation, University of Maryland at College Park, 1982.

    Google Scholar 

  3. B.-S. CHEN and R. T. YEH: “Formal Specification and Verification of Distributed Systems”, in: Proc. 3rd Int. Conference on Distributed Computing Systems, Miami, Fl., Oct. 1982

    Google Scholar 

  4. M. A. JACKSON: “Information Systems: Modelling, Sequencing and Transformation”, in: Proc. 3rd International Conference on Software Engineering, Atlanta, GE, May 1978, pp. 72–81.

    Google Scholar 

  5. R. T. MITTERMEIR, I. MIYAMOTO, N. R0USSOPOULOS and R. T. YEH “Requirements analysis - An integrated approach”, TR-1155, University of Maryland at College Park, Apr. 1982.

    Google Scholar 

  6. R. T. MITTERMEIR: “CML-GRAPHS - A Notation for Systems Development”, in: R. Trappl (ed.): “Cybernetics and Systems Research”, Proc. 6th European Meeting on Cybernetics and Systems Research, Vienna, Apr. 1982, North Holland Publ., 1982, pp. 803–809.

    Google Scholar 

  7. R. T. MITTERMEIR, P. HSIA and R. T. YEH: “Alternatives to overcome the communications problem of formal requirements analysis”, in: Proc. International Symposium on Current Issues of Requirements Engineering Environments, Kyoto, Japan, Sept. 1982, North Holland Publ., 1982, pp. 163–169.

    Google Scholar 

  8. R. T. MITTERMEIR: “Requirements Specification for Distributed Systems”, TR DA 83/04/01, Institut f. Angewandte Informatik und Systemanalyse, Techn. Univ. Wien, Wien, 1983.

    Google Scholar 

  9. C. C. ROMAN: “A rigorous approach to building formal system requirements”, WUCS-B2-7, Technical Report, Dept. of Comp. Science, Washington University, St. Louis, MO, Feb. 1982.

    Google Scholar 

  10. C. C. ROMAN and R. K. ISRAEL: “A Formal Treatment of Distributed Systems Design”, in: Proc. Int. Symposium on Current Issues of Requirements Engineering Environments, Kyoto, Japan, Sept. 1982, North Holland Publ., 1982 pp. 3–12.

    Google Scholar 

  11. D. T. ROSS: “Structured Analysis (SA): A Languge for Communicating Ideas”, IEEE Trans, on Software Engineering, Vol. SE–3/1, Jan. 1977, pp. 16–34.

    Article  Google Scholar 

  12. D. T. ROSSAK: “Formale Erfassung von Änderungen im konzeptuellen Modell”, DA, Inst. f. Angewandte Informatik und Systemanalyse, Techn. Univ., Wien, 1983.

    Google Scholar 

  13. N. ROUSSOPOULOS: “CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications”, IEEE Trans, on Software Engineering, Vol. SE-5/5, Sept. 1979, pp. 481–496.

    Article  Google Scholar 

  14. R. T. YEH and P. ZAVE: “Specifying Software Requirements”, Proc. of the IEEE, Vol. 68/9, Sept. 1980, pp. 1077–1085.

    Article  Google Scholar 

  15. R. T. YEH and R. T. MITTERMEIR: “Conceptual Modeling as a Basis for deriving Software Requirements”, Proc. Internat. Computer Symposium, Taepei, Taiwan, Dec. 1980, pp. 1–14.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Informatik und Systemanalyse, Technische Universität Wien, Austria

    Roland Mittermeir

  2. Department of Computer Science, University of Maryland at College Park, USA

    Roland Mittermeir

Authors
  1. Roland Mittermeir
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2, Germany

    G. Hommel

  2. Dornier GmbH, WF 30, Postfach 14 20, D-7990, Friedrichshafen 1, Germany

    D. Krönig

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mittermeir, R. (1983). Anforderungsmodellierung für Realzeitsysteme. In: Hommel, G., Krönig, D. (eds) Requirements Engineering. Informatik-Fachberichte, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69293-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69293-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12692-8

  • Online ISBN: 978-3-642-69293-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation