{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T19:54:28Z","timestamp":1719258868891},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10462-007-9029-2","type":"journal-article","created":{"date-parts":[[2007,9,5]],"date-time":"2007-09-05T17:21:27Z","timestamp":1189012887000},"page":"285-297","source":"Crossref","is-referenced-by-count":6,"title":["A requirements-based programming approach to developing a NASA autonomous ground control system"],"prefix":"10.1007","volume":"25","author":[{"given":"James L.","family":"Rash","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael G.","family":"Hinchey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher A.","family":"Rouff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Gra\u010danin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Erickson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,6]]},"reference":[{"key":"9029_CR1","unstructured":"Bauer FL (1980) A trend for the next ten years of software engineering. In: Freeman H, Lewis PM (eds) Software Engineering. Academic Press, pp 1\u201323"},{"issue":"4","key":"9029_CR2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.391826","volume":"12","author":"JP Bowen","year":"1995","unstructured":"Bowen JP and Hinchey MG (1995). Seven more myths of formal methods. IEEE Software 12(4): 34\u201341","journal-title":"IEEE Software"},{"key":"9029_CR3","volume-title":"JavaTM language specification","author":"J Gosling","year":"2000","unstructured":"Gosling J, Joy B, Steele G and Bracha G (2000). JavaTM language specification. 2nd edn, Addison Wesley, Boston","edition":"2"},{"issue":"1","key":"9029_CR4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D Harel","year":"2001","unstructured":"Harel D (2001). From play-in scenarios to code: an achievable dream. IEEE Computer 34(1): 53\u201360","journal-title":"IEEE Computer"},{"key":"9029_CR5","unstructured":"Harel D (2004) 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"},{"key":"9029_CR6","volume-title":"Industrial-strength formal methods in practice, FACIT Series","year":"1999","unstructured":"Hinchey MG, Bowen JP (eds) (1999). Industrial-strength formal methods in practice, FACIT Series. Springer-Verlag, London, UK"},{"key":"9029_CR7","volume-title":"Concurrent systems: Formal development in CSP, International series in software engineering","author":"MG Hinchey","year":"1995","unstructured":"Hinchey MG and Jarvis SA (1995). Concurrent systems: Formal development in CSP, International series in software engineering. McGraw-Hill International, London, UK"},{"key":"9029_CR8","unstructured":"Hinchey MG, Rash JL, Rouff CA (2004) 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"},{"key":"9029_CR9","doi-asserted-by":"crossref","unstructured":"Hinchey MG, Rash JL, Rouff CA (2005a) A Formal Approach to Requirements-Based Programming. In: Proc. IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005). IEEE Computer Society Press, Los Alamitos, Calif","DOI":"10.1109\/ECBS.2005.7"},{"key":"9029_CR10","doi-asserted-by":"crossref","unstructured":"Hinchey MG, Rash JL, Rouff CA (2005b) 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), Proc. International Performance Computing and Communications Conference (IPCCC-05). Phoenix, Arizona, IEEE Computer Society Press, Los Alamitos, Calif","DOI":"10.1109\/PCCC.2005.1460610"},{"issue":"8","key":"9029_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978). Communicating sequential processes. Commun ACM 21(8): 666\u2013677","journal-title":"Commun ACM"},{"key":"9029_CR12","volume-title":"Communicating sequential processes, Prentice Hall International Series in Computer Science","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985). Communicating sequential processes, Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ"},{"key":"9029_CR13","volume-title":"MDA explained: the model driven architecture: practice and promise","author":"A Kleppe","year":"2003","unstructured":"Kleppe A, Warmer J and Bast W (2003). MDA explained: the model driven architecture: practice and promise. Addison-Wesley, Boston"},{"key":"9029_CR14","volume-title":"Concurrent programming in JavaTM: design principles and patterns, The JavaTM Series, 2nd edn","author":"D Lea","year":"2000","unstructured":"Lea D (2000). Concurrent programming in JavaTM: design principles and patterns, The JavaTM Series, 2nd edn. Addison-Wesley Professional, Reading, Massachusetts"},{"issue":"7","key":"9029_CR15","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1002\/spe.4380250705","volume":"25","author":"TJ Parr","year":"1995","unstructured":"Parr TJ and Quong RW (1995). ANTLR: A Predicated-LLk Parser Generator. Software practice and experience 25(7): 789\u2013810","journal-title":"Software practice and experience"},{"key":"9029_CR16","doi-asserted-by":"crossref","unstructured":"Rash JL, Hinchey MG, Rouff CA, Gra\u010danin D, Erickson JD (2005) Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system. In: Proc. IEEE Workshop on Engineering of Autonomic Systems (EASe 2005) held at the IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005). IEEE Computer Society Press, Los Alamitos, Calif","DOI":"10.1109\/ECBS.2005.37"},{"key":"9029_CR17","doi-asserted-by":"crossref","unstructured":"Rouff CA, Rash JL, Hinchey MG (2000) Experience using formal methods for specifying a multi-agent system. In: Proc. Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000). Tokyo, Japan, IEEE Computer Society Press, Los Alamitos, Calif","DOI":"10.1109\/ICECCS.2000.873929"},{"key":"9029_CR18","doi-asserted-by":"crossref","unstructured":"Rouff CA, Truszkowski WF, Hinchey MG, Rash JL (2004) 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). Brno, Czech Republic, IEEE Computer Society Press, Los Alamitos, Calif, pp 443\u2013448","DOI":"10.1109\/ECBS.2004.1316730"},{"key":"9029_CR19","unstructured":"Schneider S, Davies J, Jackson DM, Reed GM, Reed J, Roscoe AW (1991) Timed CSP: theory and practice. In: Proc. REX, Real-Time: Theory in Practice Workshop, Vol. 600 of LNCS. Springer-Verlag, pp 640\u2013675"},{"key":"9029_CR20","doi-asserted-by":"crossref","unstructured":"Smaragdakis Y, Huang SS, Zook D (2004) Program generators and the tools to make them. In: PEPM \u201904: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, pp 92\u2013100","DOI":"10.1145\/1014007.1014017"},{"key":"9029_CR21","doi-asserted-by":"crossref","unstructured":"Sterritt R, Hinchey MG (2005) Why computer based systems should be autonomic. In: Proc. 12th IEEE International Conference on Engineering of Computer Based Systems (ECBS 2005). Greenbelt, MD, pp 406\u2013414","DOI":"10.1109\/ECBS.2005.75"},{"key":"9029_CR22","doi-asserted-by":"crossref","unstructured":"Truszkowski WF, Hinchey MG, Rash JL, Rouff CA (2006) Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE transactions on systems, man and cybernetics, part C (to appear)","DOI":"10.1109\/TSMCC.2006.871600"},{"key":"9029_CR23","doi-asserted-by":"crossref","unstructured":"Truszkowski WF, Rash JL, Rouff CA, Hinchey MG (2004) 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). Brno, Czech Republic, Calif, IEEE Computer Society Press, Los Alamitos, pp 490\u2013498","DOI":"10.1109\/ECBS.2004.1316738"},{"key":"9029_CR24","volume-title":"JFC swing tutorial, the: a guide to constructing GUIs","author":"K Walrath","year":"2004","unstructured":"Walrath K, Campione M, Huml A and Zakhour S (2004). JFC swing tutorial, the: a guide to constructing GUIs. 2nd edn, Addison Wesley, Boston","edition":"2"},{"key":"9029_CR25","unstructured":"Welch PH, Aldous JR, Foster J (2002) CSP Networking for Java (JCSP.net). In: proceedings of the global and collaborative computing workshop (ICCS 2002), vol. 2330 of Lecture Notes in Computer Science. Springer-Verlag, pp 695\u2013708"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9029-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-007-9029-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9029-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:45:05Z","timestamp":1559151905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-007-9029-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["9029"],"URL":"https:\/\/doi.org\/10.1007\/s10462-007-9029-2","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}