{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:19:59Z","timestamp":1780053599930,"version":"3.54.0"},"reference-count":26,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1981,12,1]],"date-time":"1981-12-01T00:00:00Z","timestamp":376012800000},"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":[[1981,12]]},"DOI":"10.1016\/0164-1212(81)90004-2","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"297-316","source":"Crossref","is-referenced-by-count":18,"title":["Software requirements and specifications: A survey of needs and languages"],"prefix":"10.1016","volume":"2","author":[{"given":"R.J.","family":"Abbott","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.K.","family":"Moorhead","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(81)90004-2_BIB1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1977.233838","article-title":"A Requirements Engineering Methodology for Realtime Processing Requirements","volume":"SE-3","author":"Alford","year":"1977","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0164-1212(81)90004-2_BIB2","series-title":"Proceedings: Specifications of Reliable Software","first-page":"58","article-title":"Principles of Good Software Specification and Their Implications for Specification Language","author":"Balzer","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB3","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","article-title":"Software Engineering","volume":"C-25","author":"Boehm","year":"1976","journal-title":"IEEE Trans. Comp."},{"key":"10.1016\/0164-1212(81)90004-2_BIB4","series-title":"Proceedings: Specifications of Reliable Software","first-page":"15","article-title":"Formal Techniques and Automatic Processing to Ensure Correctness in Requirements Specification","author":"Davis","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB5","author":"Department of Defense","year":"1968","journal-title":"MIL-STD-490: Specification Practices"},{"key":"10.1016\/0164-1212(81)90004-2_BIB6","series-title":"draft of a paper prepared for the Army Institute for Research in Management Information and Computer Science (AIRMICS)","article-title":"Requirements Formulation for MIS Through System Sketching","author":"Gabriele","year":"1980"},{"key":"10.1016\/0164-1212(81)90004-2_BIB7","doi-asserted-by":"crossref","DOI":"10.21236\/ADA092567","article-title":"A Database Foundation for Process Specifications","author":"Goldman","year":"1980"},{"key":"10.1016\/0164-1212(81)90004-2_BIB8","article-title":"Report on the Language Gypsy-Version 2.0","author":"Good","year":"1978","journal-title":"Certifiable Minicomputer Project, University of Texas at Austin, Report No. ICSCA-CMP-10"},{"key":"10.1016\/0164-1212(81)90004-2_BIB9","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","article-title":"Abstract Data Types and Software Validation","volume":"21","author":"Guttag","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(81)90004-2_BIB10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/TSE.1976.233798","article-title":"Higher Order Software\u2014A Methodology for Defining Software","volume":"SE-2","author":"Hamilton","year":"1976","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0164-1212(81)90004-2_BIB11","article-title":"Software Requirements for the A-7E Aircraft (second printing)","author":"Heninger","year":"1980"},{"key":"10.1016\/0164-1212(81)90004-2_BIB12","series-title":"Logic for Problem-Solving","author":"Kowalsky","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB13","series-title":"Proceedings: Specifications of Reliable Software","first-page":"119","article-title":"Synchronization Specifications for Data Abstractions","author":"Laventhal","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00260921","article-title":"Proof Rules for the Programming Language Euclid","volume":"10","author":"London","year":"1978","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(81)90004-2_BIB15","series-title":"A System Design Methodology","author":"SDM","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB16","series-title":"Webster's New Collegiate Dictionary","author":"G&C Merriam Co.","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB17","article-title":"Abstract Data Type Specification in the AFFIRM System","volume":"SE-5","author":"Musser","year":"1979","journal-title":"IEEE Trans. Soft Eng."},{"key":"10.1016\/0164-1212(81)90004-2_BIB18","series-title":"Proc. Software Development Tools Workshop Conference","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB19","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","article-title":"Structured Analysis (SA): A Language for Communicating Ideas","volume":"SE-3","author":"Ross","year":"1977","journal-title":"IEEE Trans Soft Eng."},{"key":"10.1016\/0164-1212(81)90004-2_BIB20","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1977.229899","article-title":"Structured Analysis for Requirements Definition","volume":"SE-3","author":"Ross","year":"1977","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0164-1212(81)90004-2_BIB21","series-title":"Proceedings: Specifications of Reliable Software","author":"Ross","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB22","article-title":"SRI International, Technical Report CSG-45","author":"Roubine","year":"1976","journal-title":"SPECIAL Reference Manual"},{"key":"10.1016\/0164-1212(81)90004-2_BIB23","article-title":"The ZOG approach to Man-Machine Communication","author":"Robertson","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB24","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":"SE-3","author":"Teichrow","year":"1977","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0164-1212(81)90004-2_BIB25","series-title":"Proceedings: Specifications of Reliable Software","first-page":"68","article-title":"Specification Methods for Interactive Information Systems","author":"Wasserman","year":"1979"},{"key":"10.1016\/0164-1212(81)90004-2_BIB26","first-page":"1077","article-title":"Specifying Software Requirements","volume":"68\u201369","author":"Yeh","year":"1980"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121281900042?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121281900042?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:53:51Z","timestamp":1552604031000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121281900042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,12]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1981,12]]}},"alternative-id":["0164121281900042"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(81)90004-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1981,12]]}}}