{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T14:21:51Z","timestamp":1770474111079,"version":"3.49.0"},"reference-count":16,"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)90077-j","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"63-74","source":"Crossref","is-referenced-by-count":7,"title":["Toward formal models of software engineering processes"],"prefix":"10.1016","volume":"15","author":[{"given":"Bernd","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Luqi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(91)90077-J_BIB1","series-title":"IEEE Computer","first-page":"61","article-title":"A spiral model of software development and enhancement","author":"Boehm","year":"1988"},{"key":"10.1016\/0164-1212(91)90077-J_BIB2","series-title":"Advanced Programming Environments","article-title":"A model of software manufacture","author":"Borison","year":"1986"},{"key":"10.1016\/0164-1212(91)90077-J_BIB3","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1145\/50087.50089","article-title":"A field study of the software design process for large systems","volume":"31","author":"Curtis","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(91)90077-J_BIB4","series-title":"Representing and enacting the software process","volume":"14","year":"1989"},{"key":"10.1016\/0164-1212(91)90077-J_BIB5","series-title":"Proceedings of the 11th Annual International Conference on Software Engineering","first-page":"402","article-title":"\u201cNot waving but drowning\u201d: Representation schemes for modelling software development","author":"Finkelstein","year":"1989"},{"key":"10.1016\/0164-1212(91)90077-J_BIB6","series-title":"Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments","article-title":"A Graph transform model for configuration management","author":"Heimbigner","year":"1988"},{"key":"10.1016\/0164-1212(91)90077-J_BIB7","series-title":"Proceedings of the 11th Annual International Conference 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)90077-J_BIB8","series-title":"Concepts, Syntax and Semantics of SEGRAS-A Specification Language for Distributed Systems","author":"Kr\u00e4mer","year":"1989"},{"key":"10.1016\/0164-1212(91)90077-J_BIB9","series-title":"Introducing the GRASPIN specification language SEGRAS","author":"Kr\u00e4mer","year":"1991"},{"key":"10.1016\/0164-1212(91)90077-J_BIB10","series-title":"IEEE Software","article-title":"Object-oriented development of integrated programming environments with ASDL","author":"Kr\u00e4mer","year":"1989"},{"key":"10.1016\/0164-1212(91)90077-J_BIB11","series-title":"Procs. 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)90077-J_BIB12","series-title":"IEEE Computer","first-page":"13","article-title":"Software evolution via rapid prototyping","author":"Luqi","year":"1989"},{"key":"10.1016\/0164-1212(91)90077-J_BIB13","series-title":"Procs. COMPSAC 89","article-title":"Interactive control of prototyping processes","author":"Luqi","year":"1989"},{"key":"10.1016\/0164-1212(91)90077-J_BIB14","article-title":"A model of software maintenance for large scale military systems","author":"Mostov","year":"1990"},{"key":"10.1016\/0164-1212(91)90077-J_BIB15","series-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)90077-J_BIB16","series-title":"Prototyping and verification of concurrently interacting objects","author":"Schmidt","year":"1991"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129190077J?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129190077J?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:39Z","timestamp":1552604319000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016412129190077J"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["016412129190077J"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(91)90077-j","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}