Computing Publications

Publications Home » Authors » Prof Jeff Magee

Authors

Prof Jeff Magee

56 publications for this author.

Books

Concurrency: State Models & Java Programs, 2nd Edition
Jeff Kramer, Jeff Magee
pp.1–413
Worldwide Series in Computer Science, John Wiley & Sons
March, 2006
Concurrency: State Models & Java Programs
Jeff Kramer, Jeff Magee
pp.1–355
Worldwide Series in Computer Science, John Wiley & Sons
March, 1999

Book Chapters

Model-based Design of Concurrent Programs
Jeff Kramer, Jeff Magee
Communicating Sequential Processes: The First 25 Years
pp.211–219
Lecture Notes in Computer Science, Springer-Verlag
2005
Software architecture modeling and analysis: a rigorous approach
Jeff Kramer, Jeff Magee, Sebastian Uchitel
Formal Methods for Software Architectures (SFM-03:SA Lectures)
Volume 2804, pp.44–51
Lecture Notes in Computer Science, Springer
August, 2003
Software Architecture Description
Naranker Dulay, Jeff Kramer, Jeff Magee, Keng Ng
Software Architecture for Product Families: Principles and Practice
Issue 2
Addison Wesley
2000
A Visual Approach to Distributed Programming
Jeff Kramer, Jeff Magee, Naranker Dulay, Keng Ng
Tools and Environments for Distributed Systems
Kluwer
1996
Modelling Darwin in pi-Calculus
Jeff Kramer, Jeff Magee, Susan Eisenbach
Theory and Practice in Distributed Systems
pp.133–152
Lecture Notes in Computer Science, Springer-Verlag
June, 1995
Configuration of Distributed Systems
Jeff Magee
Network and Distributed Systems Management
Addison Wesley
1994
Configuring Object Based Distributed Programs in REX
Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay
Distributed Computing Systems
pp.187–205
IEEE Computer Society Press
1994
Software Configuration Techniques In Operational Systems
Jeff Kramer, Morris Sloman, Jeff Magee
Control and Dynamic Systems: Advances in Theory and Applications
Volume 47, pp.325–356
Academic Press
1991
Configuration Support for System Description, Construction and Evolution
Jeff Kramer, Jeff Magee, Morris Sloman
Managing Complexity in Software Engineering
pp.247–260
Peter Peregrinus
1990
An Overview of Distributed System Construction using Conic
Jeff Kramer, Jeff Magee, Morris Sloman
The Application of Advanced Computing Concepts and Techniques in Control Engineering
Volume 47, pp.237–255
Springer-Verlag
1988
Distributed System Construction: Experience with the Conic Toolkit
Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin Twidle, Jurgen Nehmer
Experiences with Distributed Systems
pp.189–212
Lecture Notes in Computer Science, Springer-Verlag
1987
The Conic Support Environment for Distributed Systems
Jeff Kramer, Jeff Magee, Morris Sloman
Distributed Operating Systems: Theory and Practice
pp.289–310
Springer-Verlag
1987
Building Flexible Distributed Systems in CONIC
Jeff Kramer, Jeff Magee, Morris Sloman, David Duce
Distributed Computing Systems Programme
pp.86–106
Peter Peregrinus
1984

Journal Articles

Goal and scenario validation: a fluent combination [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Requirements Engineering Journal
Volume 11, pp.123–137
2006
Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Requirements Engineering Journal
Volume 10, Issue 4
Springer
2005
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
ACM Transactions on Software Engineering and Methodology
Volume 13, Issue 1
2004
Synthesis of behavioral models from scenarios
Sebastian Uchitel, Jeff Kramer, Jeff Magee
IEEE Transactions on Software Engineering
Volume 29, Issue 2, pp.99–115
IEEE Computer Society
February, 2003
Implied scenario detection in the presence of behaviour constraints
Sebastian Uchitel, Jeff Kramer, Jeff Magee
Electronic Notes in Theoretical Computer Science
Volume 65, Issue 7
2002
Analysing Dynamic Change in Distributed Software Architectures
Jeff Kramer, Jeff Magee
Volume 145, Issue 5
1998
Analysing Dynamic Change in Distributed Software Architectures
Jeff Kramer, Jeff Magee
Volume 145, Issue 5
1998
Regis: A Constructive Development Environment for Distributed Programs
Jeff Magee, Naranker Dulay, Jeff Kramer
Distributed Systems Engineering Journal
Volume 1, Issue 5
1994

Conference and Workshop Papers

Modes for Software Architectures [PDF]
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006
August, 2006
WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography [PDF]
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
April, 2006
Model-Based Analysis of Obligations in Web Service Choreography
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC.
2006
Fluent-based web animation: exploring goals for requirements validation
Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee
27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
April, 2005
Monitoring and Control in Scenario-Based Requirements Analysis
Jeff Kramer, Jeff Magee, Sebastian Uchitel
27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
2005
Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.
2005
Tool support for model-based engineering of web service compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
IEEE international conference on services computing. Orlando, FL, 11 - 15 July 2005
IEEE Computer Society
2005
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel
IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005.
2005
System architecture: the context for scenario-based model synthesis [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Newport Beach, California, 31 October - 5 November 2004
ACM
2004
Compatibility verification for web service choreography
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel
IEEE international conference on web services (ICWS 2004), San Diego, CA
IEEE Computer Soc
2004
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
IEEE International Conference on Requirements Engineering (RE'04), Kyoto, Japan, 2004
Springer
2004
MagicBeans: a platform for deploying plugin components [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
2004
Predictable dynamic plugin systems [PDF]
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel
7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN
Springer-Verlag
2004
Adding Performance Evaluation to the LTSA Tool [GZipped Postscript]
Thomas P Ayles, A. J. Field, Jeff Magee, Andrew Bennett
Tool demonstration, 13th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, September 2003
August, 2003
Behaviour model elaboration using partial labelled transition systems [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11)
Volume 28
ACM
2003
LTSA-MSC: tool support for behaviour model elaboration using implied scenarios [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland
Springer-Verlag
2003
Model-based simulation of web applications for usability assessment
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel
International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003
2003
Model-based verification of web service compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
18th IEEE international conference on automated software engineering, Montreal, Canada, 2003
IEEE Computer Soc
2003
Modelling a framework for plugins [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
Specification and verification of component-based systems, September 2003
2003
Modelling undefined behaviour in scenario synthesis
Sebastian Uchitel, Jeff Kramer, Jeff Magee
2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003
2003
Visual methods for Web application design
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel
IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, 2003
IEEE Computer Soc
2003
Negative scenarios for implied scenario elicitation [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
Foundations of software engineering
Volume 27
ACM
2002
Detecting implied scenarios in message sequence chart specifications [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
European software engineering conference
Volume 26
ACM
2001
From sequence diagrams to behaviour models
Sebastian Uchitel, Jeff Kramer, Jeff Magee
Workshop on transformations in UML, European conferences on therory and practice of software, Genoa, 2001
2001
Modelling for mere Mortals
Jeff Kramer, Jeff Magee
Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam
1999
Configuration Management for Distributed Software Services [PDF]
Steven Crane, Naranker Dulay, Hal Fossa, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin Twidle
Proceedings of IFIP/ IEEE International Symposium on Integrated Network Management (ISINM 95), Santa Barbara
Chapman Hall
1995
Specifying Distributed Software Architectures [PDF]
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
Fifth European Software Engineering Conference, ESEC '95 , Barcelona
1995
System Structuring: A Convergence of Theory and Practice? [PDF]
Jeff Magee, Jeff Kramer, Susan Eisenbach
Dagstuhl Workshop on Theory and Practice in Distributed Systems
Lecture Notes in Computer Science, Springer-Verlag
1995
The System Architect's Assistant - A Visual Environment for Distributed Programming
Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay
Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28)
1995
A Constructive Development Environment for Parallel and Distributed Programs
Jeff Magee, Naranker Dulay, Jeff Kramer
Proceedings 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2)
IEEE Computer Society Press
1994
Modelling Darwin in the Pi-calculus
Jeff Magee, Susan Eisenbach, Jeff Kramer
International Workshop on Theory and Practice in Distributed Systems
Springer-Verlag
1994
Specifying the Concurrent Programming System Regis in the Pi-Calculus [PDF]
Susan Eisenbach, Jeff Kramer, Jeff Magee
Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh
1994

Technical Report

Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models [PDF]
Sebastian Uchitel, Jeff Magee, Jeff Kramer, Emmanuel Letier
Technical Report
Imperial College London, Department of Computing
March, 2004

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.