Imperial College London
Alternate

Professor Jeff Magee

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8601j.magee Website

 
 
//

Assistant

 

Mrs Clare Pearson +44 (0)20 7594 8601

 
//

Location

 

2.06Faculty BuildingSouth Kensington Campus

//

Summary

 

Publications

Publication Type
Year
to

202 results found

Chatley R, Eisenbach S, Magee J, 2004, MagicBeans: a platform for deploying plugin components, Berlin, 2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004, Publisher: Springer-Verlag, Pages: 97-112

Conference paper

Uchitel S, Magee J, Kramer J, 2003, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering, Vol: 29, Pages: 99-115, ISSN: 0098-5589

Journal article

Uchitel S, Kramer J, Magee J, 2003, Synthesis of behavioral models from scenarios, 23rd International Conference on Software Engineering (ICSE 2001), Publisher: IEEE COMPUTER SOC, Pages: 99-115, ISSN: 0098-5589

Conference paper

Uchitel S, Kramer J, Magee J, 2003, Behaviour model elaboration using partial labelled transition systems, European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11), Publisher: ACM, Pages: 19-27, ISSN: 0163-5948

Conference paper

Chatley R, Kramer J, Magee J, Uchitel Set al., 2003, Visual methods for Web application design, Los Alamitos, IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, 2003, Publisher: IEEE Computer Soc, Pages: 242-244

Conference paper

Uchitel S, Chatley R, Kramer J, Magee Jet al., 2003, LTSA-MSC: tool support for behaviour model elaboration using implied scenarios, Berlin, Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Publisher: Springer-Verlag, Pages: 597-601

Conference paper

Kramer J, Magee JN, Uchitel S, 2003, Software architecture modeling and analysis: a rigorous approach, Publisher: Springer, ISBN: 9783540200833

Book chapter

Uchitel S, Chatley R, Kramer J, Magee Jet al., 2003, LTSA-MSC: tool support for behaviour model elaboration using implied scenarios, Berlin, Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Publisher: Springer-Verlag, Pages: 597-601

Conference paper

Foster H, Uchitel S, Magee J, Kramer Jet al., 2003, Model-based verification of web service compositions, Los Alamitos, 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003, Publisher: IEEE Computer Soc, Pages: 152-161

Conference paper

Uchitel S, Kramer J, Magee J, 2003, Behaviour model elaboration using partial labelled transition systems, European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11), Publisher: ACM, Pages: 19-27, ISSN: 0163-5948

Conference paper

Uchitel S, Kramer J, Magee J, 2003, Behaviour model elaboration using partial labelled transition systems, European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11), Publisher: ACM, Pages: 19-27, ISSN: 0163-5948

Conference paper

Chatley R, Kramer J, Magee J, Uchitel Set al., 2003, Model-based simulation of web applications for usability assessment, International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003

Conference paper

Chatley R, Kramer J, Magee J, Uchitel Set al., 2003, Model-based simulation of web applications for usability assessment, International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003

Conference paper

Kramer J, Magee J, Uchitel S, 2003, Software architecture modeling & analysis: a rigorous approach, Berlin, 3rd international school on formal methods for the design of computer, communication and software systems, Bertinoro, Italy, 2003, Publisher: Springer-Verlag, Pages: 44-51

Conference paper

Giannakopoulou D, Magee J, 2003, Fluent model checking for event-based systems, The 9th European software engineering conference, Publisher: ACM, Pages: 257-266

Conference paper

Chatley R, Eisenbach S, Magee J, 2003, Modelling a framework for plugins, Specification and verification of component-based systems, September 2003, Pages: 49-57

Conference paper

Ayles TP, Field AJ, Magee JN, Bennett AJet al., 2003, Adding performance evaluation to the LTSA tool, Tool demonstration, proceedings of 13th international conference on computer performance evaluation: modelling techniques and tools, September 2003

Conference paper

Foster H, Uchitel S, Magee J, Kramer Jet al., 2003, Model-based verification of web service compositions, Los Alamitos, 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003, Publisher: IEEE Computer Soc, Pages: 152-161

Conference paper

Uchitel S, Kramer J, Magee J, 2003, Modelling undefined behaviour in scenario synthesis, 2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003

Conference paper

Uchitel S, Chatley R, Kramer J, Magee Jet al., 2003, LTSA-MSC: tool support for behaviour model elaboration using implied scenarios, Berlin, Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Publisher: Springer-Verlag, Pages: 597-601

Conference paper

Mayer E, Siéroff E, 2002, Editorial, Revue de Neuropsychologie, Vol: 12, Pages: 1-5, ISSN: 1155-4452

Journal article

Uchitel S, Kramer J, Magee J, 2002, Implied scenario detection in the presence of behaviour constraints, Electronic Notes in Theoretical Computer Science, Vol: 65, Pages: 65-84, ISSN: 1571-0661

Scenario-based specifications describe how independent components interact to provide system level behaviour. The specified system decomposition and system behaviour can give rise to implied scenarios, which are the result of specifying the global behaviour of a system that will be implemented component-wise. The existence of implied scenarios is an indication that further validation with stakeholders must be done. An implied scenario can be accepted or rejected by stakeholders indicating that the implied scenario is acceptable system behaviour or a situation that should be avoided. In consequence, implied scenarios can be used to iteratively drive requirement elicitation. However, in order to do so, we must be capable of detecting implied scenarios in the presence of rejected implied scenarios, in other words in the presence of behaviour constraints. The contribution of this paper is a technique for detecting implied scenarios in message sequence chart (MSC) specifications that can be used in conjunction with behaviour constraints. The technique is based on building a Coordinator component that forces system components to follow the same sequence of basic MSCs as they go through a high-level MSC. The result is a model that behaves as specified in the MSC but does not comply with the MSC architecture. The resulting model is not a proposed implementation, rather a precise model of specified behaviour that can be used in combination with constrained implementation models to detect further implied scenarios. ©2002 Published by Elsevier Science B. V.

Journal article

Georgiadis I, Magee J, Kramer J, 2002, Self-organising software architectures for distributed systems, Charleston, South Carolina, WOSS '02: proceedings of the first workshop on self-healing systems, Publisher: ACM Press, Pages: 33-38

Conference paper

Georgiadis I, Magee J, Kramer J, 2002, Self-organising software architectures for distributed systems, Charleston, South Carolina, WOSS '02: proceedings of the first workshop on self-healing systems, Publisher: ACM Press, Pages: 33-38

Conference paper

Uchitel S, Kramer J, Magee J, 2002, Negative scenarios for implied scenario elicitation, Foundations of software engineering, Publisher: ACM, Pages: 109-118, ISSN: 0163-5948

Conference paper

Uchitel S, Kramer J, Magee J, 2002, Negative scenarios for implied scenario elicitation, Foundations of software engineering, Publisher: ACM, Pages: 109-118, ISSN: 0163-5948

Conference paper

Uchitel S, Kramer J, Magee J, 2001, Detecting implied scenarios in message sequence chart specifications, European software engineering conference, Publisher: ACM, Pages: 74-82, ISSN: 0163-5948

Conference paper

Uchitel S, Kramer J, Magee J, 2001, Detecting implied scenarios in message sequence chart specifications, European software engineering conference, Publisher: ACM, Pages: 74-82, ISSN: 0163-5948

Conference paper

Uchitel S, Kramer J, Magee J, 2001, From sequence diagrams to behaviour models, Workshop on transformations in UML, European conferences on therory and practice of software, Genoa, 2001

Conference paper

van Ommering R, van der Linden F, Kramer J, Magee Jet al., 2000, The Koala component model for consumer electronics software, COMPUTER, Vol: 33, Pages: 78-+, ISSN: 0018-9162

Journal article

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: limit=30&id=00003694&person=true&page=3&respub-action=search.html