Selected Papers: Prof. Jeff Magee

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

Books

1. Jeff Kramer, Jeff Magee, Concurrency: State Models & Java Programs, 2nd Edition, John Wiley & Sons, 2006-03, More>
   
   
2. Jeff Kramer, Jeff Magee, Concurrency: State Models & Java Programs, John Wiley & Sons, 1999-03, More>
   
   

Book Chapters

1. Jeff Kramer, Jeff Magee, Model-based Design of Concurrent Programs in Communicating Sequential Processes: The First 25 Years, Springer-Verlag, 2005, More>
   
   
2. Jeff Kramer, Jeff Magee, Sebastian Uchitel, Software architecture modeling and analysis: a rigorous approach in Formal Methods for Software Architectures (SFM-03:SA Lectures), Springer, 2003-08, ISBN: 3-540-20083-5, More>
   
   
3. Naranker Dulay, Jeff Kramer, Jeff Magee, Keng Ng, Software Architecture Description in Software Architecture for Product Families: Principles and Practice, Addison Wesley, 2000, More>
   
   
4. Jeff Kramer, Jeff Magee, Naranker Dulay, Keng Ng, A Visual Approach to Distributed Programming in Tools and Environments for Distributed Systems, Kluwer, 1996, More>
   
   
5. Jeff Kramer, Jeff Magee, Susan Eisenbach, Modelling Darwin in pi-Calculus in Theory and Practice in Distributed Systems, Springer-Verlag, 1995-06, More>
   
   

Journal Articles

1. Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee, Goal and scenario validation: a fluent combination in Requirements Engineering Journal, 2006, More>
   
   
2. Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee, Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation in Requirements Engineering Journal, Springer, 2005, More>
   
   
3. Sebastian Uchitel, Jeff Kramer, Jeff Magee, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios in ACM Transactions on Software Engineering and Methodology, 2004, More>
   
   
4. Sebastian Uchitel, Jeff Kramer, Jeff Magee, Synthesis of behavioral models from scenarios in IEEE Transactions on Software Engineering, IEEE Computer Society, 2003-02, More>
   
   
5. Sebastian Uchitel, Jeff Kramer, Jeff Magee, Implied scenario detection in the presence of behaviour constraints in Electronic Notes in Theoretical Computer Science, 2002, More>
   
   

Conference and Workshop Papers

1. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel, Modes for Software Architectures presented at: Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, 2006-08, More>
   
   
2. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography presented at: IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006., 2006-04, More>
   
   
3. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Model-Based Analysis of Obligations in Web Service Choreography presented at: IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC., 2006, More>
   
   
4. Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee, Fluent-based web animation: exploring goals for requirements validation presented at: 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005. , 2005-04, More>
   
   
5. Jeff Kramer, Jeff Magee, Sebastian Uchitel, Monitoring and Control in Scenario-Based Requirements Analysis presented at: 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005., 2005, More>
   
   

Technical Reports

1. Sebastian Uchitel, Jeff Magee, Jeff Kramer, Emmanuel Letier, Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models, Imperial College London, Department of Computing, 2004-03, More>
   
   

Full Publication List >

CategoryPeople, CategoryPapers