关注
Jeff Kramer
Jeff Kramer
Professor of Computing, Imperial College
在 imperial.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
23982013
State models and java programs
J Magee, J Kramer
wiley, 1999
16541999
Specifying distributed software architectures
J Magee, N Dulay, S Eisenbach, J Kramer
Software Engineering—ESEC'95: 5th European Software Engineering Conference …, 1995
13311995
The evolving philosophers problem: Dynamic change management
J Kramer, J Magee
IEEE Transactions on software engineering 16 (11), 1293-1306, 1990
12101990
Self-managed systems: an architectural challenge
J Kramer, J Magee
Future of Software Engineering (FOSE'07), 259-268, 2007
11522007
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
10902000
Dynamic structure in software architectures
J Magee, J Kramer
ACM SIGSOFT Software Engineering Notes 21 (6), 3-14, 1996
9521996
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
8281992
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
8081994
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
7531994
Is abstraction the key to computing?
J Kramer
Communications of the ACM 50 (4), 36-42, 2007
7312007
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
7162003
Dynamic configuration for distributed systems
J Kramer, J Magee
IEEE Transactions on Software Engineering, 424-436, 1985
5321985
Software process modelling and technology
A Finkelstein, J Kramer, B Nuseibeh
(No Title), 1994
4891994
Constructing distributed systems in Conic
J Magee, J Kramer, M Sloman
IEEE transactions on software engineering 15 (6), 663-675, 1989
4761989
Regis: A constructive development environment for distributed programs
J Magee, N Dulay, J Kramer
Distributed Systems Engineering 1 (5), 304, 1994
446*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
3942002
Synthesis of behavioral models from scenarios
S Uchitel, J Kramer, J Magee
IEEE Transactions on Software Engineering 29 (2), 99-115, 2003
3792003
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
2662004
Structuring parallel and distributed programs
J Magee, N Dulay, J Kramer
Software Engineering Journal 8 (2), 73-82, 1993
2521993
系统目前无法执行此操作,请稍后再试。
文章 1–20