Jeff Kramer
Jeff Kramer
Professor of Computing, Imperial College
Verified email at - Homepage
Cited by
Cited by
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013
State models and java programs
J Magee, J Kramer
wiley, 1999
Specifying distributed software architectures
J Magee, N Dulay, S Eisenbach, J Kramer
Software Engineering—ESEC'95: 5th European Software Engineering Conference …, 1995
The evolving philosophers problem: Dynamic change management
J Kramer, J Magee
IEEE Transactions on software engineering 16 (11), 1293-1306, 1990
Self-managed systems: an architectural challenge
J Kramer, J Magee
Future of Software Engineering (FOSE'07), 259-268, 2007
The Koala component model for consumer electronics software
R Van Ommering, F Van Der Linden, J Kramer, J Magee
Computer 33 (3), 78-85, 2000
Dynamic structure in software architectures
J Magee, J Kramer
ACM SIGSOFT Software Engineering Notes 21 (6), 3-14, 1996
Viewpoints: A framework for integrating multiple perspectives in system development
A Finkelstein, J Kramer, B Nuseibeh, L Finkelstein, M Goedicke
International Journal of Software Engineering and Knowledge Engineering 2 …, 1992
A framework for expressing the relationships between multiple views in requirements specification
B Nuseibeh, J Kramer, A Finkelstein
IEEE Transactions on software engineering 20 (10), 760-773, 1994
Inconsistency handling in multiperspective specifications
ACW Finkelstein, D Gabbay, A Hunter, J Kramer, B Nuseibeh
IEEE Transactions on Software Engineering 20 (8), 569-578, 1994
Model-based verification of web service compositions
H Foster, S Uchitel, J Magee, J Kramer
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
Is abstraction the key to computing?
J Kramer
Communications of the ACM 50 (4), 36-42, 2007
Dynamic configuration for distributed systems
J Kramer, J Magee
IEEE Transactions on Software Engineering, 424-436, 1985
Software process modelling and technology
A Finkelstein, J Kramer, B Nuseibeh
(No Title), 1994
Constructing distributed systems in Conic
J Magee, J Kramer, M Sloman
IEEE transactions on software engineering 15 (6), 663-675, 1989
Regis: A constructive development environment for distributed programs
J Magee, N Dulay, J Kramer
Distributed Systems Engineering 1 (5), 304, 1994
Self-organising software architectures for distributed systems
I Georgiadis, J Magee, J Kramer
Proceedings of the first workshop on Self-healing systems, 33-38, 2002
Synthesis of behavioral models from scenarios
S Uchitel, J Kramer, J Magee
IEEE Transactions on Software Engineering 29 (2), 99-115, 2003
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
S Uchitel, J Kramer, J Magee
ACM Transactions on Software Engineering and Methodology (TOSEM) 13 (1), 37-85, 2004
Structuring parallel and distributed programs
J Magee, N Dulay, J Kramer
Software Engineering Journal 8 (2), 73-82, 1993
The system can't perform the operation now. Try again later.
Articles 1–20