Faculty of Engineering: Department of Computing

Papers: Prof. Jeff Magee

Email: <j.magee AT SPAMFREE imperial DOT ac DOT uk>

/AllPapers   /SelectedPublications  

Books

  1. Magee J., and Kramer J., Concurrency – State Models and Java Programs, John Wiley & Sons, March 1999, 353 pages (Wiley – Worldwide Series in Computer Science).

Contributions to books edited by others

  1. Sloman,M.S., Magee, J., and Kramer,J., Building Flexible Distributed Systems in CONIC, in ‘Distributed Computing Systems Programme’, Duce, D.A. ed., (Peter Peregrinus), 1984, 86-106.

  2. Magee, J., Kramer,J. and Sloman,M.S., The Conic Support Environment for Distributed Systems, in ‘Distributed Operating Systems: Theory and Practice’, Paker, Y., Banatre, J.P. and Bozyigit, M. ed., (Springer-Verlag NATO-ASI Series F, 28), 1987, 289-310.

  3. Dulay, N., Kramer,J., Magee, J. Sloman,M.S., and Twidle, K., Distributed System Construction: Experience with the Conic Toolkit, in 'Experiences with Distributed Systems', Nehmer, J. ed., LNCS 309, (Springer-Verlag), 1988, 189-212.

  4. Kramer,J., Magee, J. and Sloman,M.S., An Overview of Distributed System Construction using Conic, in 'The Application of Advanced Computing Concepts and Techniques in Control Engineering', Denham, M. and Laub A.J. ed. (Springer-Verlag NATO-ASI Series F, vol. 47, 1988), 237-255.

  5. Kramer,J., Magee, J., and Sloman, M., Configuration Support for System Description, Construction and Evolution, in ‘Managing Complexity in Software Engineering’, Mitchell, R. ed., (Peter Peregrinus), 1990, 247-260.

  6. Sloman, M., Kramer, J. , Magee, J., Butryn, P., Software Configuration Techniques In Operational Systems, in ‘Control and Dynamic Systems: Advances in Theory and Applications. Volume 47: Manufacturing and Automation Systems: Techniques and Technologies’, edited by Dr. C.T. Leondes, (Academic Press), 1991, 325-356.

  7. Kramer,J., Magee, J., Sloman, M.S., and Dulay, N., Configuring Object Based Distributed Programs, in ‘Advances in Distributed Computing’, eds. Casavant T, Singhal, M., IEEE Computer Society Press, 1992.

  8. Magee J., Configuration of Distributed Systems, in ‘Network and Distributed Systems Management’, ed. Morris Sloman, Addison-Wesley, 1994.

  9. Magee, J., Eisenbach, S., Kramer, J., Modelling Darwin in p-Calculus, in ‘Theory and Practice in Distributed Systems’, K.P. Birman, F. Mattern, A. Schiper (Eds), Springer Verlag LNCS 938, July 1995, 133-152.

  10. Ng, K., Kramer, J., Magee, J.,, and Dulay, N., A Visual Approach to Distributed Programming, in ‘Tools and Environments for Distributed Systems’, Kluwer, 1996.

  11. Magee J. and Kramer J., Composing Distributed Objects in CORBA, in ‘Information Systems Interoperability’, Krämer B., Papazoglou M. and Schmidt H., Research Studies Press / John Wiley & Sons Inc., England, 1998.

Journals

  1. Kramer, J., Magee, J., Sloman, M.S., and Lister, A., CONIC: An Integrated Approach to Distributed Computer Control Systems, IEE Proceedings., 130, Pt. E, ( 1983), 1-10.

  2. Kramer, J., Magee, J., and Sloman, M.S., A Software Architecture for Distributed Computer Control Systems, Automatica, (1984), 93-102.

  3. Kramer, J., and Magee, J., Dynamic Configuration for Distributed Systems, IEEE Trans. on Software Eng., SE-11, (1985), 424-436.

  4. Sloman, M.S., Kramer, J., Magee, J., and Twidle, K.P., A Flexible Communication System for Distributed Computer Control, IEE Proceedings., 133, Pt. E,( 1986), 201-211.

  5. Kramer, J., Magee, J., and Sloman, M.S., The CONIC Toolkit for Building Distributed Systems, IEE Proceedings.,134 Pt. D.,(1987), 73-82.

  6. Mukherjee, A., Kramer, J., and Magee, J., A Distributed File Server for Embedded Applications, IEE Software Engineering Journal, 3(5), (1988), 142-148.

  7. Magee, J., Kramer, J., and Sloman, M.S., Constructing Distributed Systems in Conic, IEEE Transactions on Software Engineering., SE-15, (1989), 663-675.

  8. Kramer, J., Magee, J., and Ng, K., Graphical Configuration Programming, IEEE Computer, 22(10), (1989), 53-65.

  9. Kramer, J., Magee, J., and Sloman, M.S., Managing Evolution in Distributed Systems, IEE Software Engineering Journal , 4(6), November 1989, 321-329.

  10. Kramer,J., and Magee,J., The Evolving Philosophers Problem: Dynamic Change Management, IEEE Transactions. on Software Engineering., SE-16, 11 (1990), 1293-1306.

  11. Magee J. and Cheung S.C., Parallel Algorithm Design for Workstation Clusters, Software- Practice & Experience, 21(3), March 1991, pp 235-250.

  12. Kramer,J., Magee, J., Sloman, M.S., and Dulay, N., Configuring Object Based Distributed Programs in Rex, IEE Software Engineering Journal , Special Issue on Object Oriented Systems, 7 (2), March 1992, 139-149.

  13. Magee, J., and Dulay, N., A Configuration Approach to Parallel Programming, Future Generation Computer Systems, 8 (1992) 337-347, North-Holland

  14. Magee, J., Dulay, N. and Kramer, J., Structuring Parallel and Distributed Programs, IEE Software Engineering Journal, 8(2):73-82, March 1993.

  15. Kremien, O., Kramer, J., and Magee, J., Scalable and Adaptive Load Sharing for Distributed Systems, IEEE Parallel and Distributed Technology, 1(3), August 1993, ppp62-70.

  16. Magee, J., Dulay, N. and Kramer, J., Regis: A constructive development environment for distributed programs, Distributed Systems Engineering Journal, Vol. 1, No. 5., Sept 1994, 304-312. More>

  17. Ng, K., Kramer, J. and Magee, J., Automated Support for the Design of Distributed Software Architectures, Journal of Automated Software Engineering (JASE), 3 (3/4), Special Issue on CASE-95, (1996), 261-284.

  18. Karamanolis, C. and Magee, J. Construction and Management of Highly Available Services in Open Distributed Systems, Distributed Systems Engineering Journal. Vol. 5, No. 1, March 1998.

  19. Leonhardt,.U., and Magee,. J., Security Considerations for a Distributed Location Service, Journal of Network and Systems Management; vol. 6(1), March 1998. Plenum Press

  20. Kramer J. and Magee J., Analysing Dynamic Change in Distributed Software Architectures, IEE Proceedings - Software, 145 (5), October 1998, 146-154. More>

  21. Karamanolis, C. and Magee, J., Client-Access Protocols for Replicated Services, IEEE Transactions on Software Engineering, Vol. 25, No. 1, Jan/Feb 1999.

  22. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Implied scenario detection in the presence of behaviour constraints, Electronic Notes in Theoretical Computer Science (65:7), 2002. More>

  23. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering (29:2), 2003. More>

  24. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology (13:1), 2004. More>

  25. Uchitel, Sebastian and Chatley, Robert and Kramer, Jeff and Magee, Jeff, Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation, Requirements Engineering Journal (10:4), 2005. More>

Editor – Journal Special Issue

  1. Magee J., and Moffet J., Distributed Systems Management, IEE/BCS Distributed Systems Engineering Journal (DSEJ), Vol. 3, No. 2, June 1996.

Refereed Conference Publications

  1. 1. Kramer, J., Magee, J., and Sloman, M.S., Intertask Communication Primitives for Distributed Process Control Systems, 2nd Int. Conf. on Distributed Computing Systems, 1981, 404-411.

  2. Kramer, J., Magee, J., and Sloman, M.S., A Software Architecture for Distributed Computer Control Systems, IFAC Symp. on Theory and Applications of Digital Control, 1982, 19-27.

  3. Kramer, J., Magee, J., and Sloman, M.S., Dynamic System Configuration for Distributed Real-Time Systems, IFAC/IFIP Workshop on Real Time Programming, 1983, 31-42.

  4. Sloman, M.S., Kramer, J., Magee, J., and Twidle, K.P., A Flexible Communication System for Distributed Computer Control, 5th IFAC Workshop on Distributed Computer Control Systems, 1983, 115-127.

  5. Sloman, M., Anzaldi, E., Klessman, H., Kramer, J., Kyttaelae, E., LeLann, G., Magee, J., Sedillot, S., Tschammer, V., and Twidle, K., Management Issues in Local Area Networks, EUTECO, European Teleinformatics Conference, Kalin, T. ed. (North Holland, Netherlands), 1983, 455-474.

  6. Magee, J., and Kramer, J., Dynamic Configuration of Distributed Real Time Systems, IEEE Int. Symp.on Real-Time Systems ,1983, 277-288.

  7. Kramer, J., and Magee, J., Environment Requirements for System Evolution, IEEE Int. Software Process Workshop, 1984, 77-86.

  8. Sloman, M.S., Kramer, J., Magee, J., A Flexible Approach to Distributed Computer Control, IEE Int. Conf. Control 85,1985, 341-346 (Vol. 2).

  9. Sloman, M.S., Kramer, J., and Magee, J., The CONIC Toolkit for Building Distributed Systems, 6th IFAC Workshop on Distributed Computer Control Systems, 1985, 115-127.

  10. Kramer, J., and Magee, J., A Model for Change Management, IEEE International Workshop on Future Trends in Distributed Computing Systems in the '90s, Hong Kong, 1988, 296-300.

  11. Kramer,J., Magee, J., and Ng,K., Graphical Support for Configuration Programming, 22nd HICSS, Hawaii, 1989, Software Track, 860-870.

  12. Kramer,J., Magee, J., and Sloman, M., Configuration Support for System Description, Construction and Evolution, 5th IEEE International Workshop on Software Specification and Design (IWSSD 5), Pittsburgh, 1989, 28-33.

  13. Kremien, O., Kramer,J., and Magee, J., CNCSIM - A Distributed Simulator for Decentralised Algorithms, Workshop on Real-Time Systems - Theory and Practice, York, 1989.

  14. Kramer, J., Magee, J., and Young, A., A Refined Model of Change Management in Distributed Systems, Proc. of the 3rd Workshop on Large Grain Parallelism, CMU, Pittsburgh, October 1989.

  15. Kremien, O., Kramer,J., and Magee, J., Rapid Assessment of Decentralised Algorithms, IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, 1990, 329-335.

  16. Kramer, J., Magee, J., and Finkelstein, A., A Constructive Approach to the Design of Distributed Systems, Proc. 10th IEEE Int. Conf on Distributed Computing Systems, Paris, June 1990, 580-587.

  17. Magee, J., Kramer, J., Sloman, M.S. and Dulay, N., An Overview of the REX Software Architecture, Proc. of IEEE International Workshop on Distributed Computing Systems in the '90s, Cairo, 1990, 396-402.

  18. Kramer,J., Magee, J., and Young, A., Towards Unifying Fault and Change Management, Proc. of IEEE International Workshop on Distributed Computing Systems in the '90s, Cairo, 1990, 57-63.

  19. Magee, J., and Dulay N., A Configuration Approach to Parallel Programming, PARLE 91, Eindhoven, The Netherlands, June 1991, Vol II, Springer Verlag, LNCS 506, pp 313-330.

  20. Kramer, J., Magee, J., Sloman, M.S., Dulay, N., Cheung, S., Crane, S., Twidle, K., An Introduction to Distributed Programming in Rex, ESPRIT ‘91 Conference proceedings, Brussels, November 1991, 207-221.

  21. Magee, J., Dulay, N. and Kramer, J., Structuring Parallel and Distributed Programs, Proc. of IEE/IFIP Int. Workshop on Configurable Distributed Systems, London, March 1992, 102-116.

  22. Young, A and J. Magee, J., A Flexible Approach to Evolution of Reconfigurable Systems, Proc. of IEE/IFIP Int. Workshop on Configurable Distributed Systems, London, March 1992, 152-163.

  23. Cheung, S., Crane, S., Dulay, N., Kramer, J., Magee, J., Sloman, M.S., Twidle, K., Configuring Heterogeneous Open Systems, International Conference on Enterprise Integration Modeling Technology (ICEIMT), Carolina, June 1992.

  24. Magee, J., and Dulay, N., MP: A Programming Environment for Multicomputers, IFIP Working Conference on Programming Environments for Parallel Computing, Edinburgh, April 1992.

  25. Kramer, J., Magee, J. and Sloman, M., Configuring Distributed Systems, 5th ACM SIGOPS European Workshop, Mont St Michel, Sept. 1992.

  26. Magee, J., Dulay, N. and Kramer, J., Darwin/MP: An Environment for Parallel and Distributed Programming, Hawaii International Conference on System Sciences HICSS-26, Jan 1993.

  27. Kremien, O., Kramer, J., Magee, J., Scalable Load-Sharing for Distributed Systems, Hawaii International Conference on System Sciences HICSS-26, Jan 1993.

  28. Kramer, J., Magee, J., Ng, K., and Sloman, M., The System Architect’s Assistant for Design and Construction of Distributed Systems, Proc.of IEEE International Workshop on Future Trends in Distributed Computing Systems in the '90s, Lisbon, Sept. 1993.

  29. Sloman, M., Magee, J., Twidle, K., and Kramer, J., An Architecture for Managing Distributed Systems, Proc. of IEEE International Workshop on Future Trends in Distributed Computing Systems in the '90s, Lisbon, Sept. 1993.

  30. Magee, J., Dulay, N. and Kramer, J., A Constructive Development Environment for Parallel and Distributed Programs, Proc. of 2nd IEEE Int. Workshop on Configurable Distributed Systems, Pittsburgh, March 1994, 4-14. More>

  31. Eisenbach, E., Kramer, J., and Magee, J., Regis-Darwin specified in the p-Calculus, Proc. of 2nd IEEE Int. Workshop on Configurable Distributed Systems, Pittsburgh, March 1994. More>

  32. Magee, M., Eisenbach, S. and Kramer, J., Modelling Darwin in the p-Calculus, in Selected papers from International Workshop on Theory and Practice in Distributed Systems, Dagstuhl Castle, Germany, Sept 1994, 133-152, Springer LNCS 938. More>

  33. Ng, K., Kramer, J., Magee, J.,, and Dulay, N., The System Architect’s Assistant - A Visual Environment for Distributed Programming, Proc. of 28th HICSS, Hawaii, January 1995. More>

  34. Crane S., Dulay N., Fossa H., Magee J., Sloman M., Configuration Management for Distributed Software Services, Proc. IFIP Int. Symposium on Integrated Network Management (ISINM 95), Santa Barbara, Chapman Hall, May 1995. More>

  35. Karamanolis C., Magee J., Configurable Highly Available Distributed Services, Proceedings of the 14th Symposium on Reliable Distributed Systems, Bad Neuenahr, Germany, Sept 1995, 118- 127.

  36. * Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference, Sitges, Spain, Sept 1995, 137-154, Springer LNCS 989. More>

  37. Leonhardt U., and Magee J., Towards a General Location Service for Mobile Environments, Proceedings of the Third IEEE Workshop on Services in Distributed and Networked Environments, pages 43-50, Macau, June 1996

  38. Karamanolis C., Magee J., A Replication Protocol to Support Dynamically Configurable groups of Servers, Proceedings of the 3rd IEEE International Conference of Configurable Systems, Annapolis, Maryland, May 1996, 161-168.

  39. * Magee, J., and Kramer, J., Dynamic Structure in Software Architectures, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, October 1996, SEN, Vol.21, No.6, November 1996, 3-14.

  40. Magee, J., Kramer, J., Self Organising Software Architectures, ACM SIGSOFT ‘96 Workshops, 2nd International Software Architecture Workshop (ISAW-2), San Francisco, October 1996, 35-38.

  41. Magee J., Tseng A. and Kramer, J. Composing Distributed Objects in CORBA, Third International Symposium on Autonomous Decentralized Systems (ISADS 97), Berlin, Germany, April, 1997.

  42. Kramer J., and Magee J., Distributed Software Architectures: Tutorial, 19th IEEE Int. Conf. on Software Engineering (ICSE-19), Boston, May 1997, 633-634.

  43. Karamanolis, C. and Magee, J., Client-Access Protocols for Replicated Services, Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’97), IEEE Computer Society Press. Como, Italy, September 1997.

  44. Magee J., Kramer J. and Giannakopoulou, D., Analysing the Behaviour of Distributed Software Architectures: a Case Study, 5th IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS 97), Tunisia, October 1997, 240-247.

  45. Magee J., Kramer J. and Giannakopoulou D., Software Architecture Directed Behaviour Analysis, 9th IEEE International Workshop on Software Specification and Design (IWSSD 9), Ise-Shima, Japan, April 1998, 144-146.

  46. Kramer J. and Magee J., Analysing Dynamic Change in Software Architectures, Proceedings of IWPSE98, International Workshop on Principles of Software Evolution", Kyoto, Japan, April 1998.

  47. Kramer J. and Magee J., Distributed Software Architectures: Tutorial, 20th IEEE Int. Conf. on Software Engineering (ICSE-20), Kyoto, April 1998, Volume II, 280-281.

  48. Leonhardt U, and Magee J., Multi-Sensor Location Tracking, Proceedings of the 4th ACM/IEEE International Conference on Mobile Computing and Networking, pages 203-214, Dallas, TX, October 1998

  49. Kramer J. and Magee J., Analysing Dynamic Change in Software Architectures: A Case Study, IEEE 4th Int. Conference on Configurable Distributed Systems (CDS 98), Annapolis, May 1998, 91-100.

  50. Magee J., Kramer J. and Giannakopoulou D., Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 22-24 February 1999, pages 35 –50.

  51. Magee J., Behavioral Analysis of Software Architectures using LTSA, Formal research demonstration description, in the proceedings of 21st IEEE International Conference on Software Engineering (ICSE-21), Los Angeles, USA, May 1999.

  52. Giannakopoulou D., Magee J. and Kramer J., Checking progress with Action Priority: Is it Fair?, 7th European Software Engineering Conference/ 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’99), Toulouse, France, September 1999, LNCS 1687, p511-527

  53. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, From sequence diagrams to behaviour models, in Workshop on transformations in UML, European conferences on therory and practice of software, Genoa, 2001, 2001. More>

  54. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Detecting implied scenarios in message sequence chart specifications, in European software engineering conference, 2001. More>

  55. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Negative scenarios for implied scenario elicitation, in Foundations of software engineering, 2002. More>

  56. Chatley, Robert and Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian, Visual methods for Web application design, in IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, 2003, 2003. More>

  57. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Modelling undefined behaviour in scenario synthesis, in 2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003, 2003. More>

  58. Chatley, Robert and Eisenbach, Susan and Magee, Jeff, Modelling a framework for plugins, in Specification and verification of component-based systems, September 2003, 2003. More>

  59. Foster, Howard and Uchitel, Sebastian and Magee, Jeff and Kramer, Jeff, Model-based verification of web service compositions, in 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003, 2003. More>

  60. Chatley, Robert and Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian, Model-based simulation of web applications for usability assessment, in International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003, 2003. More>

  61. Uchitel, Sebastian and Chatley, Robert and Kramer, Jeff and Magee, Jeff, LTSA-MSC: tool support for behaviour model elaboration using implied scenarios, in Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, 2003. More>

  62. Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Behaviour model elaboration using partial labelled transition systems, in European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11), 2003. More>

  63. Chatley, Robert and Eisenbach, Susan and Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian, Predictable dynamic plugin systems, in 7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN, 2004. More>

  64. Chatley, Robert and Eisenbach, Susan and Magee, Jeff, MagicBeans: a platform for deploying plugin components, in 2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004, 2004. More>

  65. Uchitel, Sebastian and Chatley, Robert and Kramer, Jeff and Magee, Jeff, Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios, in IEEE International Conference on Requirements Engineering (RE'04), Kyoto, Japan, 2004, 2004. More>

  66. Foster, Howard and Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian, Compatibility verification for web service choreography, in IEEE international conference on web services (ICWS 2004), San Diego, CA, 2004. More>

  67. Uchitel, Sebastian and Chatley, Robert and Kramer, Jeff and Magee, Jeff, System architecture: the context for scenario-based model synthesis, in ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Newport Beach, California, 31 October - 5 November 2004, 2004. More>

  68. Foster, Howard and Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian, Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study, in IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005., 2005. More>

  69. Foster, Howard and Uchitel, Sebastian and Magee, Jeff and Kramer, Jeff, Tool support for model-based engineering of web service compositions, in IEEE international conference on services computing. Orlando, FL, 11 - 15 July 2005, 2005. More>

  70. Foster, Howard and Uchitel, Sebastian and Magee, Jeff and Kramer, Jeff, Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, in ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005., 2005. More>

  71. Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian, Monitoring and Control in Scenario-Based Requirements Analysis, in 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005., 2005. More>

  72. Chatley, Robert and Uchitel, Sebastian and Kramer, Jeff and Magee, Jeff, Fluent-based web animation: exploring goals for requirements validation, in 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005., May 2005. More>

  73. Foster, Howard and Uchitel, Sebastian and Magee, Jeff and Kramer, Jeff, Model-Based Analysis of Obligations in Web Service Choreography, in IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC., 2006. More>

  74. Foster, Howard and Uchitel, Sebastian and Magee, Jeff and Kramer, Jeff, WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography, in IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006., May 2006. More>

Conference - Invited Papers

  1. Kramer, J., and Magee, J., Exposing the Skeleton in the Coordination Closet, Coordination Languages and Models, 2nd International Conference COORDINATION ‘97, Berlin, 1997, 18-31.

  2. Kramer, J., and Magee, J., Modelling for mere Mortals, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam, March 1999. More>

Conference Proceedings edited

  1. Magee J., and Schwan K., IEEE 3rd Int. Conference on Configurable Distributed Systems (CDS 96), Annapolis, May 1996
  2. Perry D., and Magee J., ACM SIGSOFT, Third International Software Architecture Workshop (ISAW-3), Lake Buena Vista, Florida, USA, Nov 1998.

CategoryPeople, CategoryPapers

jnm/AllPapers (last edited 2009-05-21 08:50:45 by localhost)