{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:00:06Z","timestamp":1725516006373},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pccc.2005.1460610","type":"proceedings-article","created":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T18:49:21Z","timestamp":1120675761000},"page":"445-451","source":"Crossref","is-referenced-by-count":5,"title":["Towards an automated development methodology for dependable systems with application to sensor networks"],"prefix":"10.1109","author":[{"given":"M.G.","family":"Hinchey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.L.","family":"Rash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.A.","family":"Rouff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2001.992667"},{"key":"ref11","article-title":"Applications of Formal Methods","author":"hinchey","year":"1995","journal-title":"Series in Computer Science"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0523-7"},{"key":"ref13","article-title":"Concurrent Systems: Formal Development in CSP","author":"hinchey","year":"1995","journal-title":"International Series in Software Engineering"},{"key":"ref14","article-title":"A formal ap proach to requirements-based programming","author":"hinchey","year":"2005","journal-title":"proceedings of 12th IEEE International Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref16","article-title":"Communicating Sequential Processes","author":"hoare","year":"1985","journal-title":"Pren - tice Hall International Series in Computer Science"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4449-4","article-title":"Computer-Aided Reasoning: An Approach","author":"kaufmann","year":"2000","journal-title":"Advances in Formal Methods Series"},{"key":"ref18","first-page":"17","article-title":"Using mathematical models in the inspection of critical software","author":"parnas","year":"1995","journal-title":"In Applications of Formal Methods International Series in Computer Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.37"},{"key":"ref4","article-title":"ANTS (autonomous nano-technology swarm): An artificial intelligence approach to asteroid belt resource exploration","author":"curtis","year":"2000","journal-title":"Int Astronautical Federation 51st Congr"},{"key":"ref3","article-title":"csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group","author":"butler","year":"1999","journal-title":"Department of electrical engineering and computer science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"journal-title":"Failures-Divergences Refine-ment User Manual and Tutorial","year":"1999","key":"ref5"},{"key":"ref8","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":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/2.895118"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/52.391826"},{"key":"ref1","first-page":"1","article-title":"A trend for the next ten years of software engineering","author":"bauer","year":"1980","journal-title":"Software Engineering"},{"journal-title":"Come Let's Play Scenario-based Programming using LSCs and the Play-Engine","year":"2003","author":"harel","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2000.873929"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.871600"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316738"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201227"}],"event":{"name":"PCCC 2005. 24th IEEE International Performance, Computing, and Communications Conference, 2005.","location":"Phoenix, AZ, USA"},"container-title":["PCCC 2005. 24th IEEE International Performance, Computing, and Communications Conference, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9884\/31417\/01460610.pdf?arnumber=1460610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:00:22Z","timestamp":1497632422000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1460610\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/pccc.2005.1460610","relation":{},"subject":[]}}