{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:22:48Z","timestamp":1725474168736},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671404"},{"type":"electronic","value":"9783540465430"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/bfb0095014","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:59:46Z","timestamp":1164376786000},"page":"55-68","source":"Crossref","is-referenced-by-count":1,"title":["Transcribing process model standards into meta-processes"],"prefix":"10.1007","author":[{"given":"Carla Blanck","family":"Purper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,19]]},"reference":[{"key":"6_CR1","unstructured":"NATO AQAP-150. NATO \u201cQuality Assurance Requirements for Software Development\u201d. March 1993."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"V. Basili. \u201cThe experience factory and ist relationship to other improvement paradigms\u201d. In Sommerville and M. Paul (eds): 4th ESEC, LCNS 717, Springer-Verlag, 1993, 68\u201383.","DOI":"10.1007\/3-540-57209-0_6"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, S. Armenise and R. Stevens. \u201cManaging Standards Compliance\u201d. To appear in IEEE Transactions on Software Engineering. 1999.","DOI":"10.1109\/32.824413"},{"key":"6_CR4","unstructured":"Fr\u00f6hlich, M., Werner, M.: The interactive Graph-Visualization System daVinci \u2014A User Interface for Applications. Informatik Bericht Nr. 5\/94, Universit\u00e4t Bremen, 1994. updated doc.: http:\/\/www.tzi.de\/~daVinci"},{"key":"6_CR5","unstructured":"General Directive 250. Development Standard for IT Systems of the Federal Republic of Germany. Process Lifecycle. June 1997."},{"key":"6_CR6","unstructured":"General Directive 251. Development Standard for IT Systems of the Federal Republic of Germany. Methods Allocation. June 1997."},{"key":"6_CR7","unstructured":"General Directive 252. Development Standard for IT Systems of the Federal Republic of Germany. Functional Tool Requirements. June 1997."},{"key":"6_CR8","unstructured":"IEEE\u2014Institute of Electrical Engineering. http:\/\/computer.org\/, http:\/\/standards.ieee.org\/catalog\/olis\/."},{"key":"6_CR9","unstructured":"IEEE-STD 1074-1995. \u201cIEEE Standard for Developing Software Lifecycle Processes\u201d."},{"key":"6_CR10","unstructured":"IEEE-STD 1220-1994. \u201cTrial Use Standard for Application Management of the Systems Engineering Process\u201d."},{"key":"6_CR11","unstructured":"ISO 9001-3 Quality Management and Quality Assurance Standards-Part 3: Guidelines for the application of ISO 9001 to the development, supply and maintenance of software."},{"key":"6_CR12","unstructured":"ISO\/IEC 12207 Information Technology\u2014Software life cycle processes. First edition, 1995-08-01. http:\/\/www.iso.ch\/cate\/d21208.html"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"E.W. Karlsen: The UniForM Workbench, a Higher-Order Tool Integration Framework. In: D. Hutter, W. Stephan, P. Traverso, M. Ullmann (eds.): Applied Formal Methods-FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods. LNCS 1641. Springer (1999) 266\u2013280.","DOI":"10.1007\/3-540-48257-1_17"},{"key":"6_CR14","unstructured":"E. Karlsen. Tool Integration in a Functional Setting. Ph.D. thesis. Bremen University, 1999.[KSW96] Kolyang, Santen, T., Wolff, B.: A Structure Preserving Encoding of Z in Isabelle\/HOL. In Proc. Int'l Conf. on Theorem Proving in Higher Order Logic. LNCS 1125. Springer (1996). http:\/\/www.tzi.de\/~kol\/HOL-Z"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B., Peleska, J., Olderog, E.-R., Baer, A.: The UniForM Workbench, a Universal Development Environment for Formal Methods. In: J.M. Wing, J. Woodcock, and J. Davies (eds.): FM'99, Formal Methods. Proceedings, Vol. II. Lecture Notes in Computer Science 1709. Springer (1999) 1186\u20131205.","DOI":"10.1007\/3-540-48118-4_13"},{"key":"6_CR16","unstructured":"LTSA-Learning Technology Systems Architecture. Version 4.0, 1998-05-21. Review Copy. http:\/\/www.edutool.com\/ltsa\/ [L+99]. C. L\u00fcth, H. Tej, Kolyang, B. Krieg-Br\u00fcckner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. In J.-P. Finance (ed.): Fundamental Approaches to Software Engineering (FASE'99, at ETAPS'99). LNCS 1577. Springer (1999) 239\u2013243."},{"key":"6_CR17","unstructured":"C.B. Purper \u201cProcess Web-Center as a learning environment for software process standards\u201d. 2nd Asia-Pacific Web-Conference, Hong-Kong, Sept, 1999 (to appear)."},{"key":"6_CR18","unstructured":"C. B. Purper \u201cA Process Web-Center\u201d. 2nd Workshop on Software Engineering over the Internet\u201d at ICSE. Los Angeles, USA. May 17, 1999."},{"key":"6_CR19","unstructured":"C. B. Purper. \u201cAn Environment to support flexibility in process standards\u201d. Proc. SITT\"99. Aachen, 15\u201317 Sept, 1999 (to be published)."},{"key":"6_CR20","unstructured":"ESA PSS-05-0 Issue 2. February 1991, Software Engineering Standards."},{"key":"6_CR21","unstructured":"H. Tej, B. Wolff: A Corrected Failure-Divergence Model for CSP in Isabelle\/HOL. Formal Methods Europe, FME'97. LNCS 1313, Springer (1997) 318\u2013337."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"B. Warboys, Ed., \u201cMeta-Process\u201d. In: J.-C. Derniame, A. Kaba and D. Wastell (eds): Software Process: Principles, Methodology, Technology. Lecture Notes in Computer Science 1500. Springer Verlag. 1998.","DOI":"10.1007\/3-540-49205-4_4"}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T20:39:11Z","timestamp":1683664751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671404","9783540465430"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0095014","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}