Zusammenfassung
Der Beitrag erörtert die Frage, welche Ansätze zur Spezifikation grundsätzlich in Frage kommen, und begründet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die Beispiele und die am Schluss wiedergegebenen Erfahrungen stammen aus unserer Arbeit mit dem Spezifikationssystem SPADES, das auf dem Prinzip der halbformalen Beschreibung beruht.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturangaben
Chen, P.P.-S. (1976): The Entity-Relationship Model - toward a unified view of data. ACM Transactions on Data Base Systems, 1, 9–36.
Glinz, M., H.J. Huser, J. Ludewig (1985): SEED — A database system for software engineering environments, in Blaser, Pistor (Hrsg.): Datenbanksysteme für Büro, Technik und Wissenschaft, Informatik-FB 94, Springer, S. 121–126.
Goos, G. (1976): Programmkonstruktion. Skriptum, Universität Karlsruhe.
Kaufmann, F., D. Schillinger (1984): Funktionale Sprache als anwenderfreundliches Projektierungsmittel. Brown Boveri Mitteilungen, 71, 488–493.
Klaeren, H.A. (1983): Algebraische Spezifikation. Springer Verlag, Berl in usw.
Lehman, M.M. (1980): Programs, life cycles, and laws of software evolution. Proc. of the IEEE, 68, 9, 1060–1076.
Ludewig, J. (1982): Computer aided specification of process control software. IEEE COMPUTER, Mai 1982, 12–20.
Ludewig, J., M. Glinz, H.J. Huser, G. Matheis, H. Matheis, M.F. Schmidt (1985): SPADES — A specification and design system and its graphical interface. 8th Intern. Conf. on Software Engineering, IEEE, London, August 1985.
Luft, A.L. (1984): Zur Bedeutung von Modellen und Modellierungs-Schritten in der Software-Technik. Angewandte Informatik, 5, 189–196.
Reinshagen, K.-P. (1983): Erfahrungen beim Einsatz eines entwurfsunterstützenden Spezifikationssystems. In J. Ludewig: Spezifikation von Realzeit-Systemen — Konzepte, Lösungen, Erfahrungen. Schweizerische Gesellschaft für Automatik, Seefeldstr. 301, 8008 Zürich, pp.127–152.
Swartout, W., R. Balzer (1982): On the inevitable intertwining of specification and implementation. Commun. ACM, 25, 7, 438–440.
Teichroew, D., E.A. Hershey III (1977): PSL/PSA: a computer aided technique for structured documentation and analysis of information processing systems. IEEE Trans. Software Eng., SE-3, 41–48.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ludewig, J., Glinz, M., Matheis, H. (1985). Software-Spezifikation Durch Halbformale, Anschauliche Modelle. In: Hansen, H.R. (eds) GI/OCG/ÖGI-Jahrestagung 1985. Informatik Fachberichte, vol 108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70639-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-70639-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15697-0
Online ISBN: 978-3-642-70639-4
eBook Packages: Springer Book Archive