Publications Home » Authors » Prof Jeff Kramer
Authors
Prof Jeff Kramer
On this page:
75 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
- April, 2006
- Concurrency: State Models & Java Programs
- Jeff Kramer, Jeff Magee
- pp.1–355
- Worldwide Series in Computer Science, John Wiley & Sons
- March, 1999
- Distributed Systems and Computer Networks
- Jeff Kramer, Morris Sloman
- pp.1–336
- Prof. C. A. R. Hoare Series, Prentice Hall
- November, 1986
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
- September, 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
- Method Integration and Support for Distributed Software Development: an overview
- Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh
- ICSE '93 Workshop on Studies of Software Design', Baltimore, Maryland, May 1993
- pp.115–126
- Lecture Notes in Computer Science, Springer-Verlag
- 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
- July, 1995
- 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
- Distributed Systems
- Jeff Kramer
- Network and Distributed Systems Management
- pp.47–66
- Addison-Wesley
- 1994
- ViewPoint-Oriented Development: applications in composite systems
- Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
- Safety-Critical Systems: Current issues, techniques and standards
- pp.90–101
- Chapman & Hall
- 1993
- Configuration Programming - Exploiting Component Reuse in Distributed Systems
- Jeff Kramer
- Software Reuse and Reverse Engineering in Practice
- pp.415–442
- Chapman & Hall
- 1992
- Process Modelling: a Critical Analysis
- Anthony Finkelstein, Jeff Kramer, Michael Hales
- Integrated Software Engineering with Reuse: mamagement and techniques
- pp.137–148
- Chapman & Hall
- 1992
- TARA: Tool Assisted Requirements Analysis
- Jeff Kramer, Anthony Finkelstein
- Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development
- pp.413–432
- John Wiley & Sons
- 1992
- 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
- ViewPoint Oriented Software Development: Methods and Viewpoints in Requirements Engineering
- Jeff Kramer, Anthony Finkelstein, Michael Goedicke, Celso Niskier
- Algebraic Methods II: Theory, Tools and Applications
- pp.29–54
- Lecture Notes in Computer Science, Springer-Verlag
- 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
- Distributed Computer Systems : Two Views
- Jeff Kramer, Donald Knuth, Erich J Neuhold
- Specification and Design of Software Systems
- Lecture Notes in Computer Science, Springer-Verlag
- 1983
Journal Articles
- Goal and scenario validation: a fluent combination
![[PDF]](/decor/icon-pdf-mini.png)
- 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
- Sebastian Uchitel, Jeff Kramer, Jeff Magee
- ACM Transactions on Software Engineering and Methodology
- Volume 13, Issue 1
- 2004
- Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications (2003)
- Artur d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
- Volume 150, Issue 1, pp.25–38
- IEE
- February, 2003
- 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
- Restructuring Requirements Specifications
- Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
- IEE Proceedings - Software
- Volume 146, Issue 1, pp.44–53
- IEE
- 1999
- 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
- Invariants in the Application-Oriented Specification of Control Systems
- Jeff Kramer, S. J. Goldsack
- Automatica
- Volume 18, pp.71–76
- 1982
- An Exercise in Program Design Using Simula Class Invariants
- Jeff Kramer, Jim Cunningham
- Software: Practice and Experience
- Volume 8
- 1978
- Comments on "Generating structured flow diagrams: the nature of unstructuredness"
- Jeff Kramer
- The Computer Journal
- Volume 20, pp.382–383
- 1977
Conference and Workshop Papers
- Model Extraction Based on Context Information
- Lucio Duarte, Jeff Kramer, Sebastian Uchitel
- ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genoa, 2006
- October, 2006
- Modes for Software Architectures
- Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel
- Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006
- September, 2006
- WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography
- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
- IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
- May, 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.
- May, 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
- 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
- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
- IEEE International Conference on Requirements Engineering (RE'04), Kyoto, Japan, 2004
- Springer
- 2004
- Predictable dynamic plugin systems
- Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel
- 7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN
- Springer-Verlag
- 2004
- Behaviour model elaboration using partial labelled transition systems
- 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
- 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 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
- An Abductive Approach for Analysing Event-Based Requirements Specifications.
- Jeff Kramer
- 18th International Conference on Logic Programming
- Volume 2401
- Springer Verlag
- 2002
- An Abductive Approach for Analysing Event-Based Requirements Specifications.
- Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
- 18th International Conference on Logic Programming
- Volume 2401, pp.22–37
- Springer Verlag
- August, 2002
- Negative scenarios for implied scenario elicitation
- Sebastian Uchitel, Jeff Kramer, Jeff Magee
- Foundations of software engineering
- Volume 27
- ACM
- 2002
- An Analysis-Revision Cycle to Evolve Requirements Specifications.
- Artur dAvila Garcez, Alessandra Russo, Jeff Kramer, Bashar Nuseibeh
- 16th IEEE International Conference on Automated Software Engineering
- IEEE
- November, 2001
- A workbench for synthesising behaviour models from scenarios
- Sebastian Uchitel, Jeff Kramer
- 23rd international conference on software engineering (ICSE 2001), Toronto, Canada
- IEEE Computer Soc
- May, 2001
- Detecting implied scenarios in message sequence chart specifications
- 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
- An Abductive Approach for Handling Inconsistencies in SCR Specifications
- Alessandra Russo, Robert Miller, Bashar Nuseibeh, Jeff Kramer
- 3rd (ICSE) International Workshop on Intelligent Software Engineering (WISE-3)
- pp.80–89
- 2000
- 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
- Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study
- Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
- 3rd International Conference on Requirements Engineering (ICRE'98)
- pp.51–60
- IEEE Computer Society Press
- 1998
- Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study
![[Postscript]](/decor/icon-ps-mini.png)
- Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
- ICSE-97 Workshop on "Living with Inconsistency", Boston
- University of Oregon
- 1997
- Configuration Management for Distributed Software Services
- 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
- 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?
- 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
- Susan Eisenbach, Jeff Kramer, Jeff Magee
- Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh
- 1994
Technical Reports
- Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models
- Sebastian Uchitel, Jeff Magee, Jeff Kramer, Emmanuel Letier
- Technical Report
- Imperial College London, Department of Computing
- April, 2004
- An Abductive Approach for Analysing Event-based Specifications
- Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
- Technical Report
- Imperial College of Science, Technology and Medicine, Department of Computing
- September, 2001
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.