{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:37:29Z","timestamp":1725467849257},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647331"},{"type":"electronic","value":"9783540690863"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053884","type":"book-chapter","created":{"date-parts":[[2006,7,6]],"date-time":"2006-07-06T14:57:56Z","timestamp":1152197876000},"page":"133-139","source":"Crossref","is-referenced-by-count":5,"title":["Supporting fine-grained traceability in software development environments"],"prefix":"10.1007","author":[{"given":"Peter","family":"Lindsay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Owen","family":"Traynor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Song C. Choi and Walt Scacchi. Assuring the correctness of configured software descriptions. In Proc 2nd Intl Workshop on Software Configuration Management, ACM SIGSOFT Software Engineering Notes, volume 14, pages 66\u201375. ACM Press, 1989.","DOI":"10.1145\/73337.73349"},{"issue":"1","key":"12_CR2","first-page":"373","volume":"19","author":"P.A. Lindsay","year":"1997","unstructured":"P.A. Lindsay, Y. Liu, and O. Traynor. Managing document conformance: a case study in fine-grained configuration management. In Aust Comp Sci Communications., volume 19(1), pages 373\u2013382, 1997.","journal-title":"Aust Comp Sci Communications"},{"key":"12_CR3","unstructured":"P.A. Lindsay and O. Traynor. Version and configuration management of formal theories. In Proc. Formal Methods Pacific (FMP'97). Springer Verlag, 1997."},{"key":"12_CR4","volume-title":"Technical Report 98-10","author":"P.A. Lindsay","year":"1998","unstructured":"P.A. Lindsay and O. Traynor. A formal model of fine grained traceability in software development environments. Technical Report 98-10, Software Verification Research Centre, School of Information Technology, The University of Queensland, St. Lucia, QLD 4072, Australia, 1998."},{"key":"12_CR5","unstructured":"U.K. Ministry of Defence. Safety Management Requirements for Defence Systems Containing Programmable Electronics. Second Draft Defence Standard 00-56, August 1996."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"F.A.C. Pinheiro and J.G. Goguen. An object-oriented tool for tracing requirements. IEEE Software, pages 52\u201364, 1996.","DOI":"10.1109\/52.506462"},{"key":"12_CR7","volume-title":"FME'93: Industrial Strength Formal Methods","author":"K.J. Ross","year":"1993","unstructured":"K.J. Ross and P.A. Lindsay. Maintaining consistency under changes to formal specifications. In FME'93: Industrial Strength Formal Methods. Springer Verlag, 1993. Proc. First Internat. Symp. of Formal Methods Europe, Odense, Denmark, April 1993."},{"key":"12_CR8","first-page":"21","volume-title":"Version management for tightly integrated software engineering environments","author":"S. Sachweh","year":"1995","unstructured":"S. Sachweh and W. Sch\u00e4fer. Version management for tightly integrated software engineering environments. In Proc. 7th Int. Conf. on Software Eng Environments, pages 21\u201331, The Netherlands, 1995. IEEE Computer Society Press."}],"container-title":["Lecture Notes in Computer Science","System Configuration Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T21:22:41Z","timestamp":1555708961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647331","9783540690863"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0053884","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}