{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T18:00:14Z","timestamp":1720548014792},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2006,8,22]],"date-time":"2006-08-22T00:00:00Z","timestamp":1156204800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2006,10,27]]},"DOI":"10.1007\/s10009-006-0027-5","type":"journal-article","created":{"date-parts":[[2006,8,21]],"date-time":"2006-08-21T10:35:25Z","timestamp":1156156525000},"page":"587-603","source":"Crossref","is-referenced-by-count":18,"title":["Experiences applying formal approaches in the development of swarm-based space exploration systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Christopher A.","family":"Rouff","sequence":"first","affiliation":[]},{"given":"Michael G.","family":"Hinchey","sequence":"additional","affiliation":[]},{"given":"Walter F.","family":"Truszkowski","sequence":"additional","affiliation":[]},{"given":"James L.","family":"Rash","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,8,22]]},"reference":[{"key":"27_CR1","unstructured":"Beni, G. The concept of cellular robotics. In: Proceedings of 1988 IEEE International Symposium on Intelligent Control, pp. 57\u201362. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"27_CR2","unstructured":"Beni, G., Want, J. Swarm intelligence. In: Proceedings of 7th Annual Meeting of the Robotics Society of Japan, pp. 425\u2013428. RSJ Press, Tokyo (1989)"},{"key":"27_CR3","unstructured":"Blackburn, M., Busser, R., Nauman, A., Knickerbocker, R., Kasuda, R. Mars polar lander fault identification using model-based testing. In: Proceedings of the 26th Annual IEEE\/NASA Software Engineering Workshop (SEW). Greenbelt (2001)"},{"key":"27_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195131581.001.0001","volume-title":"Swarm Intelligence: from Natural to Artificial Systems","author":"E. Bonabeau","year":"1999","unstructured":"Bonabeau E., Dorigo M., Th\u00e9raulaz G. (1999) Swarm Intelligence: from Natural to Artificial Systems. Oxford University Press, New York"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Bonabeau, E., Th\u00e9raulaz, G. Swarm smarts. Scientific American, pp. 72\u201379 (2000)","DOI":"10.1038\/scientificamerican0300-72"},{"key":"27_CR6","doi-asserted-by":"crossref","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. (1997) Self-organization in social insects. Trends Ecol. Evol. 12, 188\u2013193","journal-title":"Trends Ecol. Evol."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Brueckner, S., Parunak, H.V.D. Resource-aware exploration of the emergent dynamics of simulated systems. In: Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS), pp. 781\u2013788 (2003)","DOI":"10.1145\/860575.860701"},{"key":"27_CR8","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":"27_CR9","doi-asserted-by":"crossref","unstructured":"Carlson, S. Artificial life: Boids of a feather flock together. Scientific American (2000)","DOI":"10.1038\/scientificamerican1100-112"},{"key":"27_CR10","unstructured":"Casani, J., Whetsler, C., Albee, A., Battel, S., Brace, R., Burdick, G., Burr, P., Dippoey, D., Lavell, J., Leising, C., MacPherson, D., Menard, W., Rose, R., Sackheim, R., Schallenmuller, A.: Report on the loss of the mars polar lander and deep space 2 missions. Tech. Rep. JPL D-18709, Jet Propulsion Laboratory, California Institute of Technology (2000)"},{"key":"27_CR11","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy K.M., Misra J. (1988) Parallel Program Design: A Foundation. Addison-Wesley, Reading"},{"key":"27_CR12","unstructured":"Clark, P.E., Curtis, S.A., Rilee, M.L. ANTS: Applying a new paradigm to Lunar and planetary exploration. In: Proceedings of Solar System Remote Sensing Symposium. Pittsburgh, Pennsylvania (2002)"},{"key":"27_CR13","unstructured":"Curtis, S.A., Mica, J., Nuth, J., Marr, G., Rilee, M.L., Bhat, M.K. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to Asteroid Belt resource exploration. In: Proceedings of International Astronautical Federation, 51st Congress (2000)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Curtis, S.A., Truszkowski, W.F., Rilee, M.L., Clark, P.E. ANTS for the human exploration and development of space. In: Proceedings of IEEE Aerospace Conference. Big Sky, Montana (2003)","DOI":"10.1109\/AERO.2003.1235057"},{"key":"27_CR15","volume-title":"Categories for Software Engineering","author":"J.L. Fiadeiro","year":"2004","unstructured":"Fiadeiro J.L. (2004) Categories for Software Engineering. Springer, London"},{"key":"27_CR16","unstructured":"Hiebeler, D.E. The swarm simulation system and individual-based modeling. In: Proceedings of Decision Support 2001: Advanced Technology for Natural Resource Management. Toronto, Canada (1994)"},{"key":"27_CR17","unstructured":"Hinchey, M., Rash, J., Rouff, C. Verification and validation of autonomous systems. In: Proceedings of SEW-26, 26th Annual NASA\/IEEE Software Engineering Workshop. NASA Goddard Space Flight Center, IEEE Computer Society Press, Los Alamitos, Calif., Greenbelt, MD, pp. 136\u2013144 (2001)"},{"key":"27_CR18","volume-title":"Industrial-Strength Formal Methods in Practice. FACIT Series","year":"1999","unstructured":"Hinchey M.G., Bowen J.P. ed. (1999). Industrial-Strength Formal Methods in Practice. FACIT Series. Springer, London, UK URL http:\/\/www.springer.co.uk"},{"key":"27_CR19","volume-title":"Concurrent systems: formal development in CSP","author":"M.G. Hinchey","year":"1995","unstructured":"Hinchey M.G., Jarvis S.A. (1995) Concurrent systems: formal development in CSP. International Series in Software Engineering. McGraw-Hill, London"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Hinchey, M.G., Rash, J.L., Rouff, C.A. Towards an automated development methodology for dependable systems with application to sensor networks. In: Proceedings of IEEE Workshop on Information Assurance in Wireless Sensor Networks (WSNIA 2005), Proceedings of International Performance Computing and Communications Conference (IPCCC-05). IEEE Computer Society Press, Los Alamitos, Calif., Phoenix (2005)","DOI":"10.1109\/PCCC.2005.1460610"},{"key":"27_CR21","volume-title":"Communicating Sequential Processes. Prentice Hall International Series in Computer Science","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R. (1985) Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs"},{"key":"27_CR22","volume-title":"Mathematical models of cell biochemistry","author":"W.M.L. Holcombe","year":"1986","unstructured":"Holcombe W.M.L. (1986) Mathematical models of cell biochemistry. Tech. Rep. CS-86-4, Sheffield University, UK"},{"key":"27_CR23","unstructured":"Holcombe, W.M.L. Towards a formal description of intracellular biochemical organization. Tech. Rep. CS-86-1, Sheffield University (1986)"},{"issue":"2","key":"27_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1049\/sej.1988.0009","volume":"3","author":"W.M.L. Holcombe","year":"1988","unstructured":"Holcombe W.M.L. (1988) X-Machines as a basis for system specification. Softw. Eng. 3(2): 69\u201376","journal-title":"Softw. Eng."},{"key":"27_CR25","unstructured":"Horn, P. Autonomic computing: IBM\u2019s perspective on the state of information technology. Tech. rep., IBM T. J. Watson Laboratory (15 October 2001). http:\/\/www.research.ibm.com\/autonomic\/"},{"key":"27_CR26","unstructured":"Kiniry, J.R. The specification of dynamic distributed component systems. Master\u2019s Thesis, California Institute of Technology (1998)"},{"key":"27_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4641-2","volume-title":"Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming","author":"F. Luna","year":"2000","unstructured":"Luna F., Stefansson B. (2000) Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming. Kluwer, Dordrecht"},{"key":"27_CR28","unstructured":"Nayak, P.P., Bernard, D.E., Dorais, G., Jr., E.B.G., Kanefsky, B., Kurien, J., Millar, W., Muscettola, N., Rajan, K., Rouquette, N., Smith, B.D., Taylor, W., wen Tung, Y. Validating the DS1 remote agent experiment. In: Proceedings of the 5th International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-99) (1999)"},{"key":"27_CR29","unstructured":"Parunak, H.V.D., Vanderbok, R. Managing emergent behaviour in distributed control systems. In: Proceedings of ISA-Tech\u201997. Anaheim (1997)"},{"issue":"4","key":"27_CR30","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/37402.37406","volume":"21","author":"C.W. Reynolds","year":"1987","unstructured":"Reynolds C.W. (1987) Flocks, herds, and schools: a distributed behavioral model. Comput. Graph. 21(4): 25\u201334","journal-title":"Comput. Graph."},{"key":"27_CR31","doi-asserted-by":"crossref","unstructured":"Rouff, C., Rash, J., Hinchey, M., Truszkwoski, W. Formal methods at NASA Goddard Space Flight Center. In: Agent Technology from a Formal Perspective, NASA Monographs in Systems and Software Engineering, pp. 287\u2013310. Springer, London (2005)","DOI":"10.1007\/1-84628-271-3_10"},{"key":"27_CR32","unstructured":"Rouff, C., Vanderbilt, A., Hinchey, M., Truszkowski, W., Rash, J. Formal methods for swarm and autonomic systems. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA). Cyprus (2004)"},{"key":"27_CR33","doi-asserted-by":"crossref","unstructured":"Rouff, C.A., Rash, J.L., Hinchey, M.G. Experience using formal methods for specifying a multi-agent system. In: Proceedings of Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000). IEEE Computer Society Press, Los Alamitos, Tokyo (2000)","DOI":"10.1109\/ICECCS.2000.873929"},{"key":"27_CR34","doi-asserted-by":"crossref","unstructured":"Rouff, C.A., Truszkowski, W.F., Hinchey, M.G., Rash, J.L. Verification of emergent behaviors in swarm based systems. In: Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pp. 443\u2013448. IEEE Computer Society Press, Los Alamitos (2004)","DOI":"10.1109\/ECBS.2004.1316730"},{"key":"27_CR35","doi-asserted-by":"crossref","unstructured":"Rouff, C.A., Truszkowski, W.F., Hinchey, M.G., Rash, J.L. Verification of NASA emergent systems. In: Proceedings of 9th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, Los Alamitos (2004)","DOI":"10.1109\/ICECCS.2004.1310922"},{"key":"27_CR36","volume-title":"A survey of formal methods for intelligent swarms","author":"C.A. Rouff","year":"2005","unstructured":"Rouff C.A., Truszkowski W.F., Rash J.L., Hinchey M.G. (2005) A survey of formal methods for intelligent swarms. Tech. Rep. TM-2005-212779, NASA Goddard Space Flight Center, Greenbelt"},{"key":"27_CR37","unstructured":"Savage, M., Askenazi, M. Arborscapes: a swarm-based multi-agent ecological disturbance model. Working paper 98-06-056, Santa Fe Institute, Santa Fe (1998)"},{"issue":"1","key":"27_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00018-1","volume":"110","author":"O. Shehory","year":"1999","unstructured":"Shehory O., Kraus S., Yadgar O. (1999) Emergent cooperative goal-satisfaction in large-scale automated-agent systems. Artif. Intell. 110(1): 1\u201355","journal-title":"Artif. Intell."},{"key":"27_CR39","doi-asserted-by":"crossref","unstructured":"Spears, W.M., Gordon, D.F. Using artificial physics to control agents. In: Proceedings of IEEE International Conference on Information, Intelligence, and Systems. Charlotte, North Carolina (1999)","DOI":"10.1109\/ICIIS.1999.810278"},{"key":"27_CR40","unstructured":"Sterritt, R., Hinchey, M.G. SPAACE : Self-properties for an autonomous and autonomic computing environment. In: Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP\u201905), pp. 9\u201315. CSREA Press, Las Vegas, Nevada (2005)"},{"key":"27_CR41","doi-asserted-by":"crossref","unstructured":"Sterritt, R., Hinchey, M.G. Apoptosis and self-destruct: A contribution to autonomic agents? In: Proceedings of FAABS-III, 3rd NASA\/IEEE Workshop on Formal Approaches to Agent-Based Systems, pp. 269\u2013278. Springer, Berlin Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-30960-4_18"},{"key":"27_CR42","unstructured":"Sterritt, R., Rouff, C.A., Rash, J.L., Truszkowski, W.F., Hinchey, M.G. Self-*properties in NASA missions. In: 4th International Workshop on System\/Software Architectures (IWSSA\u201905) in Proceedings of 2005 International Conference on Software Engineering Research and Practice (SERP\u201905), pp. 66\u201372. CSREA Press, Las Vegas, Nevada (2005)"},{"issue":"5","key":"27_CR43","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J.T. Sumpter","year":"2001","unstructured":"Sumpter D.J.T., Blanchard G.B., Broomhead D.S. (2001) Ants and agents: a process algebra approach to modelling ant colony behaviour. Bull. Math. Biol. 63(5): 951\u2013980","journal-title":"Bull. Math. Biol."},{"key":"27_CR44","unstructured":"Tofts, C. Describing social insect behavior using process algebra. Transactions of the Society for Computer Simulation, pp. 227\u2013283 (1991)"},{"issue":"5","key":"27_CR45","doi-asserted-by":"crossref","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. (2004) NASA\u2019s swarm missions: The challenge of building autonomous software. IEEE IT Prof. 6(5): 47\u201352","journal-title":"IEEE IT Prof."},{"issue":"3","key":"27_CR46","doi-asserted-by":"crossref","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. (2006) Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. C 36(3): 279\u2013291","journal-title":"IEEE Trans. Syst. Man Cybern. C"},{"key":"27_CR47","volume-title":"Theory of Self-Reproducing Automata","author":"J. von Neumann","year":"1996","unstructured":"von Neumann J. (1996) Theory of Self-Reproducing Automata. University of Illinois Press, Urbana"},{"key":"27_CR48","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","year":"1999","unstructured":"Weiss G. ed. (1999) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0027-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-006-0027-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0027-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T14:58:46Z","timestamp":1627743526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-006-0027-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,22]]},"references-count":48,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,10,27]]}},"alternative-id":["27"],"URL":"https:\/\/doi.org\/10.1007\/s10009-006-0027-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,8,22]]}}}