{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T22:42:32Z","timestamp":1749249752560},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541943"},{"type":"electronic","value":"9783540474852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54194-2_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:34:39Z","timestamp":1330209279000},"page":"271-286","source":"Crossref","is-referenced-by-count":31,"title":["Validation and verification of software process models"],"prefix":"10.1007","author":[{"given":"Volker","family":"Gruhn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"20_CR1","unstructured":"K. Benali, N. Boudjlida, F. Charoy, and J.C. Derniame. A Model for Assisted Software Processes. In Proceedings of ICCI, Toronto, Canada, June 1989."},{"key":"20_CR2","unstructured":"C. Boarder, H. Obink, M. Schmidt, and A. V\u00f6lker. ATMOSPHERE, Advanced Techniques and Methods of System Production in a Heterogeneous, Extensible, and Rigorous Environment. In Proceedings of the 1st Conference on System Development Environments and Factories Moretonhamstead UK, May 1989."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"W. Deiters and V. Gruhn. Managing Software Processes in MELMAC. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, USA, December 1990. Appeared as Software Engineering Notes, 15(6), December 1990.","DOI":"10.1145\/99278.99295"},{"key":"20_CR4","unstructured":"W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"H.J. Genrich. Predicate\/Transition Nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to other Models of Concurrency, Berlin, FRG, 1987. Springer. Appeared in Lecture Notes on Computer Science 254.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"20_CR6","volume-title":"Proceedings of the fifth Software Engineering Environments Workshop","author":"V. Gruhn","year":"1991","unstructured":"V. Gruhn. Analysis of Software Process Models in the Software Process Management Environment MELMAC. In Proceedings of the fifth Software Engineering Environments Workshop, Aberystwyth, Wales, UK, March 1991."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"V. Gruhn. Validation and Verification of Software Process Models (to appear in 1991). PhD thesis, University Dortmund, June 1991.","DOI":"10.1007\/3-540-54194-2_40"},{"key":"20_CR8","unstructured":"P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In Proc. of the 10th Int. Conf. on Application and Theory of Petri Nets, Bonn, FRG, 1989."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"G.E. Kaiser, P.H. Feiler, and S.S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, May 1988.","DOI":"10.1109\/52.2023"},{"key":"20_CR10","unstructured":"R. Kujansuu and M. Lindquist. Efficient Algorithms for computing S-Invariants for Predicate\/Transition Nets. In Proceedings of the 5th International Conference on Application and Theory of Petri Nets, 1984."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"P. Mi and W. Scacchi. A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes. IEEE Transactions on Knowledge and Data Engineering, 2(3), September 1990.","DOI":"10.1109\/69.60792"},{"key":"20_CR12","unstructured":"J.L. Peterson. Petri Net Theory and the modeling of systems. Prentice-Hall, 1981."},{"key":"20_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71275-3","volume-title":"Petrinetze","author":"W. Reisig","year":"1986","unstructured":"W. Reisig. Petrinetze (in German). Springer, Berlin, FRG, 1986."},{"key":"20_CR14","unstructured":"W. Sch\u00e4fer and H. Weber. The ESF-Profile. In Handbook of Computer Aided Software Engineering, New York, 1988. Van Nostrand."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"[TBC+88] R.N. Taylor, F.C. Belz, L.A. Clarke, L. Osterweil, R.W. Selby, J.C. Wileden, A.L. Wolf, and M. Young. Foundations in the ARCADIA Environment Architecture. In Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, 1988. Appeared as Software Engineering Notes, 13(5), February 1989.","DOI":"10.1145\/64140.65004"}],"container-title":["Lecture Notes in Computer Science","Software Development Environments and CASE Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54194-2_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:55Z","timestamp":1605646375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54194-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541943","9783540474852"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54194-2_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}