Kurzfassung
In diesem Beitrag wird der Einsatz einer formalen Beschreibungsmethode für Betriebsabläufe dargestellt und die konsequente Unterstützung des Design Prozesses für betriebliche Informationssysteme durch den Computer hervorgehoben. Schnittstellen zum Programm-System und zu Programmierhilfsmitteln werden aufgezeigt, wobei unter Anwendung einer Transformationsmethodik aus der Beschreibung des Informationssystems Datenstrukturen und Programme abgeleitet werden. Der Artikel enthält eine Abgrenzung zu anderen Systemen und die Einordnung der Methode in vorhandene Ansätze.
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.
Literaturverzeichnis
ADV-ORGA: Das ORGWARE Gesamtsystem Wilhelmshaven 1978
Anhorn, R.: Portabler Reportgenerator, Diplomarbeit Universität f. Informatik Stuttgart 1978
Godbersen, H.P., Meyer, B.E.: Function nets as a tool for the simulation of informations systems, In: PROC. Surruner Computer Simulation Conference, Newport, Calif., July 1978
Griese, J., Österle, H.: Requirements Engineering, Angewandte Informatik 1978, S 150–157 (1978)
Harrune, W., Neuworth, D.: NORSYS-Henkel Normierte Systemgestaltung, Informelle Veröffentlichungen Düsseldorf 1977
Jackson, M.A.: Principles of Program Design London 1975
Kiel, U., Pressmar, D.B., Löhn J., Opel, F.: Vorstufe für ein Pilotprojekt zur Praxis erprobung kombinierter Softwaretechnologischer Methoden, Forschungsbericht DV 5.190-081 5045, Fürth 1978
König, A., Schneider, H.J., Stübel, G.: Quelle-Ist-Analyse und Sollkonzeption Stuttgart 1978
Köster, W., Hetzei, F.: Datenverarbeitung mit System Neuwied 1971
Lundeberg, M., Goldkuhl, G., Nilsson, A.: A Systematic Approach to Systems Development In: Information System 4 No 1 S 1–12 (1979)
Merz, W.: Untersuchung von Organisations abläufen mit Hilfe von Transitionsnetzen, Diplomarbeit, Institut f. Informatik Universität Stuttgart 1976
Methlie, L.B.: Schema Design Using a Data Structure Matrix In: Information Systems 3 No 2 S. 81–91 (1978)
Portner, N.: Entwicklung eines portablen und generalisierten Eingabedialoggenerators Diplomarbeit, Institut f. Informatik Universität Stuttgart 1979
Schneider, H.J.: Die Strukturiertheitshierarchie bei den verschiedenen Modellen einer Problemlösung, In: Durchholz, Konrad, Richter Schneider (Herausgeber): GI-Fachgespräch „Problembezogene Datenstrukturen“ Birlinghover 1973, S. 4–18, 156–160 (1973)
Schneider, H.J.: Möglichkeiten und Grenzen normativer Ansätze für die Gestaltung von Informationssystemen. In: Hansen R. (Herausgeber) Entwicklungstendenzen der Systemanalyse, München 1978
Schulz, A.: Methoden des Softwareentwurfs und Strukturierte Programmierung, Berlin 1978
Schwiersch, M.: Sinn und Grenzen von Data Dictionaries ONLINE-adl-Nachrichten S. 174-177 3/79
Stübel, G.: Methodologische und Software-engineering-orientierte Untersuchungen für ein Unternehmensmodell verschiedener Strukturiertheitsgrade, Dissertation, Stuttgart (1975)
Stübel, G.: Der ACTIS-COBOL-KONSTRUKTOR, Referat GI-Hamburg 14.–15. Juli 1977
Wedekind, H.: Datenorganisation, Berlin 1970
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Stübel, G. (1979). ISAC — eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen. In: Mayr, H.C., Meyer, B.E. (eds) Formale Modelle für Informationssysteme. Informatik-Fachberichte, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67485-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-67485-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09773-0
Online ISBN: 978-3-642-67485-3
eBook Packages: Springer Book Archive