Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study

1. 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 5(4), 378–421 (1996)

   Article  Google Scholar 

2. 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–87. ACM Press, New York (2003)

   Google Scholar 

3. 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 29(12), 1059–1071 (2003)

   Article  Google Scholar 

4. 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–20 (1998)

   Google Scholar 

5. 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–270 (1998)

   Google Scholar 

6. 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–138 (2002)

   Google Scholar 

7. 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)

   Google Scholar 

8. 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–657. Springer, Heidelberg (2003)

   Google Scholar 

9. Jackson, D.: Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering Methododlogy 11(2), 256–290 (2002)

   Article  Google Scholar 

10. 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)

    Google Scholar 

11. Plat, N., Larsen, P.G.: An Overview of the ISO/VDM-SL Standard. In: ACM SIGPLAN Notices, pp. 76–82. ACM SIGPLAN (September 1992)

    Google Scholar 

12. 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–339. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

Download references