Zusammenfassung
Der Übergang zwischen den Dokumenten der Software-Entwicklung kann als Transformation von Sprachen betrachtet werden. Je nach Grad der Eindeutigkeit und Vollständigkeit der Dokumente ist diese Transformation automatisierbar oder zumindest durch Rechner zu unterstützen. Wir definieren ein allgemeines Modell einer Software-Entwicklungsumgebung auf der Basis eines Transfor- mations-Expertensystems. Das Transformationssystem hat einen an Prolog angelehnten Regelauswertungsmechanismus. An Hand der Phasen Anforderungsanalyse, Spezifikation, Prototyping und Implementierung zeigen wir exemplarisch, wie das Modell auf Anwendungsgebiete zugeschnitten wird. Dazu setzen wir zur Anforderungsanalyse Stimu- lus-Response-Netze ein, zur Spezifikation benutzen wir algebraische Spezifikation und zum Prototyping und zur Implementierung werden Ada Programme generiert.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Referenzen
M. Alford: SREM at the Age of Four, Proc. 4th COMPSAC, Chicago, IEEE 1980
R. Balzer, N. Goldman, D. Wile: Operational Specification as the basis for rapid prototyping, Proc. ACM SIGSOFT Workshop on Rapid Prototyping, Columbia 1982
F.L. Bauer, K. Woessner: Algorithmische Sprache und Programmentwicklung, Springer Verlag 1981
M. Broy: Algebraic Methods for Program Construction — The Project CIP, Proc. Workshop Program Transformations, Springer Verlag F8-1984
P. Chen: The Entity/Relationship Approach to Data Modelling
J. Darlington, R.M. Burstall: A System which Automatically Improves Programs, Proc. IFIP Congress 1981, North Holland
W. Epple, M. Hagemann, M. Klump, G. Koch: SARS — System zur anwendungs- orientierten Anforderungsspezifikation, University of Karlsruhe, Inst. f. Informatik III, Report 1983
W.K. Epple, M. Hagemann, M. Klump, U. Rembold: The Use of Graphic aids for Requirements Specification of Process Control Software, Proc. 7th COMPSAC, IEEE 1983
S.F. Fickas: Automating the Transformational Development of Software, USC-ISI/RR-83-108, Ph.D. Dissertation, Marina del Rey, 1983
J.A. Goguen: Parameterized Programming, IEEE Software Engineering September 1984, 5/10
M.M. Lehman, V. Stenning, W.M. Turski: Another Look at Software Design Methodology, Imperial College London, Report DoC 83/13
H. Partsch: The CIP Transformation System, Proc. Workshop Program Transformations, Springer Verlag F8-1984
G. Persch: Designing and Specifying Ada Software, Proc. IFIP WG 2. 4, Canterbury, North Holland 1984
G. Persch et al.: Karlsruhe Ada System — User Manual, Gesellschaft für Mathematik und Datenverarbeitung mbH, Report 1985
R.T. Yeh: Software Engineering — The Challenges, IEEE Spectrum, Nov. 1983
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
Persch, G. (1985). Phasenübergreifende Software-Entwicklung mit Hilfe eines Transformations-Expertensystems. 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_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-70639-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15697-0
Online ISBN: 978-3-642-70639-4
eBook Packages: Springer Book Archive