{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:21Z","timestamp":1725488121972},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425717"},{"type":"electronic","value":"9783540448136"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44813-6_20","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T19:18:29Z","timestamp":1184959109000},"page":"210-226","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Family-Oriented Software Development Process for Engine Controllers"],"prefix":"10.1007","author":[{"given":"Karen","family":"Allenby","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Burton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darren","family":"Buttle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Murdoch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Stephenson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Bardill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stuart","family":"Hutchesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,7]]},"reference":[{"key":"20_CR1","unstructured":"John Barnes. High Integrity Ada The SPARK Approach. Addison-Wesley Longman Ltd, 1997."},{"key":"20_CR2","unstructured":"Sergey Berezin. The SMV web site. \n                    http:\/\/www.cs.cmu.edu\/~modelcheck\/smv.html\n                    \n                  , 1999. The latest version of SMV and its documentation may be downloaded from this site."},{"issue":"1","key":"20_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/2363.2366","volume":"7","author":"J.-F. Bergeretti","year":"1985","unstructured":"J.-F. Bergeretti and B.A. Carr\u00e9. Information-Flow and Data-Flow of while-Programs. ACM Transactions on Programming Languages and Systems, 7(1):37\u201361, January 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"20_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0096-0551(85)90011-6","volume":"10","author":"T. A. Budd","year":"1985","unstructured":"Timothy A. Budd. Mutation analysis: Ideas, examples, problems and prospects. Computer Languages Program Testing, 10(1):63\u201373, 1985.","journal-title":"Computer Languages Program Testing"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A. Burns","year":"1994","unstructured":"A. Burns and A.J. Wellings. HRT-HOOD: A structured design method for hard real time systems. Real Time Systems Journal, 6(1):73\u2013114, January 1994.","journal-title":"Real Time Systems Journal"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"A. Burns and A.J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real Time Ada Systems. Elsevier, 1995.","DOI":"10.1007\/BF01245300"},{"key":"20_CR7","unstructured":"Simon Burton, John Clark, and John McDermid. Testing, proof and automation, an integrated approach. In Proceedings of the 1st International Workshop on Automated Program Analysis, Testing and Verification, June 2000."},{"key":"20_CR8","unstructured":"John Clark and Nigel Tracey. Solving constraints in LAW. LAW\/D5.1.1(E), European Commission-DG III Industry, 1997. Legacy Assessment Worbench Feasibility Assessment."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"James Coplien, Daniel Hoffmann, and David Weiss. Commonality and variability in software engineering. IEEE Software, pages 37\u201345, November\/December 1998.","DOI":"10.1109\/52.730836"},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. DeMillo","year":"1978","unstructured":"R. DeMillo, R. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11:34\u201341, 1978.","journal-title":"IEEE Computer"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Andy Galloway, Trevor Cockram, and John McDermid. Experiences with the application of discrete formal methods to the development of engine control software. Proceedings of DCCS\u2019 98. IFAC, 1998.","DOI":"10.1016\/S1474-6670(17)36335-8"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1988","unstructured":"David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michael Politi, Rivi Sherman, Aharon Shtull-Truaring, and Mark Trakhenbrot. STATEMATE, a working environment for the development of complex reactive systems. IEEE Transactions On Software Engineering, 16:403\u2013414, 1988.","journal-title":"IEEE Transactions On Software Engineering"},{"key":"20_CR13","unstructured":"J.V. Hill, J.A. McDermid, R. Rimmer, and B.R. Whittle. Re-use of engine control technology. 1994 Avionics Conference and Exhibition, ERA Technology, 1994."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Mike Mannion, Barry Keepence, Hermann Kaindl, et. al. Reusing Single System Requirements from Application Family Requirements. In Proceedings of the 21st International Conference of Software Engineering, pages 453\u2013463, May 1999.","DOI":"10.1145\/302405.302677"},{"key":"20_CR15","unstructured":"John McDermid, Andy Galloway, Simon Burton, John Clark, Ian Toyn, Nigel Tracey and Samuel Valentine. Towards industrially applicable formal methods: Three small steps, one giant leap. Proceedings of the International Conference on Formal Engineering Methods, October 1998."},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1109\/TSE.1984.5010280","volume":"SE-10","author":"J. Neighbors","year":"1984","unstructured":"J Neighbors. The Draco Approach to Constructing Software from Reusable Components. IEEE Transactions on Software Engineering, SE-10:564\u2013573, September 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR17","unstructured":"M.A. Ould. Business Processes: Modelling and analysis for re-engineering and improvement. Wiley, 1995."},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"2","author":"D.L. Parnas","year":"1976","unstructured":"D.L. Parnas. On the Design and Development of Program Families. IEEE Transactions on Software Engineering, 2(1):1\u20139, March 1976.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"20_CR19","first-page":"47","volume":"15","author":"R. Prieto-D\u00edaz","year":"1990","unstructured":"R Prieto-D\u00edaz. Domain Analysis: an Introduction. Software Engineering Notes, 15(2):47\u201354, April 1990.","journal-title":"Domain Analysis: an Introduction"},{"issue":"9","key":"20_CR20","first-page":"1175-85","volume":"9","author":"L. Sha","year":"1990","unstructured":"L. Sha, R. Rajkumar and J.P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers, 9(9):1175-85, September 1990.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"20_CR21","doi-asserted-by":"publisher","first-page":"103-20","DOI":"10.1049\/sej.1986.0018","volume":"1","author":"H. Simpson","year":"1986","unstructured":"H. Simpson. The MASCOT method. Software Engineering Journal, 1(3):103-20, May 1986.","journal-title":"Software Engineering Journal"},{"key":"20_CR22","unstructured":"H.R. Simpson. Layered architecture(s): Principles and practice in concurrent distributed systems. In IEEE Symposium on Parallel and Distributed Processing, 1996."},{"key":"20_CR23","unstructured":"Software Engineering Institute. Model-Based Software Engineering. \n                    http:\/\/www.sei.cmu.edu\/mbse\/\n                    \n                  , 1997."},{"key":"20_CR24","unstructured":"J.M. Spivey. The Z Notation-A Reference Manual. Prentice-Hall, Second edition, 1992."},{"key":"20_CR25","unstructured":"Ian Toyn. Formal reasoning in the Z notation using CADiZ. 2nd International Workshop on User Interface Design for Theorem Proving Systems, July 1996."},{"key":"20_CR26","unstructured":"Ian Toyn. The CADiZ web site. \n                    http:\/\/www.cs.york.ac.uk\/~ian\/cadiz\/\n                    \n                  , 1999. The latest version of CADiZ and its documentation may be downloaded from this site."},{"key":"20_CR27","unstructured":"A. Vickers, P. Tongue and J. Smith. Complexity and its Management in Requirements Engineering. INCOSE UK Annual Symposium-Getting to Grips with Complexity, Coventry, UK, 1996."},{"key":"20_CR28","unstructured":"A.J. Vickers, J.E. Smith, P.J. Tongue and W. Lam. The ConCERT Approach to Requirements Specification-Version 2.0. Technical Report YUTC\/TR\/96.1 Rolls-Royce University Technology Centre, University of York, York, UK, YO10 5DD, November 1996."}],"container-title":["Lecture Notes in Computer Science","Product Focused Software Process Improvement"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44813-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T00:04:13Z","timestamp":1558483453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44813-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425717","9783540448136"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-44813-6_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"7 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}