Abstract
This paper intends to show,that there is a morphism between the description of a system by the HIPO-technique and a certain type of Petri-nets.
This morphism is used to detect design-errors at a very early state, where data for testing are not yet available.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Zeitschrift Capital Ausgabe 10/79
Computerwoche Jahrgang 1979/Nr.23
Dr.Barry W.Boehm Major U.S. Government/Industry Software Management Initiati Status and trends 4. joint European/U.S. Software Management Conference Update 1979
Edward Yourdon Umwaelzungen auf dem Gebiet der Softwareentwicklung 39. Internationale Diebold Konferenz Venedig 1978 (5) Michael Fagan IBM System Journal C 6) IBM Forum Muenchen 1976
Michael Fagan IBM System Journal
IBM Forum Muenchen 1976
Verfalirenstechnik beim Entwurf von DV-Anwendungen IBM-Form ZR12-1324-3
HIPO-A Design and Documentation Technique GC20-1851-1
Gewald Haake,Pfadler Software Engineering Reihe Datenverarbeitung R.Oldenburg Verlag Muenchen, Wien
Advanced course on general net theory of processes and sys terns Oct. 8–19,1979 at Hamburg
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grill, E. (1982). Design-Review by Petri-Nets. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive