{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T11:13:48Z","timestamp":1648811628682},"reference-count":68,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1991,4,1]],"date-time":"1991-04-01T00:00:00Z","timestamp":670464000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1016\/0164-1212(91)90073-f","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"5-16","source":"Crossref","is-referenced-by-count":1,"title":["The project GRASPIN and its CASE environment prototypes: An overview"],"prefix":"10.1016","volume":"15","author":[{"given":"Wolf D.","family":"Itzfeldt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Luise","family":"Christ-Neumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(91)90073-F_BIB1","series-title":"Proc. 2nd European Software Engineering Conf. (ESEC '89), Springer-Verlag","first-page":"118","article-title":"Software Process Machines: A Framework for Future Software Development Environments","author":"Armenise","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB2","series-title":"Proc. 6th Annual ESPRIT Conf., Kluwer Academic Publishers","article-title":"ASPIS: A Knowledge-Based Approach to Systems Development","author":"Aslett","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1983.1654237","article-title":"Software Technology in the 1990's: Using a New Paradigm","volume":"16","author":"Balzer","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/0164-1212(91)90073-F_BIB4","article-title":"TAME: Integrated Measurement into Software Environments","author":"Basili","year":"1987","journal-title":"University of Maryland, Computer Science Technical Report TR-1764, TAME-TR-1-1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB5","series-title":"Proc. 2nd Intl. Conf. on Software Engineering, IEEE Computer Society","first-page":"223","article-title":"Programming as an Evolutionary Process","author":"Bauer","year":"1976"},{"key":"10.1016\/0164-1212(91)90073-F_BIB6","article-title":"ASF\u2014An Algebraic Specification Formalism","author":"Bergstra","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB7","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/12944.12948","article-title":"A Spiral Model of Software Development and Enhancement","volume":"11","author":"Boehm","year":"1986","journal-title":"ACM Software Engineering Notes"},{"key":"10.1016\/0164-1212(91)90073-F_BIB8","article-title":"The GRASPIN Environment for the PCTE-Based Prototype","author":"Bogliolo","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB9","series-title":"Proc. Intl. Conf. on Software Development Environments & Factories","first-page":"29","article-title":"ENTREPRISE: An Ada Integrated Development Environment","author":"Bonnard","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB10","series-title":"Proceedings of 5th International Joint Conference on Artificial Intelligence","first-page":"1045","article-title":"Putting Theories Together to Make Specifications","author":"Burstall","year":"1977"},{"key":"10.1016\/0164-1212(91)90073-F_BIB11","series-title":"Semantics of Data Types","first-page":"51","article-title":"A Semantics of Multiple Inheritance","author":"Cardelli","year":"1984"},{"key":"10.1016\/0164-1212(91)90073-F_BIB12","series-title":"Software Engineering Environments, Concepts and Technology","author":"Charette","year":"1986"},{"key":"10.1016\/0164-1212(91)90073-F_BIB13","article-title":"The GRASPIN Environment for the Lisp Prototypes","author":"Christ-Neumann","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB14","series-title":"Proc. ESEC 1st European Softw. Eng. Conf.","article-title":"ASDL\u2014An Object-Oriented Specification Language for Syntax-Directed Environments","author":"Christ-Neumann","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB15_1","first-page":"183","article-title":"The Munich Project CIP","volume":"Vol. I","year":"1985"},{"key":"10.1016\/0164-1212(91)90073-F_BIB15_2","series-title":"The Munich Project CIP","first-page":"292","volume":"Vol. II","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB16","series-title":"Proc. Intl. Conf. on Software Development Environments & Factories","first-page":"45","article-title":"Design of the Kernel EPOS Software Engineering Environment","author":"Conradi","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB17","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1987.1663413","article-title":"Software Development Environments","volume":"20","author":"Dart","year":"1987","journal-title":"IEEE Computer"},{"key":"10.1016\/0164-1212(91)90073-F_BIB18","series-title":"ESPRIT '86: Results and Achievements","article-title":"The GRASPIN Approach to Software Validation and Verification","author":"Dehm","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB19","article-title":"Programming environment based on structured editors: The Mentor experience","volume":"26","author":"Donzeau-Gouge","year":"1980","journal-title":"INRIA Research Report"},{"key":"10.1016\/0164-1212(91)90073-F_BIB20","article-title":"Fundamentals of Algebraic Specification 1","volume":"Volume 6","author":"Ehrig","year":"1985"},{"key":"10.1016\/0164-1212(91)90073-F_BIB21","series-title":"Lecture Notes in Computer Science 244: Advanced Programming Environments","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-17189-4_97","article-title":"Software Development Environments: Research to Practice","author":"Ellison","year":"1986"},{"key":"10.1016\/0164-1212(91)90073-F_BIB22","series-title":"Architecture of the GRASPIN Environment","year":"1988"},{"key":"10.1016\/0164-1212(91)90073-F_BIB23","series-title":"Proc. Intl. Conf. on System Development Environments & Factories","first-page":"133","article-title":"The ESF Vision of a Software Factory","author":"Fernstr\u00f6m","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB24","series-title":"Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages","first-page":"52","article-title":"Principles of OBJ2","author":"Futatsugi","year":"1985"},{"key":"10.1016\/0164-1212(91)90073-F_BIB25","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System Modeling with High-Level Petri Nets","volume":"13","author":"Genrich","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/0164-1212(91)90073-F_BIB26","article-title":"Preliminary Methodology Description","author":"GRASPIN Project Team","year":"1984"},{"key":"10.1016\/0164-1212(91)90073-F_BIB27","series-title":"Final Report 2nd Project Phase","article-title":"Description of the Initial GRASPIN Workstation Prototypes","author":"GRASPIN Project Team","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB28","series-title":"Evaluation Report","article-title":"Suitability of Net-Based GRASPIN Tools for Electronic Payment Systems","author":"Grenier","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB29","article-title":"Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification","author":"Halang","year":"1990","journal-title":"IEEE Software Engineering Journal"},{"key":"10.1016\/0164-1212(91)90073-F_BIB30","series-title":"Foundation Study for a Personal Software Development Workstation Prototype","article-title":"Pilot Phase Project Report","year":"1984"},{"key":"10.1016\/0164-1212(91)90073-F_BIB31","series-title":"Proc. COMPAS-Tagung","article-title":"PRADOS: Weiterentwicklung zu objektorientiertem Softwareentwicklungs-system","author":"Hirschmann","year":"1985"},{"key":"10.1016\/0164-1212(91)90073-F_BIB32","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/24574.24586","article-title":"Characteristics and Functions of Software Engineering Environments: An Overview","volume":"12","author":"Houghton","year":"1987","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/0164-1212(91)90073-F_BIB33","series-title":"Proc. 11th Intl. Conf. on Software Engineering","first-page":"277","article-title":"The State of Software Engineering Practice: A Preliminary Report","author":"Humphrey","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB34","series-title":"Proc. 11th Intl. Conf. on Software Engineering","first-page":"331","article-title":"Software Process Modeling: Principles of Entity Process Models","author":"Humphrey","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB35","series-title":"GRASPIN\u2014Towards the Next CASE Generation","article-title":"Final Report of ESPRIT Project 125","year":"1990"},{"key":"10.1016\/0164-1212(91)90073-F_BIB36","series-title":"Proc. 9th Intl. Conf. on Software Engineering","article-title":"An Architecture for Intelligent Assistance in Software Development","author":"Kaiser","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB37","series-title":"Tagungsband Software-Entwicklungs-Systeme und-Werkzeuge","first-page":"6.2dash1","article-title":"INNOVATOR: Ein CASE-System der neuen Generation","author":"Keramidis","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB38","series-title":"Advances in Petri Nets 1984","first-page":"307","article-title":"Stepwise Construction of Non-Sequential Software Systems Using a Net-Based Specification Language","author":"Kr\u00e4mer","year":"1985"},{"key":"10.1016\/0164-1212(91)90073-F_BIB39","article-title":"Concepts, Syntax and Semantics of SEGRAS: A Specification Language for Distributed Systems","author":"Kr\u00e4mer","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB40","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0164-1212(91)90074-G","article-title":"Introducing the GRASPIN Specification Language SEGRAS","volume":"15","author":"Kr\u00e4mer","year":"1991","journal-title":"J. Systems Software"},{"key":"10.1016\/0164-1212(91)90073-F_BIB41","article-title":"A Proposed Design for a Rapid Prototyping Language","author":"Kr\u00e4mer","year":"1989","journal-title":"Naval Postgraduate School, Technical Report NPS 52-89-045"},{"key":"10.1016\/0164-1212(91)90073-F_BIB42","series-title":"Proc. Hawaii Intl. Conf. on System Sciences (HICSS-23)","first-page":"104","article-title":"A Petri Net Model of Software Processes","author":"Kr\u00e4mer","year":"1990"},{"key":"10.1016\/0164-1212(91)90073-F_BIB43","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1109\/52.16907","article-title":"Developing Integrated Environments with ASDL","author":"Kr\u00e4mer","year":"1989","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(91)90073-F_BIB44","series-title":"Proc. COMPSAC '90, Computer Society Press","article-title":"Architecture and Functionality of a Specification Environment for Distributed Systems","author":"Kr\u00e4mer","year":"1990"},{"key":"10.1016\/0164-1212(91)90073-F_BIB45","series-title":"Program Evolution","author":"Lehmann","year":"1985"},{"key":"10.1016\/0164-1212(91)90073-F_BIB46_1","doi-asserted-by":"crossref","DOI":"10.1145\/64137.65020","article-title":"Extended Programming in the Large in a Software Development Environment","volume":"13","author":"Lewerentz","year":"1988","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/0164-1212(91)90073-F_BIB46_2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/64140.65020","volume":"24","author":"Lewerentz","year":"1989","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/0164-1212(91)90073-F_BIB47","series-title":"Proc. 11th Intl. Conf. on Software Engineering","first-page":"23","article-title":"The IDeA Design Environment","author":"Lubars","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB48","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/52.41645","article-title":"GRASPIN: A Structured Development Environment for Analysis and Design","author":"Mannucci","year":"1989","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(91)90073-F_BIB49","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1109\/TSE.1981.231109","article-title":"An Incremental Programming Environment","volume":"SE-7","author":"Medina-Mora","year":"1981","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0164-1212(91)90073-F_BIB50","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1988"},{"key":"10.1016\/0164-1212(91)90073-F_BIB51","series-title":"Proc. Software-Entwicklung \u2014 Konzepte, Erfahrungen, Perspektiven","first-page":"21","article-title":"Eine integrierte SoftwareentwicklungsUmgebung\u2014ein alternativer konzeptioneller Ansatz","author":"Nagl","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB52","article-title":"Information Systems Factory Study","author":"Oddy","year":"1988"},{"key":"10.1016\/0164-1212(91)90073-F_BIB53","article-title":"Software Environments Research: Directions for the Next Five Years","volume":"14","author":"Osterweil","year":"1982","journal-title":"IEEE Computer"},{"key":"10.1016\/0164-1212(91)90073-F_BIB54","article-title":"Software Engineering Environment Architectures","author":"Penedo","year":"1988","journal-title":"Software Productivity Consortium, Document SPC-TN-88-003, Version 1.0"},{"key":"10.1016\/0164-1212(91)90073-F_BIB55","series-title":"Lecture Notes in Computer Science 244: Advanced Programming Environments","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1007\/3-540-17189-4_121","article-title":"Framework for a Knowledge-Based Programming Environment","author":"Polak","year":"1986"},{"key":"10.1016\/0164-1212(91)90073-F_BIB56","series-title":"Texts and Monographs in Computer Science","article-title":"The Synthesizer Generator: A System for Constructing Language-Based Editors","author":"Reps","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB57","article-title":"Specification and Correct Implementation of Non-Sequential Systems Combining Abstract Data Types and Petri Nets","author":"Schmidt","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB58","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0164-1212(91)90076-I","article-title":"Prototyping and Analysis of NonSequential Systems Using Predicate-Event Nets","volume":"15","author":"Schmidt","year":"1991","journal-title":"J. Sysems Software"},{"key":"10.1016\/0164-1212(91)90073-F_BIB59","series-title":"Proc. 9th Intl. Conf. on Software Engineering","first-page":"30","article-title":"On the Role of an Environment","author":"Stenning","year":"1987"},{"key":"10.1016\/0164-1212(91)90073-F_BIB60_1","doi-asserted-by":"crossref","DOI":"10.1145\/64137.65004","article-title":"Foundations for the ARCADIA Environment Architecture","volume":"13","author":"Taylor","year":"1988","journal-title":"ACM Software Engineering Notes"},{"key":"10.1016\/0164-1212(91)90073-F_BIB60_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/64140.65004","volume":"24","author":"Taylor","year":"1989","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/0164-1212(91)90073-F_BIB61","article-title":"GRASPIN Technical Paper EPS 7\/1","author":"Teufer","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB62","series-title":"Proc. 11th Intl. Conf. on Software Engineering","first-page":"13","article-title":"Tool Integration in the PACT Environment","author":"Thomas","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB63","series-title":"Manuscript distributed at OSF Special Interest Group on CASE","article-title":"The Architecture of CASE Environments,","author":"Wasserman","year":"1989"},{"key":"10.1016\/0164-1212(91)90073-F_BIB64","doi-asserted-by":"crossref","DOI":"10.1145\/1006258.1006289","article-title":"Rapid Prototyping of Interactive Information Systems","volume":"7","author":"Wasserman","year":"1982","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/0164-1212(91)90073-F_BIB65","series-title":"Proc. Hawaii Intl. Conf. on System Sciences (HICSS-23)","first-page":"189","article-title":"Algorithm Design and Parallel Program Development through Formal Specifications","author":"Zimmerman","year":"1990"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129190073F?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129190073F?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:58:42Z","timestamp":1552604322000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016412129190073F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":68,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["016412129190073F"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(91)90073-f","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}