{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T01:40:02Z","timestamp":1738892402911,"version":"3.37.0"},"reference-count":49,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/imcsit.2008.4747311","type":"proceedings-article","created":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T15:30:21Z","timestamp":1232119821000},"page":"639-647","source":"Crossref","is-referenced-by-count":0,"title":["You Can't Get There From Here! Problems and Potential Solutions in Developing New Classes of Complex Computer Systems"],"prefix":"10.1109","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":"Walter F.","family":"Truszkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Sterritt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher A.","family":"Rouff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Getting Started With Matlab","article-title":"the mathworks, inc., natick, massachusettes","year":"2000","key":"35"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/214956.214961"},{"key":"33","first-page":"515","article-title":"medical devices: the therac-25 story","author":"leveson","year":"1995","journal-title":"Safeware System Safety and Computers"},{"journal-title":"Report By the Inquiry Board","year":"1996","author":"lyons","key":"34"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.47"},{"key":"37","first-page":"17","article-title":"using mathematical models in the inspection of critical software","author":"parnas","year":"1995","journal-title":"Applications of Formal Methods International Series in Computer Science"},{"key":"38","article-title":"recovery-oriented computing (keynote talk)","author":"patterson","year":"2001","journal-title":"Proc High Performance Transaction Systems Workshop (HPTS)"},{"key":"43","first-page":"40","article-title":"towards autonomic computing: effective event management","author":"sterritt","year":"2002","journal-title":"Proc 27th Annual IEEE\/NASA Software Engineering Workshop (SEW)"},{"key":"42","first-page":"239","article-title":"remarks panel session on the future of formal methods in industry","author":"rushby","year":"1995","journal-title":"Proc 9th International Conference of Z Users LNCS 967"},{"key":"41","article-title":"a survey of formal methods for intelligent swarms","author":"rouff","year":"2005","journal-title":"Technical Report TM-2005-212779 NASA Goddard Space Flight Center"},{"key":"40","first-page":"13","article-title":"a tool for requirements-based programming","author":"rash","year":"2005","journal-title":"Proc International Conference on Integrated Design and Process Technology (IDPT 2005)"},{"key":"22","article-title":"requirements to design to code: towards a fully formal approach to automatic code generation","author":"hinchey","year":"2004","journal-title":"Technical Report TM-2005-212774 NASA Goddard Space Flight Center"},{"key":"23","article-title":"towards an automated development methodology for dependable systems with application to sensor networks","author":"hinchey","year":"2005","journal-title":"Proc IEEE Workshop on Information Assurance in Wireless Sensor Networks (WSNIA 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)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"25"},{"key":"26","first-page":"2001","author":"horn","year":"0","journal-title":"Autonomic computing Ibm's perspective on the state of information technology"},{"key":"27","first-page":"149","article-title":"meeting the needs, realizing the opportunities","author":"horn","year":"2001","journal-title":"Capitalizing on New Needs and New Opportunities Government - Industry Partnerships in Biotechnology and Information Technologies (2001) Board on Science Technology and Economic Policy (STEP)"},{"journal-title":"The VDM++ Toolbox User Manual","year":"2000","key":"28"},{"journal-title":"Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions","year":"2000","key":"29"},{"key":"3","first-page":"425","article-title":"swarm intelligence","author":"beni","year":"1989","journal-title":"Proc Seventh Annual Meeting of the Robotics Society of Japan"},{"key":"2","first-page":"1","article-title":"a trend for the next ten years of software engineering","author":"bauer","year":"1980","journal-title":"Software Engineering"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45484-5_10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"journal-title":"Computer-Aided Reasoning An Approach Advances in Formal Methods Series","year":"2000","author":"kaufmann","key":"30"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3431-2"},{"key":"5","article-title":"a method for specifying and proving distributed cooperative algorithms","author":"bonnet","year":"1995","journal-title":"Proc DIMAS-95"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/508448.508467"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-5347(97)01048-3"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1142\/p006"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_28"},{"key":"8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BFb0053584","article-title":"specifying safety-critical embedded systems with statecharts and z: a case study","author":"bu?ssow","year":"1998","journal-title":"Proc International Conference on Fundamental Approaches to Software Engineering"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/2.108047"},{"key":"17","article-title":"dependability in the internet era.","author":"gray","year":"2001","journal-title":"Proc High Dependability Computing Consortium Workshop"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0005"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1145\/1283920.2159561","article-title":"what next? a few remaining problems in information technology","author":"gray","year":"1999","journal-title":"Turing Award Lecture (ACM FCRC)"},{"key":"13","article-title":"multi-agent communication in jafmas","author":"gala","year":"1999","journal-title":"Proc Workshop on Specifying and Implementing Conversation Policies Third International Conference on Autonomous Agents (Agents '99)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630434"},{"journal-title":"Combination and Implementation of Processes and Data from CSP-OZ to Java","year":"2000","author":"fischer","key":"11"},{"journal-title":"Failures-Divergences Refinement User Manual and Tutorial","article-title":"formal systems (europe), ltd.","year":"1999","key":"12"},{"journal-title":"Concurrent Systems Formal Development in CSP","year":"1995","author":"hinchey","key":"21"},{"key":"20","article-title":"comments made during presentation at formal approaches to complex software systems panel session","author":"harel","year":"2004","journal-title":"ISoLA-04 First International Conference on Leveraging Applications of Formal Methods"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316738"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.871600"},{"key":"45","first-page":"247","article-title":"autonomic computing-a means of achieving dependability?","author":"sterritt","year":"2003","journal-title":"Proc IEEE International Conference on the Engineering of Computer Based Systems (ECBS-03)"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-005-0001-5"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2004.66"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.75"},{"journal-title":"On Demand Computing","year":"2005","author":"fellenstein","key":"10"}],"event":{"name":"2008 International Multiconference on Computer Science and Information Technology","start":{"date-parts":[[2008,10,20]]},"location":"Wisia","end":{"date-parts":[[2008,10,22]]}},"container-title":["2008 International Multiconference on Computer Science and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4731350\/4747203\/04747311.pdf?arnumber=4747311","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T01:02:05Z","timestamp":1738890125000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4747311\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/imcsit.2008.4747311","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}