{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:50:28Z","timestamp":1725648628911},"publisher-location":"London","reference-count":49,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447122968"},{"type":"electronic","value":"9781447122975"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-1-4471-2297-5_7","type":"book-chapter","created":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T10:43:43Z","timestamp":1325414623000},"page":"159-176","source":"Crossref","is-referenced-by-count":1,"title":["You Can\u2019t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems"],"prefix":"10.1007","author":[{"given":"Mike","family":"Hinchey","sequence":"first","affiliation":[]},{"given":"James L.","family":"Rash","sequence":"additional","affiliation":[]},{"given":"Walter F.","family":"Truszkowski","sequence":"additional","affiliation":[]},{"given":"Christopher A.","family":"Rouff","sequence":"additional","affiliation":[]},{"given":"Roy","family":"Sterritt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"LNAI","volume-title":"Proc. First International Workshop on Formal Approaches to Agent-Based Systems (FAABS I)","author":"I. Bakam","year":"2000","unstructured":"Bakam, I., Kordon, F., Page, C.L., Bousquet, F.: Formalization of a spatialized multiagent model using Coloured Petri Nets for the study of an hunting management system. In: Proc. First International Workshop on Formal Approaches to Agent-Based Systems (FAABS I). LNAI, vol.\u00a01871. Springer, Greenbelt (2000)"},{"key":"7_CR2","first-page":"1","volume-title":"Software Engineering","author":"F.L. Bauer","year":"1980","unstructured":"Bauer, F.L.: A trend for the next ten years of software engineering. In: Freeman, H., Lewis, P.M. (eds.) Software Engineering, pp.\u00a01\u201323. Academic Press, New York (1980)"},{"key":"7_CR3","first-page":"425","volume-title":"Seventh Annual Meeting of the Robotics Society of Japan","author":"G. Beni","year":"1989","unstructured":"Beni, G., Want, J.: Swarm intelligence. In: Seventh Annual Meeting of the Robotics Society of Japan, Tokyo, Japan, pp.\u00a0425\u2013428. RSJ Press, Germering (1989)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/S0169-5347(97)01048-3","volume":"12","author":"E. Bonabeau","year":"1997","unstructured":"Bonabeau, E., Th\u00e9raulaz, G., Deneubourg, J.-L., Aron, S., Camazine, S.: Self-organization in social insects. Trends Ecol. Evol. 12, 188\u2013193 (1997)","journal-title":"Trends Ecol. Evol."},{"key":"7_CR5","volume-title":"Proc. DIMAS-95","author":"L. Bonnet","year":"1995","unstructured":"Bonnet, L., Florin, G., Duchien, L., Seinturier, L.: A method for specifying and proving distributed cooperative algorithms. In: Proc. DIMAS-95 (1995)"},{"key":"7_CR6","series-title":"FACIT Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3431-2","volume-title":"High-integrity System Specification and Design","author":"J.P. Bowen","year":"1999","unstructured":"Bowen, J.P., Hinchey, M.G.: High-integrity System Specification and Design. FACIT Series. Springer, London (1999)"},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks Jr.","year":"1987","unstructured":"Brooks, Jr., F.P.: No silver bullet: essence and accidents of software engineering. IEEE Comput. 20(4), 10\u201319 (1987)","journal-title":"IEEE Comput."},{"key":"7_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BFb0053584","volume-title":"Proc. International Conference on Fundamental Approaches to Software Engineering","author":"R. B\u00fcssow","year":"1998","unstructured":"B\u00fcssow, R., Geisler, R., Klar, M.: Specifying safety-critical embedded systems with statecharts and Z: a case study. In: Astesiano, E. (ed.) Proc. International Conference on Fundamental Approaches to Software Engineering. LNCS, vol.\u00a01382, pp.\u00a071\u201387. Springer, Berlin (1998)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Butler, M.J.: Csp2b: a practical approach to combining Csp and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton (1999)","DOI":"10.1007\/3-540-48119-2_28"},{"key":"7_CR10","series-title":"IBM Press Series on Information Management","volume-title":"On Demand Computing","author":"C. Fellenstein","year":"2005","unstructured":"Fellenstein, C.: On Demand Computing. IBM Press Series on Information Management. Prentice Hall, Upper Saddle River (2005)"},{"key":"7_CR11","unstructured":"Fischer, C.: Combination and implementation of processes and data: from CSP-OZ to Java. Ph.D. thesis, Universit\u00e4t Oldenburg, Germany (2000)"},{"key":"7_CR12","volume-title":"Failures-Divergences Refinement: User Manual and Tutorial","author":"Formal Systems (Europe), Ltd.","year":"1999","unstructured":"Formal Systems (Europe), Ltd.: Failures-Divergences Refinement: User Manual and Tutorial. (1999)"},{"key":"7_CR13","volume-title":"Proc. Workshop on Specifying and Implementing Conversation Policies, Third International Conference on Autonomous Agents (Agents \u201999)","author":"A.K. Gala","year":"1999","unstructured":"Gala, A.K., Baker, A.D.: Multi-agent communication in JAFMAS. In: Proc. Workshop on Specifying and Implementing Conversation Policies, Third International Conference on Autonomous Agents (Agents \u201999), Seattle, Washington (1999)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1109\/ICFEM.1997.630434","volume-title":"Proc. IEEE International Conference on Formal Engineering Methods (ICFEM-97)","author":"A.J. Galloway","year":"1997","unstructured":"Galloway, A.J., Stoddart, W.J.: An operational semantics for ZCCS. In: Hinchey, M., Liu, S. (eds.) Proc. IEEE International Conference on Formal Engineering Methods (ICFEM-97), pp.\u00a0272\u2013282. IEEE Comput. Soc., Los Alamitos (1997)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1147\/sj.421.0005","volume":"42","author":"A.G. Ganek","year":"2003","unstructured":"Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Syst. J. 42(1), 5\u201318 (2003)","journal-title":"IBM Syst. J."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Gray, J.N.: What next? A few remaining problems in information technology. Turing Award Lecture (ACM FCRC) (1999)","DOI":"10.1145\/1283920.2159561"},{"key":"7_CR17","volume-title":"Proc. High Dependability Computing Consortium Workshop","author":"J.N. Gray","year":"2001","unstructured":"Gray, J.N.: Dependability in the Internet era. In: Proc. High Dependability Computing Consortium Workshop, Santa Cruz, California (2001)"},{"issue":"5","key":"7_CR18","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. Commun. ACM 31(5), 514\u2013530 (1988)","journal-title":"Commun. ACM"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.108047","volume":"25","author":"D. Harel","year":"1992","unstructured":"Harel, D.: Biting the silver bullet: toward a brighter future for system development. IEEE Comput. 25(1), 8\u201320 (1992)","journal-title":"IEEE Comput."},{"key":"7_CR20","unstructured":"Harel, D.: Comments made during presentation at \u201cFormal Approaches to Complex Software Systems\u201d panel session. ISoLA-04 First International Conference on Leveraging Applications of Formal Methods (2004)"},{"key":"7_CR21","series-title":"International Series in Software Engineering","volume-title":"Concurrent Systems: Formal Development in Csp","author":"M.G. Hinchey","year":"1995","unstructured":"Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in Csp. International Series in Software Engineering. McGraw-Hill International, London (1995)"},{"key":"7_CR22","unstructured":"Hinchey, M.G., Rash, J.L., Rouff, C.A.: Requirements to design to code: towards a fully formal approach to automatic code generation. Technical report TM-2005-212774, NASA Goddard Space Flight Center, Greenbelt, MD, USA (2004)"},{"key":"7_CR23","volume-title":"Proc. IEEE Workshop on Information Assurance in Wireless Sensor Networks (WSNIA 2005)","author":"M.G. Hinchey","year":"2005","unstructured":"Hinchey, M.G., Rash, J.L., Rouff, C.A.: Towards an automated development methodology for dependable systems with application to sensor networks. In: Proc. IEEE Workshop on Information Assurance in Wireless Sensor Networks (WSNIA 2005). IEEE Comput. Soc., Los Alamitos (2005). Proc. International Performance Computing and Communications Conference (IPCCC-05) (Reprinted in Proc. Real Time in Sweden 2005 (RTiS2005), the 8th Biennial SNART Conference on Real-time Systems, 2005)"},{"issue":"8","key":"7_CR24","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"7_CR25","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)"},{"key":"7_CR26","unstructured":"Horn, P.: Autonomic computing: IBM\u2019s perspective on the state of information technology. Presented at agenda 2001, Scotsdale, Arizona, 2001, IBM T. J. Watson Laboratory (October 15, 2001)"},{"key":"7_CR27","first-page":"149","volume-title":"Capitalizing on New Needs and New Opportunities: Government\u2014Industry Partnerships in Biotechnology and Information Technologies (2001) Board on Science, Technology, and Economic Policy (STEP)","author":"P.M. Horn","year":"2001","unstructured":"Horn, P.M.: Meeting the needs, realizing the opportunities. In: Wessner, C.W. (ed.) Capitalizing on New Needs and New Opportunities: Government\u2014Industry Partnerships in Biotechnology and Information Technologies (2001) Board on Science, Technology, and Economic Policy (STEP), pp.\u00a0149\u2013152. The National Academies Press, Washington (2001)"},{"key":"7_CR28","unstructured":"IFAD: The VDM++ toolbox user manual. Technical report, IFAD (2000)"},{"key":"7_CR29","unstructured":"JPL Special Review Board: Report on the Loss of the Mars Polar Lander and Deep Space 2 missions, Pasadena, California, USA (2000)"},{"key":"7_CR30","series-title":"Advances in Formal Methods Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4449-4","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.: Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic, Boston (2000)"},{"key":"7_CR31","doi-asserted-by":"crossref","DOI":"10.1142\/p006","volume-title":"Specification in B: An Introduction Using the B-toolkit","author":"K. Lano","year":"1996","unstructured":"Lano, K., Haughton, H.: Specification in B: An Introduction Using the B-toolkit. Imperial College Press, London (1996)"},{"issue":"6","key":"7_CR32","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/508448.508467","volume":"45","author":"H.W. Lawson","year":"2002","unstructured":"Lawson, H.W.: Rebirth of the computer industry. Commun. ACM 45(6), 25\u201329 (2002)","journal-title":"Commun. ACM"},{"key":"7_CR33","first-page":"515","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Medical devices: the Therac-25 story. In: Safeware: System Safety and Computers, pp. 515\u2013553. Addison-Wesley, Reading (1995)"},{"key":"7_CR34","unstructured":"Lions, J.L.: ARIANE 5: Flight 501 failure, report by the inquiry board (1996)"},{"key":"7_CR35","unstructured":"The MathWorks, Inc., Natick, Massachusettes: Getting Started with MATLAB (2000)"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: Software aspects for strategic defense systems. American Scientist (1985)","DOI":"10.1145\/382288.382289"},{"key":"7_CR37","series-title":"International Series in Computer Science","first-page":"17","volume-title":"Applications of Formal Methods","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L.: Using mathematical models in the inspection of critical software. In: Applications of Formal Methods. International Series in Computer Science, pp.\u00a017\u201331. Prentice Hall, Englewood Cliffs (1995)"},{"key":"7_CR38","volume-title":"Proc. High Performance Transaction Systems Workshop (HPTS)","author":"D. Patterson","year":"2001","unstructured":"Patterson, D., Brown, A.: Recovery-oriented computing (Keynote talk). In: Proc. High Performance Transaction Systems Workshop (HPTS) (2001)"},{"key":"7_CR39","volume-title":"Proc. International Conference on Engineering of Complex Computer Systems","author":"J.L. Rash","year":"2005","unstructured":"Rash, J.L., Hinchey, M.G., Rouff, C.A., Gra\u010danin, D.: Formal requirements-based programming for complex systems. In: Proc. International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, Shanghai (2005)"},{"key":"7_CR40","volume-title":"Proc. International Conference on Integrated Design and Process Technology (IDPT 2005)","author":"J.L. Rash","year":"2005","unstructured":"Rash, J.L., Hinchey, M.G., Rouff, C.A., Gra\u010danin, D., Erickson, J.D.: A\u00a0tool for requirements-based programming. In: Proc. International Conference on Integrated Design and Process Technology (IDPT 2005). The Society for Design and Process Science, Beijing (2005)"},{"key":"7_CR41","unstructured":"Rouff, C.A., Truszkowski, W.F., Rash, J.L., Hinchey, M.G.: A\u00a0survey of formal methods for intelligent swarms. Technical report TM-2005-212779, NASA Goddard Space Flight Center, Greenbelt, Maryland (2005)"},{"key":"7_CR42","series-title":"LNCS","first-page":"239","volume-title":"Proc. 9th International Conference of Z Users","author":"J. Rushby","year":"1995","unstructured":"Rushby, J.: Remarks, panel session on the future of formal methods in industry. In: Bowen, J.P., Hinchey, M.G. (eds.) Proc. 9th International Conference of Z Users. LNCS, vol.\u00a0967, pp.\u00a0239\u2013241. Springer, Limerick (1995)"},{"key":"7_CR43","first-page":"40","volume-title":"27th Ann. IEEE\/NASA Software Engineering Workshop (SEW), MD, USA","author":"R. Sterritt","year":"2002","unstructured":"Sterritt, R.: Towards autonomic computing: effective event management. In: 27th Ann. IEEE\/NASA Software Engineering Workshop (SEW), MD, USA, pp.\u00a040\u201347. IEEE Comput. Soc., Los Alamitos (2002)"},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Sterritt, R.: Autonomic computing. Innovations in Systems and Software Engineering: a NASA Journal 1(1) (2005)","DOI":"10.1007\/s11334-005-0001-5"},{"key":"7_CR45","first-page":"247","volume-title":"IEEE Int. Conf. Engineering of Computer Based Systems (ECBS\u201903)","author":"R. Sterritt","year":"2003","unstructured":"Sterritt, R., Bustard, D.W.: Autonomic computing: a means of achieving dependability? In: IEEE Int. Conf. Engineering of Computer Based Systems (ECBS\u201903), Huntsville, AL, USA, pp.\u00a0247\u2013251 (2003)"},{"key":"7_CR46","first-page":"406","volume-title":"Proc. 12th IEEE International Conference on Engineering of Computer Based Systems (ECBS 2005)","author":"R. Sterritt","year":"2005","unstructured":"Sterritt, R., Hinchey, M.G.: Why computer based systems Should be autonomic. In: Proc. 12th IEEE International Conference on Engineering of Computer Based Systems (ECBS 2005), Greenbelt, MD, pp.\u00a0406\u2013414 (2005)"},{"issue":"5","key":"7_CR47","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MITP.2004.66","volume":"6","author":"W. Truszkowski","year":"2004","unstructured":"Truszkowski, W., Hinchey, M., Rash, J., Rouff, C.: NASA\u2019s swarm missions: the challenge of building autonomous software. IT Prof. 6(5), 47\u201352 (2004)","journal-title":"IT Prof."},{"issue":"3","key":"7_CR48","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSMCC.2006.871600","volume":"36","author":"W.F. Truszkowski","year":"2006","unstructured":"Truszkowski, W.F., Hinchey, M.G., Rash, J.L., Rouff, C.A.: Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern., Part C, Appl. Rev. 36(3), 279\u2013291 (2006)","journal-title":"IEEE Trans. Syst. Man Cybern., Part C, Appl. Rev."},{"key":"7_CR49","first-page":"490","volume-title":"Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe)","author":"W.F. Truszkowski","year":"2004","unstructured":"Truszkowski, W.F., Rash, J.L., Rouff, C.A., Hinchey, M.G.: Some autonomic properties of two legacy multi-agent systems\u2014LOGOS and ACT. In: Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pp.\u00a0490\u2013498. IEEE Comput. Soc., Los Alamitos (2004)"}],"container-title":["Conquering Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2297-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T22:36:10Z","timestamp":1713306970000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-2297-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9781447122968","9781447122975"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_7","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}