{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:10:29Z","timestamp":1725574229187},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676881"},{"type":"electronic","value":"9783540450511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45051-1_29","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:14:57Z","timestamp":1294359297000},"page":"326-338","source":"Crossref","is-referenced-by-count":0,"title":["A Description of a \u2018Framework Approach\u2019 to Evolutionary Systems Development"],"prefix":"10.1007","author":[{"given":"Mark R.","family":"Whittington","sequence":"first","affiliation":[]},{"given":"Mike","family":"Shackleton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1816","DOI":"10.1007\/3-540-48118-4_46","volume-title":"FM\u201999 - Formal Methods","author":"P. Garbet","year":"1999","unstructured":"Garbet, P., Parks, J.P., Shackleton, M., Anderson, S.: Secure Synthesis of Code: A Process Improvement Experiment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1816\u20131835. Springer, Heidelberg (1999)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Dolman, W.C., Chandler, J.R., Wells, C., Betts, A.: A Realistic Approach to the Test of Safety for Aerospace Applications. In: Computer Aided Software Tools (CAST). IEE C6. Digest No.96\/096 (1996)","DOI":"10.1049\/ic:19960615"},{"key":"29_CR3","first-page":"115","volume-title":"Safety of Computer Control Systems","author":"I.M. O\u2019Neill","year":"1988","unstructured":"O\u2019Neill, I.M., Clutterbuck, D.L., Farrow, P.F., Summers, P.G., Dolman, W.C.: THE Formal Verification of Safety Critical Assembly Code. In: Safety of Computer Control Systems, pp. 115\u2013120. Pergammon Press, Oxford (1988)"},{"key":"29_CR4","unstructured":"Requirements and Technical Concepts for Aviation. Software Considerations in Airborne Systems and Equipment Certification (Document RTCA SC167\/DO-178B) (December 1992)"},{"key":"29_CR5","unstructured":"Garbet, P., Parks, J., Shackleton, M., Anderson, S.: A Case Study in Innovative Process Improvement: Code Synthesis from Formal Specifications. Avionics 98 (1998)"},{"key":"29_CR6","first-page":"20","volume-title":"Software Engineering","author":"S. Pressman","year":"1987","unstructured":"Pressman, S.: Software Engineering, pp. 20\u201322. McGraw-Hill, New York (1987)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Whittington, M.R., Shackleton, M.: Cyclic Scheduling, Formal Methods and Information Modelling. Computing and Control Engineering Journal (IEE), 33 (1999)","DOI":"10.1049\/cce:19990109"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Whittington, M.R., Shackleton, M.: Towards a Formal Methodology of Real- Time Deterministic Scheduling for Flight Safety Critical Software Design. IEE A1 (Software Engineering) Colloquium on Real-Time Systems, University of York, IEE Digest No:98\/306 pp. 1\/1-1\/8 (April 1998)","DOI":"10.1049\/ic:19980522"}],"container-title":["Lecture Notes in Computer Science","Product Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45051-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T16:59:28Z","timestamp":1559926768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45051-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676881","9783540450511"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45051-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}