{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:50:48Z","timestamp":1761511848340},"reference-count":48,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"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":[[1979,1]]},"DOI":"10.1016\/0164-1212(79)90007-4","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"77-86","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["ASSET: A life cycle verification and visibility system"],"prefix":"10.1016","volume":"1","author":[{"given":"Leon J.","family":"Osterweil","sequence":"first","affiliation":[]},{"given":"John R.","family":"Brown","sequence":"additional","affiliation":[]},{"given":"Leon G.","family":"Stucki","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(79)90007-4_BIB1","series-title":"Practical Strategies for Developing Large Software Systems","first-page":"131","article-title":"Getting Better Software Cheaper and Quicker","author":"Brown","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB2","series-title":"Proceedings 1975 International Conference on Reliable Software","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB3","series-title":"Proceedings Second International Conference on Software Engineering","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB4","series-title":"Proceedings Third International Conference on Software Engineering","year":"1978"},{"key":"10.1016\/0164-1212(79)90007-4_BIB5","unstructured":"IEEE Transactions on Software Engineering, SE Series."},{"key":"10.1016\/0164-1212(79)90007-4_BIB6","series-title":"Program Test Methods","first-page":"181","article-title":"Automated Software Quality Assurance","author":"Brown","year":"1973"},{"key":"10.1016\/0164-1212(79)90007-4_BIB7","series-title":"Practical Strategies for Developing Large Software Systems","article-title":"The High Cost of Software","author":"Boehm","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB8","series-title":"Proceedings of Air Force Aeronautical Systems Software Workshop","article-title":"Improving Quality and Reducing Cost of Aeronautical Systems Software Through Use of Tools","author":"Brown","year":"1974"},{"key":"10.1016\/0164-1212(79)90007-4_BIB9","series-title":"Proceedings of the International Conference on Reliable Software","first-page":"3","article-title":"Managing the Development of Reliable Software","author":"Williams","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB10","series-title":"Proceedings of Fall Compcon 77","first-page":"250","article-title":"Effects of Modern Programming Practices on Software Development Costs","author":"Black","year":"1977"},{"key":"10.1016\/0164-1212(79)90007-4_BIB11","series-title":"Software Quality Management","article-title":"Programming Practices for Increased Software Quality","author":"Brown","year":"1978"},{"key":"10.1016\/0164-1212(79)90007-4_BIB12","unstructured":"W. E. Carlson, Software Research in the Department of Defense, Proceedings Second International Conference on Software Engineering, IEEE Cat. No. 76 CH 1125-4c, pp. 379\u2013383."},{"key":"10.1016\/0164-1212(79)90007-4_BIB13","first-page":"48","article-title":"Software and Its Impact: A Quantitative Assessment","author":"Boehm","year":"1973","journal-title":"Datamation"},{"key":"10.1016\/0164-1212(79)90007-4_BIB14","first-page":"433","article-title":"The Economics of Software Quality Assurance","volume":"45","author":"Alberts","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB15","series-title":"Software Management Conference Proceedings","first-page":"5","article-title":"The DOD Defense Systems Software Management Program\u2014Current Status","author":"Gansler","year":"1977"},{"key":"10.1016\/0164-1212(79)90007-4_BIB16","article-title":"A Proposal for an Integrated Testing System for Computer Programs","author":"Osterweil","year":"1976","journal-title":"University of Colorado Department of Computer Science Technical Report No. CU-CS-093-76"},{"key":"10.1016\/0164-1212(79)90007-4_BIB17","article-title":"Automating Software Development: A Survey of Techniques and Automated Tools","author":"Brown","year":"1972","journal-title":"TRW-SS-72-03"},{"key":"10.1016\/0164-1212(79)90007-4_BIB18","series-title":"Proceedings of the International Conference on Reliable Software","first-page":"131","article-title":"Automated Aids for Reliable Software","author":"Reifer","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB19","series-title":"Proceedings of Computer Science and Statistics: Eighth Annual Symposium on the Interface","first-page":"310","article-title":"Why Tools?","author":"Brown","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB20","first-page":"909","article-title":"Some Experience with DAVE\u2014A fortran Program Analyzer","volume":"45","author":"Osterweil","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB21","series-title":"AIAA Conference on Computers in Aerospace","first-page":"52","article-title":"A Methodology for Testing Computer Programs","author":"Osterweil","year":"1977"},{"key":"10.1016\/0164-1212(79)90007-4_BIB22","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/spe.4380060405","article-title":"DAVE\u2014A Validation Error Detection and Documentation System for fortran Programs","volume":"6","author":"Osterweil","year":"1976","journal-title":"Software Practice and Experience"},{"key":"10.1016\/0164-1212(79)90007-4_BIB23","series-title":"Proceedings 1975 International Conference on Reliable Software","first-page":"59","article-title":"New Assertion Concepts for Self-Metric Software Validation","author":"Stucki","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB24","article-title":"The Use of Dynamic Assertions to Improve Software Quality","author":"Stucki","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB25","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A System to Generate Test Data and Symbolically Execute Programs","volume":"SE-2","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(79)90007-4_BIB26","first-page":"899","article-title":"Experiments with a Symbolic Evaluation System","volume":"45","author":"Howden","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB27","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/TSE.1978.231468","article-title":"DISSECT\u2014A Symbolic Evaluation and Program Testing System","volume":"SE-4","author":"Howden","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(79)90007-4_BIB28","article-title":"Final Report Methodology for the Effective Test Case Selection","author":"Howden","year":"1975","journal-title":"McDonnell Douglas Technical Report MDC G5800"},{"key":"10.1016\/0164-1212(79)90007-4_BIB29","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","article-title":"Symbolic Execution and Program Testing","volume":"19","author":"King","year":"1976","journal-title":"CACM"},{"key":"10.1016\/0164-1212(79)90007-4_BIB30","series-title":"1975 International Conference on Reliable Software","first-page":"482","article-title":"An Interactive Program Verification System","author":"Good","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB31","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/356599.356602","article-title":"An Assessment of Techniques for Proving Program Correctness","volume":"4","author":"Elspas","year":"1972","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0164-1212(79)90007-4_BIB32","series-title":"1975 International Conference on Reliable Software","first-page":"534","article-title":"A View of Program Verification","author":"London","year":"1975"},{"key":"10.1016\/0164-1212(79)90007-4_BIB33","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1147\/sj.111.0056","article-title":"Chief Programmer Team Management of Production Programming","volume":"11","author":"Baker","year":"1972","journal-title":"IBM Systems Journal"},{"key":"10.1016\/0164-1212(79)90007-4_BIB34","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":"SE-3","author":"Alford","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(79)90007-4_BIB35","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/TSE.1977.229899","article-title":"Structured Analysis for Requirements Definition","volume":"SE-3","author":"Ross","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(79)90007-4_BIB36","series-title":"Proceedings Third International Conference on Software Engineering","article-title":"A Requirements Expression and Validation Tool","author":"Stephens","year":"1978"},{"key":"10.1016\/0164-1212(79)90007-4_BIB37","article-title":"Functional Programming Final Technical Report","author":"Brown","year":"1977","journal-title":"TRW Technical Report No. 29580-6001-RU-00"},{"key":"10.1016\/0164-1212(79)90007-4_BIB38","series-title":"Proceedings of COMPSAC 77","first-page":"392","article-title":"Research Flight Software Engineering and must, an Integrated System of Support Tools","author":"Straeter","year":"1977"},{"key":"10.1016\/0164-1212(79)90007-4_BIB39","doi-asserted-by":"crossref","unstructured":"F. H. Martin, hal\/s\u2014The Avionics Programming System for Shuttle, Proceedings 1977 AIAA Conference on Computers in Aerospace, pp. 308\u2013318.","DOI":"10.2514\/6.1977-1434"},{"key":"10.1016\/0164-1212(79)90007-4_BIB40","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB41","article-title":"Anomaly Detection in Concurrent Process Software by Static Data Flow Analysis","author":"Taylor","year":"1979"},{"key":"10.1016\/0164-1212(79)90007-4_BIB42","series-title":"Proceedings of MRI Symposium on Computer Software Engineering, Polytechnic Press","first-page":"31","article-title":"Design Representation Schemes","author":"Peters","year":"1976"},{"key":"10.1016\/0164-1212(79)90007-4_BIB43","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00289078","article-title":"Fast Algorithms for the Elimination of Common Subexpressions","volume":"2","author":"Ullman","year":"1973","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(79)90007-4_BIB44","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/362248.362272","article-title":"Efficient Algorithms for Graph Manipulation","volume":"16","author":"Hopcroft","year":"1973","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(79)90007-4_BIB45","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/360018.360025","article-title":"A Program Data Flow Analysis Procedure","volume":"19","author":"Allen","year":"1976","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(79)90007-4_BIB46","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/356674.356676","article-title":"Data Flow Analysis in Software Reliability","volume":"8","author":"Fosdick","year":"1976","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0164-1212(79)90007-4_BIB47","series-title":"Proceedings of COMPSAC 78","first-page":"42","article-title":"A System for Analysis and Verification of Software Design","author":"Hammond","year":"1978"},{"key":"10.1016\/0164-1212(79)90007-4_BIB48","series-title":"Proceedings of COMPSAC 78","first-page":"48","article-title":"SAMM: A Modelling Tool for Requirements and Design Specification","author":"Lamb","year":"1978"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121279900074?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121279900074?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T05:34:37Z","timestamp":1585114477000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121279900074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,1]]},"references-count":48,"alternative-id":["0164121279900074"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(79)90007-4","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1979,1]]}}}