{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:01:35Z","timestamp":1725559295525},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253280"},{"type":"electronic","value":"9783540319757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11407386_7","type":"book-chapter","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T16:48:07Z","timestamp":1278694087000},"page":"78-90","source":"Crossref","is-referenced-by-count":0,"title":["Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fenkam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Jazayeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/235321.235324","volume":"5","author":"D.J. Barret","year":"1996","unstructured":"Barret, D.J., Clarke, L.A., Tarr, P.L., Wise, A.E.: A framework for event based software integration. ACM Transactions on Software Engineering and Methodology\u00a05(4), 378\u2013421 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7_CR2","first-page":"78","volume-title":"Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering","author":"J.S. Bradbury","year":"2003","unstructured":"Bradbury, J.S., Dingel, J.: Evaluating and improving the automatic analysis of implicit invocation systems. In: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 78\u201387. ACM Press, New York (2003)"},{"issue":"12","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1109\/TSE.2003.1265521","volume":"29","author":"M. Caporuscio","year":"2003","unstructured":"Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and evaluation of a support service for mobile, wireless publish\/subscribe applications. IEEE Transactions on Software Engineering\u00a029(12), 1059\u20131071 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Nitto, E.D., Rosenblum, D.S., Wolf, A.L.: Issues in supporting event-based architectural styles. In: Proceedings of 3rd International Software Architecture Workshop, Orlando FL, USA, November 1998, pp. 17\u201320 (1998)","DOI":"10.1145\/288408.288413"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Cugola, G., Nitto, E.D., Fuggetta, A.: Exploiting an event-based infrastructure to develop complex distributed systems. In: Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), pp. 261\u2013270 (1998)","DOI":"10.1109\/ICSE.1998.671135"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Fenkam, P., Gall, H., Jazayeri, M.: Constructing CORBA Supported Oracles: A Case Study in Automated Software Testing. In: Proceedings of the 17th IEEE Automated Software Engineering Conference, Edinburgh, Scotland, September 2002, pp. 129\u2013138 (2002)","DOI":"10.1109\/ASE.2002.1115003"},{"key":"7_CR7","volume-title":"Proceedings of the 22nd IEEE Symposium on Reliable Distributed Systems (SRDS 2003)","author":"P. Fenkam","year":"2003","unstructured":"Fenkam, P., Gall, H., Jazayeri, M.: A Systematic Approach to the Development of Event-Based Applications. In: Proceedings of the 22nd IEEE Symposium on Reliable Distributed Systems (SRDS 2003), Florence, Italy, October 2003. IEEE Computer Press, Los Alamitos (2003)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","first-page":"632","volume-title":"Proceedings of FM 2003: the 12th International FME Symposium","author":"P. Fenkam","year":"2003","unstructured":"Fenkam, P., Gall, H., Jazayeri, M.: Constructing Deadlock Free Event-Based Applications: A Rely\/Guarantee Approach. In: Proceedings of FM 2003: the 12th International FME Symposium, Pisa, Italy, September 2003. LNCS, pp. 632\u2013657. Springer, Heidelberg (2003)"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering Methododlogy\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering Methododlogy"},{"key":"7_CR10","unstructured":"Picco, G.P., Cugola, G.: PeerWare: Core Middleware Support for Peer-To-Peer and Mobile Systems. Technical report, Dipartimento di Electronica e Informazione, Politecnico di Milano (2001)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Plat, N., Larsen, P.G.: An Overview of the ISO\/VDM-SL Standard. In: ACM SIGPLAN Notices, pp. 76\u201382. ACM SIGPLAN (September 1992)","DOI":"10.1145\/142137.142153"},{"key":"7_CR12","first-page":"334","volume-title":"10th IEEE Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE)","author":"G. Reif","year":"2001","unstructured":"Reif, G., Kirda, E., Gall, H., Picco, G.P., Cugola, G., Fenkam, P.: A web-based peer-to-peer architecture for collaborative nomadic working. In: 10th IEEE Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Boston, MA, USA, June 2001, pp. 334\u2013339. IEEE Computer Society Press, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Middleware"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11407386_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:51:04Z","timestamp":1605642664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11407386_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253280","9783540319757"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11407386_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}