{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:52:40Z","timestamp":1725457960863},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.1978.810303","type":"proceedings-article","created":{"date-parts":[[2005,8,25]],"date-time":"2005-08-25T02:43:29Z","timestamp":1124937809000},"page":"30-35","source":"Crossref","is-referenced-by-count":0,"title":["ASSET: A Lifecycle Verification and Visibility System"],"prefix":"10.1109","author":[{"given":"L.J.","family":"Osterweil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.R.","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.G.","family":"Stucki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Automating Software Development A Survey of Techniques and Automated Tools","year":"1972","author":"brown","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/6.1977-1385"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380060405"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808425"},{"journal-title":"The Use of Dynamic Assertions to Improve Software Quality","year":"1976","author":"stucki","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231468"},{"journal-title":"Final Report Methodology for the Effective Test Case Selection","year":"1975","author":"howden","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/356599.356602"},{"journal-title":"Practical Strategies for Developing Large Software Systems","year":"1975","author":"boehm","key":"ref4"},{"key":"ref3","first-page":"181","author":"brown","year":"1973","journal-title":"Program Test Methods"},{"journal-title":"Software Quality Management","year":"1978","author":"brown","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CMPCON.1977.680838"},{"key":"ref8","first-page":"5","article-title":"The DOD Defense Systems Software Management Program -- Current Status","author":"gansler","year":"1977","journal-title":"Software Management Conference Proceedings"},{"key":"ref7","article-title":"Software and Its Impact: A Quantitative Assessment","author":"boehm","year":"1973","journal-title":"Datamation"},{"journal-title":"Third International Conference on the Software Process","year":"1978","key":"ref2"},{"journal-title":"A Proposal for an Integrated Testing System for Computer Programs","year":"1976","author":"osterweil","key":"ref9"},{"key":"ref1","first-page":"131","author":"brown","year":"1975","journal-title":"Practical Strategies for Developing Large Software Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808477"},{"journal-title":"Functional Programming Final Technical Report","year":"1977","author":"brown","key":"ref22"},{"key":"ref21","article-title":"A Requirements Expression and Validation Tool","author":"stephens","year":"1978","journal-title":"Third International Conference on the Software Process"},{"key":"ref24","article-title":"A System for Analysis and Verification of Software Design","author":"smith","year":"0","journal-title":"These proceedings"},{"key":"ref23","article-title":"A Verification, Documentation and Testing Capability for Development of Concurrent Software","author":"taylor","year":"0","journal-title":"These proceedings"},{"key":"ref25","article-title":"SAMM - A Requirements, Design and Modeling Tool","author":"lamb","year":"0","journal-title":"These proceedings"}],"event":{"name":"The IEEE Computer Society's Second International Computer Software and Applications Conference, 1978. COMPSAC '78.","location":"Chicago, IL"},"container-title":["The IEEE Computer Society's Second International Computer Software and Applications Conference, 1978. COMPSAC '78."],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6195\/16537\/00810303.pdf?arnumber=810303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T23:15:12Z","timestamp":1489187712000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/810303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/cmpsac.1978.810303","relation":{},"subject":[]}}