{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:53Z","timestamp":1725663233468},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540516354"},{"type":"electronic","value":"9783540467236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51635-2_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:09:44Z","timestamp":1330204184000},"page":"100-117","source":"Crossref","is-referenced-by-count":3,"title":["Systematic development of formal software process models"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Deiters","sequence":"first","affiliation":[]},{"given":"Volker","family":"Gruhn","sequence":"additional","affiliation":[]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"7_CR1","unstructured":"Adomeit R. Knowledge Based Specification of Software Process Models (in German) Master's Thesis, University of Dortmund, Computer Science, 1989"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Ashok V., Ramanathan J., Sarkar S., Venugopal V. Process modelling in Software Environments 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75112"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Boehm B.W., Gray T.E., Seewaldt T. Prototyping versus Specification: A Multiproject Experiment IEEE TSE, Vol. SE-10, No. 3, May 1984","DOI":"10.1109\/TSE.1984.5010238"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Boehm B.W. A Spiral Model of Software Development and Enhancement SEN, Vol. 11, No 4, August 1986","DOI":"10.1145\/12944.12948"},{"key":"7_CR5","unstructured":"Derniame J.C., Ayoub H., Benali K., Boudjlida N., Godart C., Gruhn V. Towards Assisted Software Processes in: Proc. of the CASE Workshop on Software Process June 1988"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Dowson M. ISTAR \u2014 An Integrated Project Support Environment Proc. of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Pract. Softw. Dev. Env. SIGPLAN Notices, Vol. 22, No. 1, January 1987","DOI":"10.1145\/390012.24212"},{"key":"7_CR7","unstructured":"Engels G., Lewerentz C., Nagl M., Sch\u00e4fer W. On the Structure of an Incremental and Integrated Software Development Environment Proc. of the 19th Hawaii Int. Conf. on System Sciences 1986"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Engels G., Lewerentz C., Sch\u00e4fer W. Graph Grammar Engineering: A Software Specification Method Proc. of the 3rd Workshop on Graph Grammars, Warrenton Virginia, Springer LNCS 291, 1987","DOI":"10.1007\/3-540-18771-5_53"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Evangelist M., Pellegrin J.F. Foundational Problems in Software Process Research Software Engineering Notes, Vol.11, No. 4, August 1986","DOI":"10.1145\/12944.12947"},{"key":"7_CR10","unstructured":"Engels G., Sch\u00e4fer W. Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment in: Ehrig et al. (eds.): Proc. TAPSOFT 85, LNCS 186 Springer, Berlin"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Fritsch C.A., Perry D.L. A Manager\/Controller for the Software Development Process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75119"},{"key":"7_CR12","volume-title":"Function Nets (in German)","author":"H. P. Godbersen","year":"1983","unstructured":"Godbersen H.P. Function Nets (in German) Ladewig Verlag, Berlin 1983"},{"key":"7_CR13","unstructured":"Gruhn V., Deiters W. Required Extensions of Function Nets for Software Process Control Technical Report No. 34, University of Dortmund, Department of Computer Science, Chair for Software Technology, March 1989"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Hitchcock P. The process model of the Aspect IPSE 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75120"},{"key":"7_CR15","unstructured":"H\u00fcnnekens H., et al. OSMOSE \u2014 A Step Towards Knowledge-Based Process Modeling Proc. of the Conf. on System Development Environment and Factories Berlin, May 1989"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Kaiser G. Rule based modeling of the software development process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75123"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Kellner M. Representation formalisms for software process modeling 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75125"},{"key":"7_CR18","unstructured":"Lewerentz C. Incremental Programming in the Large (in German) PhD Thesis, RWTH Aachen, Informatik Fachberichte No. 194"},{"key":"7_CR19","unstructured":"Lehman M.M. A Further Model of Coherent Programming Processes Proceedings of Software Process Workshop Egham, UK, February 1984"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Lewerentz C., Sch\u00fcrr A. GRAS \u2014 A Management System for Graph-like Documents Proc. 3rd. Int. Conference on Data and Knowledge Bases, Jerusalem 1988 Morgan Kaufmann Publishers 1988","DOI":"10.1016\/B978-1-4832-1313-2.50008-1"},{"key":"7_CR21","volume-title":"Computer Physics Communication","author":"M. Nagl","year":"1985","unstructured":"Nagl M. An Incremental Programming Support Environment in: Computer Physics Communication, North Holland, Amsterdam 1985"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Ohki A., Ochimizu K. Process Programming with Prolog 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75131"},{"key":"7_CR23","unstructured":"Osterweil L. Software Processes are Software Too Proc. of the 9th Int. Conf. on SE, Monterey California, April 87"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Osterweil L. Automated Support for the Enactment of Rigorously Described Software Processes 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75132"},{"key":"7_CR25","unstructured":"Peterson J.L. Petri Net Theory and the modeling of systems Prentice-Hall 1981"},{"key":"7_CR26","unstructured":"Przygodda J. Using complex objects in Function Nets (in German) Diploma Thesis, University of Dortmund in preparation in 1989"},{"key":"7_CR27","unstructured":"Reisig W. Petri Nets. An Introduction (in German) Springer Verlag, 1982"},{"key":"7_CR28","unstructured":"Reisig W. System Design with Nets (in German) Springer Verlag, 1985"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Roberts C. Describing and Acting Process Models with PML 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75136"},{"key":"7_CR30","unstructured":"Sch\u00fcrr A. Introduction to PROGRESS \u2014 an Attribute Graph Grammar Based Specification Language Technical Report 89-4, University of Aachen, Department of Computer Science, 1989"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Sutton L. Advanced Models for the software process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988","DOI":"10.1145\/75110.75140"},{"key":"7_CR32","unstructured":"Sch\u00e4fer W., Weber H. The ESF-Profile to appear in: Handbook of Computer Aided Software Engineering, Van Nostrand, New York, September 1988"},{"key":"7_CR33","unstructured":"ESPRIT Project 1520 Advanced Software Engineering Environment Logistics Framework (ALF) Technical Annex, 1987"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Taylor R.N. et. al. Foundation of the ARCADIA Environment Architecture Proc. 3rd Symposium on Practical Software Development Environments, Boston 1988","DOI":"10.1145\/64135.65004"},{"key":"7_CR35","unstructured":"Wileden J.C., Clarke L.A. Feedback-Directed Development of Complex Software Systems Proceedings of Software Process Workshop Egham, UK, February 1984"},{"key":"7_CR36","unstructured":"Williams L.G. Software Process Modeling: A Behavioral Approach Proc. of the 10th Int. Conf. on SE, Singapore April 88"}],"container-title":["Lecture Notes in Computer Science","ESEC '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51635-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:05Z","timestamp":1605648125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51635-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540516354","9783540467236"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-51635-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}