{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:46Z","timestamp":1725516526816},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_43","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"403-412","source":"Crossref","is-referenced-by-count":0,"title":["Some Verification Issues at NASA Goddard Space Flight Center"],"prefix":"10.1007","author":[{"given":"Michael G.","family":"Hinchey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James L.","family":"Rash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher A.","family":"Rouff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd. (1999)"},{"key":"43_CR2","volume-title":"Proc. FMICS 2005, 10th International Workshop on Formal Methods for Indutrial Critical Systems","author":"J.P. Bowen","year":"2005","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments revisited: A ten year perspective on the industrial application of formal methods. In: Proc. FMICS 2005, 10th International Workshop on Formal Methods for Indutrial Critical Systems, Lisbon, Portugal, September 5 \u2013 6, 2005, ACM Press, New York (2005)"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Butler, M.J.: csp2B: A Practical Approach To Combining CSP and B. In: Declarative Systems and Software Engineering Group, University of Southampton (February 1999)","DOI":"10.1007\/3-540-48119-2_28"},{"issue":"1","key":"43_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D. Harel","year":"2001","unstructured":"Harel, D.: From play-in scenarios to code: An achievable dream. IEEE Computer\u00a034(1), 53\u201360 (2001)","journal-title":"IEEE Computer"},{"key":"43_CR5","unstructured":"Harel, D.: Comments made during presentation at \u201cFormal Approaches to Complex Software Systems\u201d panel session. In: ISoLA 2004 First International Conference on Leveraging Applications of Formal Methods, Paphos, Cyprus, October 31 (2004)"},{"key":"43_CR6","volume-title":"International Series in Software Engineering","author":"M.G. Hinchey","year":"1995","unstructured":"Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP. In: International Series in Software Engineering, McGraw-Hill International, London, UK (1995)"},{"key":"43_CR7","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":"43_CR8","volume-title":"Proc. IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005)","author":"M.G. Hinchey","year":"2005","unstructured":"Hinchey, M.G., Rash, J.L., Rouff, C.A.: A formal approach to requirements-based programming. In: Proc. IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), April 3\u20138, 2005, IEEE Computer Society Press, Los Alamitos, Calif (2005)"},{"issue":"2","key":"43_CR9","first-page":"246","volume":"29","author":"M.G. Hinchey","year":"2006","unstructured":"Hinchey, M.G., Rash, J.L., Rouff, C.A., Gra\u010danin, D.: Achieving dependability in sensor networks through automated requirements-based programming. Journal of Computer Communications, Special Issue on\u201cDependable Wireless Sensor Network\u201d\u00a029(2), 246\u2013256 (2006)","journal-title":"Journal of Computer Communications, Special Issue on\u201cDependable Wireless Sensor Network\u201d"},{"key":"43_CR10","volume-title":"Proc. FMICS 2005, 10th International Workshop on Formal Methods for Industrial Critical Systems","author":"M.G. Hinchey","year":"2005","unstructured":"Hinchey, M.G., Rash, J.L., Rouff, C.A., Truszkowski, W.F.: Requirements of an integrated formal method for intelligent swarms. In: Proc. FMICS 2005, 10th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, September 5\u20136, 2005, ACM Press, New York (2005)"},{"key":"43_CR11","unstructured":"Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Sterrit, R.: Autonomous and autonomic swarms. In: Proc. The 2005 International Conference on Software Engineering Research and Practice (SERP 2005), Las Vegas, Nevada, USA, June 27, pp. 36\u201342. CSREA Press (2005)"},{"key":"43_CR12","unstructured":"Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Sterritt, R.: You can\u2019t get there from here! Problems and potential solutions in developing new classes of complex systems. In: Proc. Eighth International Conference on Integrated Design and Process Technology (IDPT), Beijing, China, June 13\u201317, The Society for Design and Process Science (2005)"},{"issue":"8","key":"43_CR13","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. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"43_CR14","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 International, Englewood Cliffs, NJ (1985)"},{"key":"43_CR15","series-title":"Advances in Formal Methods Series","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston (2000)"},{"key":"43_CR16","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, Shanghai, China, June 16\u201320, 2005, IEEE Computer Society Press, Los Alamitos, Calif (2005)"},{"key":"43_CR17","volume-title":"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)","author":"J.L. Rash","year":"2005","unstructured":"Rash, J.L., Hinchey, M.G., Rouff, C.A., Gra\u010danin, D., Erickson, J.D.: 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), April 3\u20138, 2005, IEEE Computer Society Press, Los Alamitos, Calif (2005)"},{"key":"43_CR18","unstructured":"Rouff, C., Vanderbilt, A., Hinchey, M., Truszkowski, W., Rash, J.: Formal methods for swarm and autonomic systems. In: Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), Cyprus, October 30\u2013November 2 (2004)"},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"Rouff, C., Vanderbilt, A., Hinchey, M., Truszkowski, W., Rash, J.: Properties of a formal method for prediction of emergent behaviors in swarm-based systems. In: Proc. 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, China (September 2004)","DOI":"10.1109\/SEFM.2004.1347500"},{"key":"43_CR20","unstructured":"Rouff, C.A., Truszkowski, W.F., Rash, J.L., Hinchey, M.G.: A survey of formal methods for intelligent swarms. Technical Report TM-2005-212779, NASA Goddard Space Flight Center, Greenbelt, Maryland (2005)"},{"key":"43_CR21","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 2005) in Proc. 2005 International Conference on Software Engineering Research and Practice (SERP 2005), Las Vegas, Nevada, USA, June 27, pp. 66\u201372. CSREA Press (2005)"},{"issue":"5","key":"43_CR22","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. IEEE IT Professional\u00a06(5), 47\u201352 (2004)","journal-title":"IEEE IT Professional"},{"issue":"3","key":"43_CR23","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 Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews\u00a036(3), 279\u2013291 (2006)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews"},{"key":"43_CR24","volume-title":"The REDO Compendium: Reverse Engineering for Software Maintenance","author":"H.J. Zuylen van","year":"1993","unstructured":"van Zuylen, H.J.: The REDO Compendium: Reverse Engineering for Software Maintenance. John Wiley and Sons, London, UK (1993)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T03:44:24Z","timestamp":1557719064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}