| 2008 |
|---|
| 132 | EE | Lucio Mauro Duarte,
Jeff Kramer,
Sebastián Uchitel:
Towards Faithful Model Extraction Based on Contexts.
FASE 2008: 101-115 |
| 131 | EE | Orit Hazzan,
Jeff Kramer:
The role of abstraction in software engineering.
ICSE Companion 2008: 1045-1046 |
| 130 | EE | Leon J. Osterweil,
Carlo Ghezzi,
Jeff Kramer,
Alexander L. Wolf:
Determining the Impact of Software Engineering Research on Practice.
IEEE Computer 41(3): 39-49 (2008) |
| 2007 |
|---|
| 129 | EE | Howard Foster,
Wolfgang Emmerich,
Jeff Kramer,
Jeff Magee,
David S. Rosenblum,
Sebastián Uchitel:
Model checking service compositions under resource constraints.
ESEC/SIGSOFT FSE 2007: 225-234 |
| 128 | EE | Gwen Salaün,
Jeff Kramer,
Frédéric Lang,
Jeff Magee:
Translating FSP into LOTOS and Networks of Automata.
IFM 2007: 558-578 |
| 127 | EE | Felipe Cantal de Sousa,
Nabor C. Mendonça,
Sebastián Uchitel,
Jeff Kramer:
Detecting Implied Scenarios from Execution Traces.
WCRE 2007: 50-59 |
| 126 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.
Test and Analysis of Web Services 2007: 87-119 |
| 125 | EE | Jeff Kramer:
Is abstraction the key to computing?
Commun. ACM 50(4): 36-42 (2007) |
| 124 | EE | Jeff Kramer:
Editorial: State of the Journal.
IEEE Trans. Software Eng. 33(1): 1 (2007) |
| 2006 |
|---|
| 123 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
Model-Based Analysis of Obligations in Web Service Choreography.
AICT/ICIW 2006: 149 |
| 122 | EE | Jeff Kramer:
Component-Based Modeling, Analysis and Animation.
CCGRID 2006: 62 |
| 121 | EE | Edoardo Bontà,
Marco Bernardo,
Jeff Magee,
Jeff Kramer:
Synthesizing Concurrency Control Components from Process Algebraic Specifications.
COORDINATION 2006: 28-43 |
| 120 | EE | Dan Hirsch,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Modes for Software Architectures.
EWSA 2006: 113-126 |
| 119 | EE | Jeff Kramer,
Orit Hazzan:
The role of abstraction in software engineering.
ICSE 2006: 1017-1018 |
| 118 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
LTSA-WS: a tool for model-based verification of web service compositions and choreography.
ICSE 2006: 771-774 |
| 117 | EE | Lucio Mauro Duarte,
Jeff Kramer,
Sebastián Uchitel:
Model Extraction Using Context Information.
MoDELS 2006: 380-394 |
| 116 | EE | Jeff Kramer:
Distributed Software Engineering: a Rigorous Architectural Approach.
QSIC 2006: 7-9 |
| 115 | EE | Jeff Kramer,
Orit Hazzan:
The Role of Abstraction in Software Engineering.
ACM SIGSOFT Software Engineering Notes 31(6): 38-39 (2006) |
| 114 | EE | Jeff Kramer:
Editorial: A Message from the New Editor-in-Chief.
IEEE Trans. Software Eng. 32(1): 2-3 (2006) |
| 113 | EE | Jeff Kramer:
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng. 32(10): 769-770 (2006) |
| 112 | EE | Jeff Kramer:
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng. 32(3): 137-139 (2006) |
| 111 | EE | Sebastián Uchitel,
Robert Chatley,
Jeff Kramer,
Jeff Magee:
Goal and scenario validation: a fluent combination.
Requir. Eng. 11(2): 123-137 (2006) |
| 110 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Jeff Kramer,
Ernesto Pimentel:
Preface.
Sci. Comput. Program. 61(2): 73-74 (2006) |
| 2005 |
|---|
| 109 | EE | Jeff Kramer,
Jeff Magee:
Engineering distributed software: a structural discipline.
ESEC/SIGSOFT FSE 2005: 283-285 |
| 108 | EE | Emmanuel Letier,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Fluent temporal logic for discrete-time event-based models.
ESEC/SIGSOFT FSE 2005: 70-79 |
| 107 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
Leveraging Eclipse for integrated model-based engineering of web service compositions.
ETX 2005: 95-99 |
| 106 | EE | Emmanuel Letier,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Monitoring and control in scenario-based requirements analysis.
ICSE 2005: 382-391 |
| 105 | EE | Robert Chatley,
Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Fluent-based web animation: exploring goals for requirements validation.
ICSE 2005: 674-675 |
| 104 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
Tool Support for Model-Based Engineering of Web Service Compositions.
ICWS 2005: 95-102 |
| 103 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer,
Michael Hu:
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
IEEE SCC 2005: 217-224 |
| 102 | EE | Leon J. Osterweil,
Carlo Ghezzi,
Jeff Kramer,
Alexander L. Wolf:
Editorial.
ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005) |
| 2004 |
|---|
| 101 | | David Garlan,
Jeff Kramer,
Alexander L. Wolf:
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004
ACM 2004 |
| 100 | EE | Jeff Magee,
Jeff Kramer:
Model-Based Design of Concurrent Programs.
25 Years Communicating Sequential Processes 2004: 211-219 |
| 99 | EE | Robert Chatley,
Susan Eisenbach,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Predictable Dynamic Plugin Systems.
FASE 2004: 129-143 |
| 98 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
Compatibility Verification for Web Service Choreography.
ICWS 2004: 738-741 |
| 97 | EE | Sebastián Uchitel,
Robert Chatley,
Jeff Kramer,
Jeff Magee:
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.
RE 2004: 208-217 |
| 96 | EE | Sebastián Uchitel,
Robert Chatley,
Jeff Kramer,
Jeff Magee:
System architecture: the context for scenario-based model synthesis.
SIGSOFT FSE 2004: 33-42 |
| 95 | EE | Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.
ACM Trans. Softw. Eng. Methodol. 13(1): 37-85 (2004) |
| 2003 |
|---|
| 94 | EE | Howard Foster,
Sebastián Uchitel,
Jeff Magee,
Jeff Kramer:
Model-based Verification of Web Service Compositions.
ASE 2003: 152-163 |
| 93 | EE | Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Behaviour model elaboration using partial labelled transition systems.
ESEC / SIGSOFT FSE 2003: 19-27 |
| 92 | | Robert Chatley,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Visual methods for web application design.
HCC 2003: 242-244 |
| 91 | EE | Bashar Nuseibeh,
Jeff Kramer,
Anthony Finkelstein:
ViewPoints: meaningful relationships are difficult!
ICSE 2003: 676-683 |
| 90 | EE | Robert Chatley,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Model-based Simulation of Web Applications for Usability Assessment.
ICSE Workshop on SE-HCI 2003: 5-11 |
| 89 | EE | Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Software Architecture Modeling & Analysis: A Rigorous Approach.
SFM 2003: 44-51 |
| 88 | EE | Sebastián Uchitel,
Robert Chatley,
Jeff Kramer,
Jeff Magee:
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.
TACAS 2003: 597-601 |
| 87 | | Artur S. d'Avila Garcez,
Alessandra Russo,
Bashar Nuseibeh,
Jeff Kramer:
Combining abductive reasoning and inductive learning to evolve requirements specifications.
IEE Proceedings - Software 150(1): 25-38 (2003) |
| 86 | EE | Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Synthesis of Behavioral Models from Scenarios.
IEEE Trans. Software Eng. 29(2): 99-115 (2003) |
| 2002 |
|---|
| 85 | | David Garlan,
Jeff Kramer,
Alexander L. Wolf:
Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002
ACM 2002 |
| 84 | EE | Alessandra Russo,
Rob Miller,
Bashar Nuseibeh,
Jeff Kramer:
An Abductive Approach for Analysing Event-Based Requirements Specifications.
ICLP 2002: 22-37 |
| 83 | EE | Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Negative scenarios for implied scenario elicitation.
SIGSOFT FSE 2002: 109-118 |
| 82 | EE | Ioannis Georgiadis,
Jeff Magee,
Jeff Kramer:
Self-organising software architectures for distributed systems.
WOSS 2002: 33-38 |
| 81 | EE | Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Implied Scenario Detection in the Presence of Behaviour Constraints.
Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
| 2001 |
|---|
| 80 | EE | Jeff Kramer:
Making Meaningful Models for Mere Mortal.
ACSD 2001: 11-12 |
| 79 | EE | Artur S. d'Avila Garcez,
Alessandra Russo,
Bashar Nuseibeh,
Jeff Kramer:
An Analysis-Revision Cycle to Evolve Requirements Specifications.
ASE 2001: 354-358 |
| 78 | EE | Sebastián Uchitel,
Jeff Kramer,
Jeff Magee:
Detecting implied scenarios in message sequence chart specifications.
ESEC / SIGSOFT FSE 2001: 74-82 |
| 77 | | Sebastián Uchitel,
Jeff Kramer:
A Workbench for Synthesising Behaviour Models from Scenarios.
ICSE 2001: 188-197 |
| 76 | | Jaelson Castro,
Jeff Kramer:
From Software Requirements to Architectures.
ICSE 2001: 764-765 |
| 75 | | Nabor C. Mendonça,
Jeff Kramer:
An Approach for Recovering Distributed System Architectures.
Autom. Softw. Eng. 8(3-4): 311-354 (2001) |
| 74 | EE | Jeff Kramer,
David Garlan,
David S. Rosenblum:
Guest Editors' Introduction: 1999 International Conference on Software Engineering.
IEEE Trans. Software Eng. 27(2): 97-98 (2001) |
| 2000 |
|---|
| 73 | EE | Jeff Magee,
Nat Pryce,
Dimitra Giannakopoulou,
Jeff Kramer:
Graphical animation of behavior models.
ICSE 2000: 499-508 |
| 72 | EE | Leon J. Osterweil,
Barry W. Boehm,
Michael Evangelist,
Volker Gruhn,
Jeff Kramer,
Edward F. Miller:
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
ICSE 2000: 660 |
| 71 | EE | Anthony Finkelstein,
Jeff Kramer:
Software engineering: a roadmap.
ICSE - Future of SE Track 2000: 3-22 |
| 70 | EE | Jeff Magee,
Jeff Kramer,
Bashar Nuseibeh,
David Bush,
Julia Sonander:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.
IWSSD 2000: 3-10 |
| 69 | EE | Leon J. Osterweil,
Lori A. Clarke,
Michael Evangelist,
Jeff Kramer,
H. Dieter Rombach,
Alexander L. Wolf:
The impact project: determining the impact of software engineering research upon practice (panel session).
SIGSOFT FSE 2000: 108-109 |
| 68 | | Rob C. van Ommering,
Frank van der Linden,
Jeff Kramer,
Jeff Magee:
The Koala Component Model for Consumer Electronics Software.
IEEE Computer 33(3): 78-85 (2000) |
| 1999 |
|---|
| 67 | EE | Dimitra Giannakopoulou,
Jeff Magee,
Jeff Kramer:
Checking Progress with Action Priority: Is it Fair?
ESEC / SIGSOFT FSE 1999: 511-527 |
| 66 | EE | Nabor C. Mendonça,
Jeff Kramer:
Component Module Classification for Distributed Software Understanding.
ICSM 1999: 119- |
| 65 | EE | Jeff Kramer,
Jeff Magee:
Modelling for Mere Mortals.
TACAS 1999: 1-18 |
| 64 | | Jeff Magee,
Jeff Kramer,
Dimitra Giannakopoulou:
Behaviour Analysis of Software Architectures.
WICSA 1999: 35-50 |
| 63 | EE | Shing-Chi Cheung,
Jeff Kramer:
Checking Safety Properties Using Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999) |
| 62 | | Dimitra Giannakopoulou,
Jeff Kramer,
Shing-Chi Cheung:
Behaviour Analysis of Distributed Systems Using the Tracta Approach.
Autom. Softw. Eng. 6(1): 7-35 (1999) |
| 61 | EE | Andrea Zisman,
Jeff Kramer:
An approach to interoperation between autonomous database systems.
Distributed Systems Engineering 6(4): 135- (1999) |
| 60 | | Alessandra Russo,
Bashar Nuseibeh,
Jeff Kramer:
Restructuring requirement specifications.
IEE Proceedings - Software 146(1): 44-50 (1999) |
| 1998 |
|---|
| 59 | EE | Nabor C. Mendonça,
Jeff Kramer:
An Experiment in Distributed Software Architecture Recovery.
ESPRIT ARES Workshop 1998: 106-114 |
| 58 | EE | Dewayne E. Perry,
Jeff Kramer:
Session 2: Architectural Description.
ESPRIT ARES Workshop 1998: 49-50 |
| 57 | EE | Alessandra Russo,
Bashar Nuseibeh,
Jeff Kramer:
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.
ICRE 1998: 51- |
| 56 | EE | Nabor C. Mendonça,
Jeff Kramer:
Developing an Approach for the Recovery of Distributed Software Architectures.
IWPC 1998: 28- |
| 55 | | Jeff Kramer,
Jeff Magee:
Analysing dynamic change in distributed software architectures.
IEE Proceedings - Software 145(5): 146-154 (1998) |
| 1997 |
|---|
| 54 | EE | Andrea Zisman,
Jeff Kramer:
Supporting Interoperability of Autonomous Hospital Databases: A Case Study.
ADBIS 1997: 285-294 |
| 53 | | Jeff Kramer,
Jeff Magee:
Exposing the Skeleton in the Coordination Closet.
COORDINATION 1997: 18-31 |
| 52 | EE | Nabor C. Mendonça,
Jeff Kramer:
A Quality-Based Analysis of Architecture Recovery Environments.
CSMR 1997: 54-59 |
| 51 | EE | Shing-Chi Cheung,
Dimitra Giannakopoulou,
Jeff Kramer:
Verification of Liveness Properties Using Compositional Reachability Analysis.
ESEC / SIGSOFT FSE 1997: 227-243 |
| 50 | EE | Jeff Magee,
Jeff Kramer,
Dimitra Giannakopoulou:
Analysing the behaviour of distributed software architectures: a case study.
FTDCS 1997: 240-247 |
| 49 | EE | Jeff Kramer,
Jeff Magee:
Distributed Software Architectures (Tutorial).
ICSE 1997: 633-634 |
| 48 | EE | Celso M. Hirata,
Jeff Kramer:
An investigation of the use of world views with shared variables in Time Warp.
Simul. Pr. Theory 5(6): 515-533 (1997) |
| 1996 |
|---|
| 47 | EE | Shing-Chi Cheung,
Jeff Kramer:
Checking Subsystem Safety Properties in Compositional Reachability Analysis.
ICSE 1996: 144-154 |
| 46 | EE | Jeff Magee,
Jeff Kramer:
Dynamic Structure in Software Architectures.
SIGSOFT FSE 1996: 3-14 |
| 45 | EE | Shing-Chi Cheung,
Jeff Kramer:
Context Constraints for Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996) |
| 44 | | Keng Ng,
Jeff Kramer,
Jeff Magee:
A CASE Tool for Software Architecture Design.
Autom. Softw. Eng. 3(3/4): 261-284 (1996) |
| 43 | EE | Bashar Nuseibeh,
Anthony Finkelstein,
Jeff Kramer:
Method engineering for multi-perspective software development.
Information & Software Technology 38(4): 267-274 (1996) |
| 1995 |
|---|
| 42 | EE | Celso M. Hirata,
Jeff Kramer:
An implementation of a technique for sharing variables in Time Warp.
Annual Simulation Symposium 1995: 13-21 |
| 41 | | Jeff Magee,
Naranker Dulay,
Susan Eisenbach,
Jeff Kramer:
Specifying Distributed Software Architectures.
ESEC 1995: 137-153 |
| 40 | | Bashar Nuseibeh,
Jeff Kramer,
Anthony Finkelstein,
Ulf Leonhardt:
Decentralised Process Modelling.
EWSPT 1995: 185-188 |
| 39 | EE | Keng Ng,
Jeff Kramer,
Jeff Magee,
Naranker Dulay:
The Software Architect's Assistant-a visual environment for distributed programming.
HICSS (2) 1995: 254-263 |
| 38 | EE | Ulf Leonhardt,
Jeff Kramer,
Bashar Nuseibeh:
Decentralised Process Enactment in a Multi-Perspective Development Environment.
ICSE 1995: 255-264 |
| 37 | | Steve Crane,
Naranker Dulay,
Halldor Fosså,
Jeff Kramer,
Jeff Magee,
Morris Sloman,
Kevin P. Twidle:
Configuration management for distributed software services.
Integrated Network Management 1995: 29-42 |
| 36 | EE | Shing-Chi Cheung,
Jeff Kramer:
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.
SIGSOFT FSE 1995: 140-150 |
| 35 | | Shing-Chi Cheung,
Jeff Kramer:
Contextual Local Analysis in the Design of Distributed Systems.
Autom. Softw. Eng. 2(1): 5-32 (1995) |
| 1994 |
|---|
| 34 | | Jeff Magee,
Susan Eisenbach,
Jeff Kramer:
Modelling Darwin in the Pi-Caculus.
Dagstuhl Seminar on Distributed Systems 1994: 133-152 |
| 33 | | Orly Kremien,
Jeff Kramer:
Providing High Performance Distributed Computing Through Scalable Computation Servers.
HPDC 1994: 70-77 |
| 32 | EE | Jeff Kramer:
Distributed Software Engineering.
ICSE 1994: 253-263 |
| 31 | EE | Shing-Chi Cheung,
Jeff Kramer:
An Integrated Method for Effective Behaviour Analysis of Distributed Systems.
ICSE 1994: 309-320 |
| 30 | EE | Jeff Kramer:
Exoskeletal Software.
ICSE 1994: 366 |
| 29 | EE | Jeff Magee,
Naranker Dulay,
Jeff Kramer:
Regis: a constructive development environment for distributed programs.
Distributed Systems Engineering 1(5): 304-312 (1994) |
| 28 | EE | Bashar Nuseibeh,
Jeff Kramer,
Anthony Finkelstein:
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.
IEEE Trans. Software Eng. 20(10): 760-773 (1994) |
| 27 | EE | Anthony Finkelstein,
Dov M. Gabbay,
Anthony Hunter,
Jeff Kramer,
Bashar Nuseibeh:
Inconsistency Handling in Multperspective Specifications.
IEEE Trans. Software Eng. 20(8): 569-578 (1994) |
| 26 | EE | Shing-Chi Cheung,
Jeff Kramer:
Tractable Dataflow Analysis for Distributed Systems.
IEEE Trans. Software Eng. 20(8): 579-593 (1994) |
| 1993 |
|---|
| 25 | | Shing-Chi Cheung,
Jeff Kramer:
Tractable Flow Analysis for Anomaly Detection in Distributed Programs.
ESEC 1993: 283-300 |
| 24 | | Anthony Finkelstein,
Dov M. Gabbay,
Anthony Hunter,
Jeff Kramer,
Bashar Nuseibeh:
Inconsistency Handling in Multi-Perspective Specifications.
ESEC 1993: 84-99 |
| 23 | EE | Bashar Nuseibeh,
Jeff Kramer,
Anthony Finkelstein:
Expressing the Relationships Between Multiple Views in Requirements Specification.
ICSE 1993: 187-196 |
| 22 | | Jeff Kramer,
Anthony Finkelstein,
Bashar Nuseibeh:
Method Integration and Support for Distributed Software Development: An Overview.
ICSE Workshop on Studies of Software Design 1993: 115-126 |
| 21 | | Bashar Nuseibeh,
Anthony Finkelstein,
Jeff Kramer:
Fine-Grain Process Modelling.
IWSSD 1993: 42-46 |
| 20 | EE | Shing-Chi Cheung,
Jeff Kramer:
Enhancing Compositional Reachability Analysis with Context Constraints.
SIGSOFT FSE 1993: 115-125 |
| 19 | | Anthony Finkelstein,
Jeff Kramer,
Samson Abramsky,
Krysia Broda,
Sophia Drossopoulou,
Susan Eisenbach:
An Integrated Engineering Study Scheme in Computing.
Comput. J. 36(4): 320-334 (1993) |
| 1992 |
|---|
| 18 | EE | Jeff Kramer,
Jeff Magee,
Morris Sloman:
Configuring distributed systems.
ACM SIGOPS European Workshop 1992 |
| 17 | EE | Orly Kremien,
Jeff Kramer:
Methodical Analysis of Adaptive Load Sharing Algorithms.
IEEE Trans. Parallel Distrib. Syst. 3(6): 747-760 (1992) |
| 1991 |
|---|
| 16 | | Jeff Kramer:
CASE Support for the Software Process: A Research Viewpoint.
ESEC 1991: 499-503 |
| 15 | | Jeff Kramer,
Anthony Finkelstein:
A Configurable Framework for Method and Tool Integration.
Software Development Environments and CASE Technology 1991: 233-257 |
| 1990 |
|---|
| 14 | | Jeff Kramer,
Jeff Magee,
Anthony Finkelstein:
A Constructive Approach to the Design of Distributed Systems.
ICDCS 1990: 580-587 |
| 13 | EE | Jeff Kramer,
Jeff Magee:
The Evolving Philosophers Problem: Dynamic Change Management.
IEEE Trans. Software Eng. 16(11): 1293-1306 (1990) |
| 1989 |
|---|
| 12 | | Anthony Finkelstein,
Michael Goedicke,
Jeff Kramer,
Celso Niskier:
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering.
Algebraic Methods 1989: 29-54 |
| 11 | | Jeff Kramer,
Jeff Magee,
Keng Ng:
Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics.
IEEE Computer 22(10): 53-65 (1989) |
| 10 | EE | Jeff Magee,
Jeff Kramer,
Morris Sloman:
Constructing Distributed Systems in Conic.
IEEE Trans. Software Eng. 15(6): 663-675 (1989) |
| 1988 |
|---|
| 9 | EE | Jeff Kramer,
Jeff Magee:
Change management of distributed systems.
ACM SIGOPS European Workshop 1988 |
| 8 | | Jeff Kramer,
Nr Keng:
Animation of Requirements Specifications.
Softw., Pract. Exper. 18(8): 749-774 (1988) |
| 1987 |
|---|
| 7 | | Naranker Dulay,
Jeff Kramer,
Jeff Magee,
Morris Sloman,
Kevin P. Twidle:
Distributed System Construction: Experience with the Conic Toolkit.
Experiences with Distributed Systems 1987: 189-212 |
| 1985 |
|---|
| 6 | | Jeff Kramer,
Jeff Magee:
Dynamic Configuration for Distributed Systems.
IEEE Trans. Software Eng. 11(4): 424-436 (1985) |
| 1984 |
|---|
| 5 | | Jeff Kramer,
Jeff Magee:
Environment requirements for system evolution.
ISPW 1984: 77-85 |
| 1982 |
|---|
| 4 | | Jeff Kramer:
Distributed computer systems: two views.
Conference on Operating Systems 1982: 84-98 |
| 1981 |
|---|
| 3 | | Jeff Kramer,
Jeff Magee,
Morris Sloman:
Intertask Communication Primitives for Distributed Computer Control Systems.
ICDCS 1981: 404-411 |
| 1979 |
|---|
| 2 | | Jeff Kramer,
Jim Cunningham:
Invariants for Specifications.
ICSE 1979: 183-193 |
| 1978 |
|---|
| 1 | | Jim Cunningham,
Jeff Kramer:
An Exercise in Program Design Using SIMULA Class Invariants.
Softw., Pract. Exper. 8(3): 355-369 (1978) |
