{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:37Z","timestamp":1725986977095},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:30:53Z","timestamp":1330237853000},"page":"521-546","source":"Crossref","is-referenced-by-count":7,"title":["Computer-aided verification of software process model properties"],"prefix":"10.1007","author":[{"given":"Alfred","family":"Br\u00f6ckers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Gruhn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"R. Adomeit, W. Deiters, B. Holtkamp, F. Sch\u00fclke, and H. Weber. K\/2RA Kernel for the ESF Software Factory Support Environment. In Proceedings of the 2nd International Conference on System Integration, Morristown, New Jersey, June 1992.","DOI":"10.1109\/ICSI.1992.217256"},{"key":"28_CR2","volume-title":"Proceedings of the European Software Process Modeling Workshop","author":"S. Bandinelli","year":"1991","unstructured":"S. Bandinelli, A. Fugetta, and C. Ghezzi. Software Processes as Real-Time Systems: A Case Study Using High-Level Petri Nets. In A. Fugetta, R. Conradi, and V. Ambriola, editors, Proceedings of the European Software Process Modeling Workshop, Milan, Italy, May 1991. AICA Press."},{"issue":"5","key":"28_CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B. W. Boehm","year":"1988","unstructured":"B.W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, 21(5):61\u201372, May 1988.","journal-title":"IEEE Computer"},{"key":"28_CR4","unstructured":"V.R. Basili and H.D. Rombach. Tailoring The Software Process To Project Goals and Environments. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, April 1987."},{"key":"28_CR5","unstructured":"A. Broeckers. Ein Verifikationswerkzeug f\u00fcr FUNSOFT Netze (in German). 1991. Diplomarbeit, University of Dortmund."},{"volume-title":"Proceedings of the 2nd European Workshop on Software Process Modelling","year":"1992","key":"28_CR6","unstructured":"J.-C. Derniame, editor. Proceedings of the 2 nd European Workshop on Software Process Modelling, Trondheim, Norway, September 1992. Springer. Appeared as Lecture Notes in Computer Science 635."},{"key":"28_CR7","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, pages 193\u2013205, Irvine, California, USA, December 1990. Appeared as ACM Software Engineering Notes, 15(6), December 1990.","DOI":"10.1145\/99278.99295"},{"key":"28_CR8","unstructured":"W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991."},{"key":"28_CR9","unstructured":"M. Dowson, editor. Iteration in the Software Process-Proceedings of the 3rd International Software Process Workshop, Beckenridge, Colorado, USA, November 1986."},{"key":"28_CR10","unstructured":"M. Dowson, editor. \u201cManufacturing Complex Systems\u201d Proceedings of the 1st International Software Process Conference, Redondo Beach, California, USA, October 1991."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"W. Emmerich and V. Gruhn. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language. In Proc. of the 6th International Workshop on Software Specification and Design, Como, Italy, September 1991.","DOI":"10.1109\/IWSSD.1991.213063"},{"key":"28_CR12","volume-title":"Proceedings of the 1st European Workshop on Software Process Modelling","author":"A. Fugetta","year":"1991","unstructured":"A. Fugetta, editor. Proceedings of the 1 st European Workshop on Software Process Modelling, Milan, Italy, May 1991. AICA Press."},{"key":"28_CR13","series-title":"Appeared in Lecture Notes on Computer Science 254","volume-title":"Petri Nets: Applications and Relationships to other Models of Concurrency","author":"H. J. Genrich","year":"1987","unstructured":"H.J. Genrich. Predicate\/TransitionNets. 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."},{"key":"28_CR14","first-page":"194","volume-title":"Appeared as Lecture Notes in Computer Science 635","author":"V. Gruhn","year":"1992","unstructured":"V. Gruhn and R. Jegelka. An Evaluation of FUNSOFT Nets. In J.-C. Derniame, editor, Software Process Technology \u2014 Proceedings of the 2 nd European Software Process Modeling Workshop, pages 194\u2013214, Trondheim, Norway, September 1992. Springer. Appeared as Lecture Notes in Computer Science 635."},{"key":"28_CR15","unstructured":"V. Gruhn. Software Process Simulation in MELMAC. Systems Analysis-Modelling-Simulation."},{"key":"28_CR16","volume-title":"The Software Process Management Environment MELMAC","author":"V. Gruhn","year":"1991","unstructured":"V. Gruhn. The Software Process Management Environment MELMAC. In A. Fugetta, R. Conradi, and V. Ambriola, editors, Proceedings of the European Software Process Modeling Workshop, Milan, Italy, May 1991. AICA Press."},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, University Dortmund, June 1991. Appeared as Technical Report No. 394\/91.","DOI":"10.1007\/3-540-54194-2_40"},{"key":"28_CR18","first-page":"439","volume-title":"Computational Systems Analysis 1992","author":"V. Gruhn","year":"1992","unstructured":"V. Gruhn. Software Process Simulation on Arbitrary Levels of Abstraction. In A. Sydow, editor, Computational Systems Analysis 1992, pages 439\u2013444, Amsterdam, The Netherlands, 1992. Elsevier."},{"key":"28_CR19","first-page":"223","volume-title":"Appeared as Lecture Notes in Computer Science 635","author":"V. Gruhn","year":"1992","unstructured":"V. Gruhn and A. Saalmann. Software Process Validation Based on FUNSOFT Nets. In J.-C. Derniame, editor, Software Process Technology \u2014 Proceedings of the 2 nd European Software Process Modeling Workshop, pages 223\u2013226, Trondheim, Norway, September 1992. Springer. Appeared as Lecture Notes in Computer Science 635."},{"key":"28_CR20","unstructured":"D. Heimbigner. The Process Modeling Example Problem and its Solutions. In Proceedings of the First International Conference on the Software Process, Redondo Beach, California, USA, October 1991."},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"P. Huber, A.M. Jensen, L.O.Jepsen,and K. Jensen. Reachability Trees for High-Level Petri Nets. Theoretical Computer Science, (45), 1986.","DOI":"10.1016\/0304-3975(86)90046-0"},{"key":"28_CR22","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":"28_CR23","doi-asserted-by":"crossref","unstructured":"W.S. Humphrey. Managing the Software Process. SEI Series in Software Engineering. Addison-Wesley, 1989.","DOI":"10.21236\/ADA469159"},{"key":"28_CR24","unstructured":"R. Jegelka. Evaluierung der Software-Proze\u03b2modellierungs-Sprache FUNSOFTNetze und der Software-Proze\u03b2management-Umgebung MELMAC (in German). 1991. Diplomarbeit, University of Dortmund."},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"K. Jensen. High-level Petri nets. Informatik Fachberichte, (66), 1983.","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"28_CR26","series-title":"Appeared as Lecture Notes on Computer Science 254","volume-title":"Petri Nets: Applications and Relationships to other Models of Concurrency","author":"K. Jensen","year":"1987","unstructured":"K. Jensen. Coloured Petri 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 as Lecture Notes on Computer Science 254."},{"key":"28_CR27","unstructured":"T. Katayama, editor. Proceedings of the 6th International Software Process Workshop, Hakodate, Japan, October 1990."},{"key":"28_CR28","doi-asserted-by":"crossref","unstructured":"M.I. Kellner. Representation Formalisms for Software Process Modelling. In Proceedings of the 4th International Software Process Workshop, Moretonhampstead, Devon, UK, May 1988.","DOI":"10.1145\/75110.75125"},{"key":"28_CR29","unstructured":"M.I. Kellner. Software Process Modeling Example. In Proceedings of the 5th International Software Process Workshop, Kennebunkport, Maine, USA, September 1989."},{"key":"28_CR30","unstructured":"M. Lehman. Process Models, Process Programs, Programming Support-Invited Response To A Keynote Address By Lee Osterweil. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, 1987."},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"L. Liu and E. Horowitz. A Formal Model for Software Project Management. IEEE Transactions on Software Engineering, 15(10), October 1989.","DOI":"10.1109\/TSE.1989.559781"},{"key":"28_CR32","volume-title":"GRAS \u2014 a Management System for Graph \u2014 like Documents","author":"C. Lewerentz","year":"1988","unstructured":"C. Lewerentz and A. Schuerr. GRAS \u2014 a Management System for Graph \u2014 like Documents. In Proc. 3 rd Int. Conf. on Data and Knowledge Bases, Jerusalem, 1988. Morgan Kaufmann Publishers Inc."},{"issue":"5","key":"28_CR33","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/2.27953","volume":"22","author":"Luqi","year":"1989","unstructured":"Luqi. Software Evolution Through Rapid Prototyping. IEEE Computer, 22(5):13\u201325, May 1989.","journal-title":"IEEE Computer"},{"key":"28_CR34","doi-asserted-by":"crossref","unstructured":"T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), April 1989.","DOI":"10.1109\/5.24143"},{"key":"28_CR35","unstructured":"L. Osterweil. Software Processes are Software Too. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, April 1987."},{"key":"28_CR36","unstructured":"D.E. Perry, editor. Proceedings of the 7th International Software Process Workshop, Yountville, California, USA, October 1991."},{"key":"28_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71275-3","volume-title":"Petrinetze (in German)","author":"W. Reisig","year":"1986","unstructured":"W. Reisig. Petrinetze (in German). Springer, Berlin, FRG, 1986."},{"key":"28_CR38","unstructured":"W.W. Royce. Managing the development of large software systems: Concepts and techniques. In Proc. WESCON, 1970."},{"key":"28_CR39","unstructured":"U. Schindler. Projekt Management in Software Proze\u03b2modellen (in German). 1991. Diplomarbeit, University of Dortmund."},{"key":"28_CR40","unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, fourth edition, 1992."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T07:35:26Z","timestamp":1561361726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_28","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}