{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T07:24:12Z","timestamp":1743492252229,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_6","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"30-43","source":"Crossref","is-referenced-by-count":16,"title":["Towards Agile Engineering of High-Integrity Systems"],"prefix":"10.1007","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Charalambous","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaocheng","family":"Ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip J.","family":"Brooke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"244","volume-title":"Proc. ICSE 2003","author":"P. Abrahamsson","year":"2003","unstructured":"Abrahamsson, P., Wasta, J., Siponen, M.T., Ronkainein, J.: New directions on Agile Methods. In: Dillon, L., Tichy, W. (eds.) Proc. ICSE 2003, pp. 244\u2013254. ACM Press, New York (2003)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Amey, P., Chapman, R.: Static verification and Extreme Programming. In: Sward, R. (ed.) Proc. SigADA 2004, pp. 4\u20139 (2004)","DOI":"10.1145\/992211.958422"},{"key":"6_CR3","volume-title":"Extreme Programming explained","author":"K. Beck","year":"2000","unstructured":"Beck, K.: Extreme Programming explained. Addison-Wesley, Reading (2000)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Beznosov, K., Kruchten, P.: Towards agile security assurance. In: Sekar, R., McHugh, J. (eds.) Proc. 2004 Workshop on New security paradigms, pp. 47\u201354 (2004)","DOI":"10.1145\/1065907.1066034"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/2.976920","volume":"35","author":"B. Boehm","year":"2002","unstructured":"Boehm, B.: Get Ready for Agile Methods, with Care. IEEE Computer\u00a035, 64\u201369 (2002)","journal-title":"IEEE Computer"},{"key":"6_CR6","volume-title":"Balancing agility and discipline","author":"B. Boehm","year":"2003","unstructured":"Boehm, B., Turner, R.: Balancing agility and discipline. Pearson, London (2003)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1137627.1137631","volume-title":"Proc. Workshop on Software engineering for secure systems","author":"G. Bostr\u00f6m","year":"2006","unstructured":"Bostr\u00f6m, G., W\u00e4yrynen, J., Bod\u00e9n, M., Beznosov, K., Kruchten, P.: Extending XP practices to support security requirements engineering. In: Bruschi, D., De Win, B. (eds.) Proc. Workshop on Software engineering for secure systems, ICSE 2006, pp.11\u201318. ACM Press, New York (2006)"},{"key":"6_CR8","unstructured":"Eckstein, J.: Agile Software Development in the Large. Dorset House (2004)"},{"key":"6_CR9","unstructured":"Galloway, A., Paige, R.F.: On the use of Agile Methods for High-Integrity Real-Time Systems, DARP Technical Report DARP-TR-2006-5 (2006)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-27777-4_25","volume-title":"Extreme Programming and Agile Methods - XP\/Agile Universe 2004","author":"J. Grenning","year":"2004","unstructured":"Grenning, J., Peeters, J., Behring, C.: Agile development for embedded software. In: Zannier, C., Erdogmus, H., Lindstrom, L. (eds.) XP\/Agile Universe 2004. LNCS, vol.\u00a03134, pp. 194\u2013195. Springer, Heidelberg (2004)"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1183088.1183090","volume":"3","author":"I. Habli","year":"2006","unstructured":"Habli, I., Kelly, T.: Process and product certification arguments. ACM SIGBED Review\u00a03(4), 1\u20138 (2006)","journal-title":"ACM SIGBED Review"},{"key":"6_CR12","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: Cant, T. (ed.) Proc. 8th Australian Workshop on Safety critical systems and software, pp. 37\u201346. Australian Computer Society (2003)"},{"key":"6_CR13","unstructured":"Kelly, T.P.: Arguing safety \u2013 A systematic approach to managing safety cases (PhD thesis), University of York (1998)"},{"key":"6_CR14","first-page":"378","volume-title":"Proc. ICSE 2004","author":"P. Manhart","year":"2004","unstructured":"Manhart, P., Schneider, K.: Breaking the ice for Agile Development of Embedded software: an industry experience report. In: Estublier, J., Rosenblum, D. (eds.) Proc. ICSE 2004, pp. 378\u2013386. ACM Press, New York (2004)"},{"key":"6_CR15","unstructured":"Manifesto for Agile Software Development (2007), http:\/\/agilemanifesto.org\/"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"1518","DOI":"10.1145\/1066677.1067019","volume-title":"Proc. SAC 2005","author":"R.F. Paige","year":"2005","unstructured":"Paige, R.F., Chivers, H., McDermid, J.A., Stephenson, Z.R.: High-Integrity Extreme Programming. In: Omicini, A. (ed.) Proc. SAC 2005, pp. 1518\u20131523. ACM Press, New York (2005)"},{"key":"6_CR17","unstructured":"Pumfrey, D.J.: The principled design of computer system safety analyses (PhD thesis), University of York (1999)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Robertson, S., Robertson, J.: Mastering the requirements process, AWL (2006)","DOI":"10.1049\/ic:20060178"},{"key":"6_CR19","unstructured":"Theunissen, W.H.M., Kourie, D.G., Watson, B.W.: Standards and agile software development. In: Eloff, J., et al. (eds.) Proc. Enablement through technology, vol.\u00a047, pp. 178\u2013188 (2003)"},{"key":"6_CR20","unstructured":"Wikipedia contributors, OODA Loop, Wikipedia, The Free Encyclopedia, http:\/\/en.wikipedia.org\/w\/index.php?title=OODA_Loop&oldid=154056152"},{"key":"6_CR21","unstructured":"Wils, A., Van Baelen, S.: Towards an Agile avionics process (2007), http:\/\/www.agile-itea.org\/public\/deliverables\/ITEA-AGILE-D2.12_v1.0.pdf"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:37:17Z","timestamp":1738370237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}