J
Jeff Kramer
Researcher at Imperial College London
Publications - 268
Citations - 18760
Jeff Kramer is an academic researcher from Imperial College London. The author has contributed to research in topics: Software system & Software development. The author has an hindex of 60, co-authored 267 publications receiving 18338 citations. Previous affiliations of Jeff Kramer include University of London & Queen's University.
Papers
More filters
Proceedings ArticleDOI
Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation
TL;DR: The aim of this work is to provide effective graphical animations as a means of validating scenarios and goals as well as exploiting the relation between goals and scenarios.
Journal ArticleDOI
Tool support for requirements analysis
TL;DR: This paper describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation.
Proceedings ArticleDOI
The System Architect's Assistant for design and construction of distributed systems
TL;DR: The authors outline current work on the provision of an architectural methodology and graphical support tool, the System Architect's Assistant, for the design and engineering of distributed systems.
Proceedings ArticleDOI
The role of abstraction in software engineering
Jeff Kramer,Orit Hazzan +1 more
TL;DR: The role of abstraction in dealing with complexity in the software engineering process is explored, to discuss how the use of different levels of abstraction may facilitate performance of different activities, and to examine whether or not abstraction skills can be taught.
Proceedings ArticleDOI
An integrated method for effective behaviour analysis of distributed systems
Shing-Chi Cheung,Jeff Kramer +1 more
TL;DR: This paper presents a method which integrates dataflow and reachability analysis techniques to provide a flexible and effective means for analysing distributed systems at the preliminary and final design stages respectively and describes some effective measures taken to improve the adequacy of the individual analysis techniques using the concepts of action dependency and context constraints.