{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:08:20Z","timestamp":1725527300278},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642008665"},{"type":"electronic","value":"9783642008672"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00867-2_14","type":"book-chapter","created":{"date-parts":[[2009,3,2]],"date-time":"2009-03-02T14:04:21Z","timestamp":1236002661000},"page":"297-323","source":"Crossref","is-referenced-by-count":0,"title":["Step-Wise Development of Resilient Ambient Campus Scenarios"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Iliasov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Budi","family":"Arief","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Rodin: Rigorous Open Development Environment for Complex Systems. IST FP6 STREP project (last accessed August 6, 2008), http:\/\/rodin.cs.ncl.ac.uk\/"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-73131-3_2","volume-title":"Software Engineering for Multi-Agent Systems V","author":"B. Arief","year":"2007","unstructured":"Arief, B., Iliasov, A., Romanovsky, A.: On developing open mobile fault tolerant agent systems. In: Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C., Romanovsky, A. (eds.) SELMAS 2007. LNCS, vol.\u00a04408, pp. 21\u201340. Springer, Heidelberg (2007)"},{"key":"14_CR3","unstructured":"Iliasov, A.: Implementation of Cama Middleware (last accessed August 6, 2008), http:\/\/sourceforge.net\/projects\/cama"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.: On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. Technical report, CS-TR-993, School of Computing Science, Newcastle University (December 2006)","DOI":"10.1109\/ISORC.2007.46"},{"key":"14_CR5","unstructured":"Metayer, C., Abrial, J.R., Voisin, L.: Rodin Deliverable 3.2: Event-B Language. Technical report, Project IST-511599, School of Computing Science, University of Newcastle (2005)"},{"key":"14_CR6","unstructured":"Iliasov, A., Khomenko, V., Koutny, M., Niaouris, A., Romanovsky, A.: Mobile B Systems. In: Proceedings of Workshop on Methods, Models and Tools for Fault Tolerance at IFM 2007, CS-TR 1032, Newcastle University (2007)"},{"key":"14_CR7","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"14_CR8","volume-title":"On the Construction of Programs","author":"J.R. Abrial","year":"1980","unstructured":"Abrial, J.R., Schuman, S.A., Meyer, B.: A specification language. In: McNaughten, R., McKeag, R. (eds.) On the Construction of Programs. Cambridge University Press, Cambridge (1980)"},{"issue":"2","key":"14_CR9","first-page":"221","volume":"1","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans. Software Eng.\u00a01(2), 221\u2013232 (1975)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Plasil, F., Holub, V.: Exceptions in Component Interaction Protocols - Necessity. In: Architecting Systems with Trustworthy Components, pp. 227\u2013244 (2004)","DOI":"10.1007\/11786160_13"},{"key":"14_CR11","volume-title":"Proceedings of Engineering Fault Tolerant Systems Workshop et ESEC\/FSE","author":"A. Iliasov","year":"2007","unstructured":"Iliasov, A.: Refinement patterns for rapid development of dependable systems. In: Proceedings of Engineering Fault Tolerant Systems Workshop et ESEC\/FSE. ACM Digital Library, Croatia (2007)"},{"key":"14_CR12","volume-title":"The Seventh European Dependable Computing Conference (EDCC-7)","author":"A. Iliasov","year":"2008","unstructured":"Iliasov, A., Romanovsky, A.: Refinement Patterns for Fault Tolerant Systems. In: The Seventh European Dependable Computing Conference (EDCC-7) (Technical paper). IEEE CS, Los Alamitos (2008)"},{"key":"14_CR13","volume-title":"Pattern-Oriented Software Architecture: A System Of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System Of Patterns. John Wiley & Sons Ltd., West Sussex (1996)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11818502_10","volume-title":"Advanced Topics in Exception Handling Techniques","author":"A. Iliasov","year":"2006","unstructured":"Iliasov, A., Romanovsky, A.: Structured coordination spaces for fault tolerant mobile agents. In: Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A.R. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol.\u00a04119, pp. 181\u2013199. Springer, Heidelberg (2006)"},{"key":"14_CR15","unstructured":"Arief, B., Coleman, J., Hall, A., Hilton, A., Iliasov, A., Johnson, I., Jones, C., Laibinis, L., Leppanen, S., Oliver, I., Romanovsky, A., Snook, C., Troubitsyna, E., Ziegler, J.: Rodin Deliverable D4: Traceable Requirements Document for Case Studies. Technical report, Project IST-511599, School of Computing Science, University of Newcastle (2005)"},{"key":"14_CR16","unstructured":"Troubitsyna, E. (ed.): Rodin Deliverable D8: Initial Report on Case Study Development. Project IST-511599, School of Computing Science, University of Newcastle (2005)"},{"key":"14_CR17","unstructured":"Troubitsyna, E. (ed.): Rodin Deliverable D27: Case Study Demonstrators. Project IST-511599, School of Computing Science, University of Newcastle (2007)"},{"key":"14_CR18","unstructured":"Smartdust: Wikipedia definition (last accessed August 6, 2008), http:\/\/en.wikipedia.org\/wiki\/Smartdust"},{"key":"14_CR19","unstructured":"Iliasov, A., Koutny, M.: A Method and Tool for Design of Multi-Agent Systems. In: Pahl, C. (ed.) Proceedings of Software Engineering (SE 2008). ACTA Press (2008)"},{"issue":"8","key":"14_CR20","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":"14_CR21","unstructured":"Troubitsyna, E. (ed.): Rodin Deliverable D26: Final Report on Case Study Development. Project IST-511599, School of Computing Science, University of Newcastle (2007)"},{"key":"14_CR22","unstructured":"CrossbowTechnology: MPR\/MIB User\u2019s Manual (last accessed August 6, 2008), http:\/\/www.xbow.com\/Support\/Support_pdf_files\/MPR-MIB_Series_Users_Manual.pdf"},{"key":"14_CR23","unstructured":"Deploy: Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity. IST FP7 IP project (last accessed August 6, 2008), http:\/\/www.deploy-project.eu\/"},{"key":"14_CR24","unstructured":"TrAmS: Trustworthy Ambient Systems Platform Grant (last accessed August 6, 2008), http:\/\/www.cs.ncl.ac.uk\/research\/current%20projects?pid=223\/"}],"container-title":["Lecture Notes in Computer Science","Methods, Models and Tools for Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00867-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T10:31:25Z","timestamp":1558175485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00867-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008665","9783642008672"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00867-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}