{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:04:09Z","timestamp":1751634249008,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540559280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017511","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:08:47Z","timestamp":1132639727000},"page":"123-137","source":"Crossref","is-referenced-by-count":3,"title":["Multiparadigm description of system development processes"],"prefix":"10.1007","author":[{"given":"C.","family":"Hoffmann","sequence":"first","affiliation":[]},{"given":"B.","family":"Kr\u00c4mer","sequence":"additional","affiliation":[]},{"given":"B.","family":"Dinler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"V. Ambriola, P. Ciancarini and C. Montangero. Software Process Enactment in Oikos. In 4th ACM SIGSOFT Symposium on software Development Environments, pp. 183\u2013192, December 1990.","DOI":"10.1145\/99277.99294"},{"key":"16_CR2","unstructured":"R. Balzer. Tolerating Inconsistency. ICSE 13 Austin, Texas, Mai 1991."},{"key":"16_CR3","unstructured":"S. Bandinelli, A. Fugetta, C. Ghezzi SLANG Solution for the ISPW-7 Software Process Example."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"N.S. Barghouti, G.E. Kaiser. Modeling Concurrency in Rule-based Development Environments. IEEE Expert, pp. 15\u201327, December 1990.","DOI":"10.1109\/64.63185"},{"key":"16_CR5","unstructured":"N.S. Barghouti, G.E. Kaiser. Scaling up Rule-based Software Development Environments. International Journal on Software Engineering, Vol 2(2)."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"L. Cardelli A Semantics of Multiple Inheritance. Springer Verlag, LNCS-173, 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"R. Gladbeek, U. Goltz Refinement of Actions in Causality Based Models, GMD-Arbeitspapiere 428, 1990.","DOI":"10.1007\/3-540-52559-9_68"},{"key":"16_CR8","unstructured":"V. Gruhn. The Software Process Management Environment MELMAC. First European Workshop on Software Process Modeling, Milan (Italy), May 1991."},{"key":"16_CR9","volume-title":"Design Methodologies for VLSI and Computer Architecture","author":"Y. Han","year":"1988","unstructured":"Y. Han, K.L. Paap, and B. Klaassen. Circuit simulation and its parallel acceleration. In Edwards, D.A. (Eds.): Design Methodologies for VLSI and Computer Architecture. Amsterdam: North-Holand, 1988."},{"key":"16_CR10","unstructured":"U. Huebner, U. Glaeser and H.T. Vierhaus Mixed Level Hierarchical Test Generation for Transition Faults and Ocurrent Related Defects IEEE Int. Test Conf. 1992, Baltimore."},{"volume-title":"High-level Petri Nets. Theory and Application","year":"1991","key":"16_CR11","unstructured":"K. Jensen and G. Rozenberg (Eds.) High-level Petri Nets. Theory and Application. IEEE Springer-Verlag, Berlin Heidelberg 1991."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"G.E. Kaiser, P.H. Feiler, and S.S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, 40\u201349, May 1988.","DOI":"10.1109\/52.2023"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"M.I. Kellner, P.H. Feiler, A. Finkelstein, T. Katayama, L.J. Osterweil, M.H. Penedo, and H.D. Rombach. ISPW-6 Software Process Example. In Procs. of the First International Conference on the Software Process, 176\u2013186, Redondo Beach, California, October 1991.","DOI":"10.1109\/ICSP.1991.664348"},{"key":"16_CR14","volume-title":"Concepts, Syntax and Semantics of SEGRAS \u2014 A Specification Language for Distributed Systems","author":"B. Kr\u00c4mer","year":"1989","unstructured":"B. Kr\u00c4mer. Concepts, Syntax and Semantics of SEGRAS \u2014 A Specification Language for Distributed Systems. Oldenbourg Verlag, M\u00fcnchen, Wien, 1989."},{"key":"16_CR15","first-page":"104","volume":"II","author":"B. Kr\u00c4mer","year":"1990","unstructured":"B. Kr\u00c4mer and Luqi. Petri net-based models of software engineering processes. In Procs. of the 23-rd HICSS, volume II, pp. 104\u2013112, January 1990.","journal-title":"Procs. of the 23-rd HICSS"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"B. Kr\u00c4mer and H.W. Schmidt. Object-oriented development of integrated programming environments with ASDL. IEEE Software, 98\u2013107, January 1989.","DOI":"10.1109\/52.16907"},{"key":"16_CR17","first-page":"617","volume-title":"Procs. compsac 90","author":"B. Kr\u00c4mer","year":"1990","unstructured":"Kr\u00c4mer, B., Schmidt, H.-W.: Architecture and functionality of a specification environment for distributed systems. In: Knafl, G. (ed.): Procs. compsac 90, pp. 617\u2013622. Los Alamitos: Computer Society Press 1990"},{"key":"16_CR18","unstructured":"W. Meyer, H.T. Vierhaus. Switch-Level Fault Simulation for Non-Trivial Faults Based on Abstract Data Types Proceedings IEEE CompEuro'91, Bologna, 1991."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"T. Murata and D. Zhang. A predicatetransition net model for parallel interpretation of logic programs. IEEE Transactions on Software Engineering, 481\u2013497, April 1988.","DOI":"10.1109\/32.4671"},{"key":"16_CR21","unstructured":"B. Peuschel, W. Schaefer, S. Wolf. Merlin: A knowledge-based Software Development Environment. International Journal on Software Engineering, Vol 2(2)."}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0017511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:55:50Z","timestamp":1736106950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540559280"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0017511","relation":{},"subject":[]}}