{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:17:53Z","timestamp":1775053073982,"version":"3.50.1"},"reference-count":40,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"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":[[1988,9]]},"DOI":"10.1016\/0164-1212(88)90013-1","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"297-311","source":"Crossref","is-referenced-by-count":35,"title":["A taxonomy for the early stages of the software development life cycle"],"prefix":"10.1016","volume":"8","author":[{"given":"Alan M.","family":"Davis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(88)90013-1_BIB1","series-title":"Webster's Ninth New Collegiate Dictionary","year":"1984"},{"key":"10.1016\/0164-1212(88)90013-1_BIB2","article-title":"IEEE Standard Glossary of Software Engineering Terms","author":"IEEE","year":"1983","journal-title":"ANSI\/IEEE Standard 729-1983"},{"issue":"1","key":"10.1016\/0164-1212(88)90013-1_BIB3","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1977.233838","article-title":"A Requirements Engineering Methodology for Real-Time Processing Requirements","volume":"3","author":"Alford","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/0164-1212(88)90013-1_BIB4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0164-1212(83)90004-3","article-title":"The Functional Life Cycle Model and Its Automation: USE.IT","volume":"3","author":"Hamilton","year":"1983","journal-title":"J. Syst. Software"},{"key":"10.1016\/0164-1212(88)90013-1_BIB5","series-title":"Structured Requirements Definition","author":"Orr","year":"1981"},{"issue":"1","key":"10.1016\/0164-1212(88)90013-1_BIB6","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/TSE.1977.229899","article-title":"Structured Analysis for Requirements Definition","volume":"3","author":"Ross","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/0164-1212(88)90013-1_BIB7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/TSE.1977.229902","article-title":"PSL\/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems","volume":"3","author":"Teichroew","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/0164-1212(88)90013-1_BIB8","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TSE.1982.235254","article-title":"An Operational Approach to Requirements Specifications for Embedded Systems","volume":"8","author":"Zave","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(88)90013-1_BIB9","article-title":"A Strategy for Comparing Alternate Software Development Life Cycle Models","volume":"15","author":"Davis","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"10.1016\/0164-1212(88)90013-1_BIB10","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1109\/TSE.1985.232516","article-title":"Analysis and Design in MSG.84: Formalizing Functional Specifications","volume":"11","author":"Berzins","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"10.1016\/0164-1212(88)90013-1_BIB11","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","article-title":"Software Engineering","volume":"25","author":"Boehm","year":"1976","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0164-1212(88)90013-1_BIB12","series-title":"Software Engineering Environments","author":"Charette","year":"1986"},{"key":"10.1016\/0164-1212(88)90013-1_BIB13","series-title":"Software Requirements: Analysis and Specification","author":"Davis","year":"1988"},{"key":"10.1016\/0164-1212(88)90013-1_BIB14","article-title":"Military Standard: Defense System Software Development","author":"U.S. Department of Defense","year":"1985","journal-title":"DOD-STD-2167"},{"key":"10.1016\/0164-1212(88)90013-1_BIB15","series-title":"IEEE Tutorial on Software Design Techniques","first-page":"2","article-title":"Fundamentals of Design","author":"Freeman","year":"1983"},{"key":"10.1016\/0164-1212(88)90013-1_BIB16","article-title":"A Guide for Software Requirements Specification","author":"IEEE","year":"1984","journal-title":"ANSI\/IEEE Standard 830-1984"},{"key":"10.1016\/0164-1212(88)90013-1_BIB17","series-title":"5th Int. Conf. Software Engineering","first-page":"90","article-title":"A Comparison of Life Cycle Models","author":"Kerola","year":"1981"},{"issue":"5","key":"10.1016\/0164-1212(88)90013-1_BIB18","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MC.1984.1659135","article-title":"A Total System Design Framework","volume":"17","author":"Roman","year":"1984","journal-title":"IEEE Comput."},{"issue":"2","key":"10.1016\/0164-1212(88)90013-1_BIB19","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1109\/TSE.1986.6312947","article-title":"Developing Interactive Information Systems with the User Software Engineering Methodology","volume":"12","author":"Wasserman","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(88)90013-1_BIB20","series-title":"5th Int. Conference on Software Engineering","first-page":"295","article-title":"Executable Requirements for Embedded Systems","author":"Zave","year":"1981"},{"key":"10.1016\/0164-1212(88)90013-1_BIB21","article-title":"A Model of the Industrial Product Development Process","author":"Cronhjort","year":"1982"},{"issue":"9","key":"10.1016\/0164-1212(88)90013-1_BIB22","doi-asserted-by":"crossref","DOI":"10.1145\/48529.48534","article-title":"A Comparison of Techniques for the Specifications of External Behavior of Real-Time Systems","volume":"31","author":"Davis","year":"1988","journal-title":"Commun. ACM."},{"key":"10.1016\/0164-1212(88)90013-1_BIB23","series-title":"Structured Analysis and Design Technique","author":"Marca","year":"1988"},{"key":"10.1016\/0164-1212(88)90013-1_BIB24","series-title":"Structured Analysis and System Specification","author":"DeMarco","year":"1979"},{"issue":"1","key":"10.1016\/0164-1212(88)90013-1_BIB25","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","article-title":"Specifying Software Requirements for Complex Systems: New Techniques and Their Applications","volume":"6","author":"Heninger","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"10.1016\/0164-1212(88)90013-1_BIB26","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1145\/356893.356898","article-title":"Decision Trees and Diagrams","volume":"14","author":"Moret","year":"1982","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0164-1212(88)90013-1_BIB27","first-page":"271","article-title":"PDL\u2014A Tool for Software Design","volume":"Vol. 44","author":"Caine","year":"1975"},{"issue":"2","key":"10.1016\/0164-1212(88)90013-1_BIB28","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","article-title":"The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing","volume":"12","author":"Ward","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(88)90013-1_BIB29","series-title":"AIAA\/IEEE 6th Digital Avionics Systems Conference","first-page":"6","article-title":"The Use of Structured Methods in the Development of Large Software-Based Avionics Systems","author":"Hatley","year":"1984"},{"issue":"3","key":"10.1016\/0164-1212(88)90013-1_BIB30","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A Visual Formalism for Complex Systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/0164-1212(88)90013-1_BIB31","first-page":"289","article-title":"RLP: An Automated Tool for the Processing of Requirements","author":"Davis","year":"1979","journal-title":"COMPSAC79"},{"issue":"5","key":"10.1016\/0164-1212(88)90013-1_BIB32","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MC.1982.1654021","article-title":"The Design of a Family of Applications-Oriented Requirements Languages","volume":"15","author":"Davis","year":"1982","journal-title":"IEEE Computer"},{"issue":"6","key":"10.1016\/0164-1212(88)90013-1_BIB33","doi-asserted-by":"crossref","first-page":"1310","DOI":"10.1109\/TCOM.1982.1095599","article-title":"SDL-CCITT Specification and Description Language","volume":"30","author":"Rockstrom","year":"1982","journal-title":"IEEE Trans. Commun."},{"issue":"3","key":"10.1016\/0164-1212(88)90013-1_BIB34","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","article-title":"Petri Nets","volume":"9","author":"Peterson","year":"1977","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0164-1212(88)90013-1_BIB35","series-title":"Kammunikation Mit Automaten","author":"Petri","year":"1962"},{"key":"10.1016\/0164-1212(88)90013-1_BIB36","series-title":"Principles of Program Design","author":"Jackson","year":"1975"},{"key":"10.1016\/0164-1212(88)90013-1_BIB37","series-title":"IEEE Tutorial on JSP & JSD: The Jackson Approach to Software Development","author":"Cameron","year":"1983"},{"issue":"8","key":"10.1016\/0164-1212(88)90013-1_BIB38","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/TSE.1985.232519","article-title":"Extending State Transition Diagrams for the Specification of Human-Computer Interaction","volume":"11","author":"Wasserman","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(88)90013-1_BIB39","series-title":"Proc. Symposium on Methodologies and Tools for Real-Time Systems, National Institute for Software Quality and Productivity","article-title":"The ADCAD Methodology and STATE-MATE1 Working Environment","author":"Harel","year":"1987"},{"key":"10.1016\/0164-1212(88)90013-1_BIB40","series-title":"10th Int. Conf. Software Engineering","article-title":"Statemate: A Working Environment for the Development of Complex Reactive Systems","author":"Harel","year":"1988"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121288900131?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121288900131?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:56:16Z","timestamp":1552618576000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121288900131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["0164121288900131"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(88)90013-1","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}