Computing Publications

Publications Home » Authors » Prof Jeff Kramer

Authors

Prof Jeff Kramer

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
March, 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
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
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
June, 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]
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
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 [PDF]
Lucio Duarte, Jeff Kramer, Sebastian Uchitel
ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genoa, 2006
September, 2006
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
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
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 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
July, 2002
Negative scenarios for implied scenario elicitation [PDF]
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 [PDF]
Sebastian Uchitel, Jeff Kramer
23rd international conference on software engineering (ICSE 2001), Toronto, Canada
IEEE Computer Soc
April, 2001
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
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]
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
ICSE-97 Workshop on "Living with Inconsistency", Boston
University of Oregon
1997
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 Reports

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
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
August, 2001

BibTeX file for these publications

 

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