Publications
362 results found
Foster H, Uchitel S, Magee JN, et al., 2006, Model-Based Analysis of Obligations in Web Service Choreography, IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC.
Bonta E, Bernardo M, Magee J, et al., 2006, Synthesizing concurrency control components from process algebraic specifications, 8th International Conference on Coordination Models and Languages (COORDINATION 2006), Publisher: SPRINGER-VERLAG BERLIN, Pages: 28-43, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 2
Duarte LM, Kramer J, Uchitel S, 2006, Model extraction using context information, 9th International Conference on Model Driven Engineering Languages and Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 380-394, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 10
Kramer J, 2006, Distributed software engineering: a rigorous architectural approach, 6th International Conference on Quality Software, Publisher: IEEE COMPUTER SOC, Pages: 7-9, ISSN: 1550-6002
Letier E, Kramer J, Magee J, et al., 2005, Monitoring and control in requirements analysis, Pages: 382-391
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the software-to-be and agents in the environment. Interactions correspond to the occurrence of an event that is controlled by one agent and monitored by another. This paper presents a technique to analyse requirements-level scenarios for unforeseen, potentially harmful, consequences. Our aim is to perform analysis early in system development, where it is highly cost-effective. The approach recognises the importance of monitoring and control issues and extends existing work on implied scenarios accordingly. These so-called input-output implied scenarios expose problematic behaviours in scenario descriptions that cannot be detected using standard implied scenarios. Validation of these implied scenarios supports requirements elaboration. We demonstrate the relevance of input-output implied scenarios using a number of examples. Copyright 2005 ACM.
Kramer J, Magee J, 2005, Engineering distributed software: A structural discipline, Pages: 283-285
The role of structure in specifying, designing, analysing, constructing and evolving software has been the central theme of our research in Distributed Software Engineering. This structural discipline dictates formalisms and techniques that are compositional, components that are context independent and systems that can be constructed and evolved incrementally, This extended abstract overviews our development of a structural approach to engineering distributed software and gives indications of our future work which moves from explicit to implicit structural specification. With the benefit of hindsight we attempt to give a "rational history" to our research. Copyright 2005 ACM.
Osterweil L, Ghezzi C, Kramer J, et al., 2005, Editorial, ACM Transactions on Software Engineering and Methodology, Vol: 14, Pages: 381-382, ISSN: 1049-331X
Chatley RB, Uchitel S, Kramer J, et al., 2005, Fluent-based web animation: exploring goals for requirements validation, 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
Chatley RB, Uchitel S, Kramer J, et al., 2005, Fluent-based web animation: exploring goals for requirements validation, 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
Magee J, Kramer J, 2005, Model-based design of concurrent programs, Symposium on 25 Years of Communicating Sequential Processes, Publisher: SPRINGER-VERLAG BERLIN, Pages: 211-219, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 1
Kramer J, Magee JN, Uchitel S, 2005, Monitoring and Control in Scenario-Based Requirements Analysis, 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
Foster H, Uchitel S, Magee JN, et al., 2005, Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.
Foster H, Kramer J, Magee JN, et al., 2005, Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study, IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005.
Kramer J, Magee J, 2005, Model-based Design of Concurrent Programs, Communicating Sequential Processes: The First 25 Years, Publisher: Springer-Verlag, Pages: 211-219
Letiier E, Kramer J, Magee JN, et al., 2005, Monitoring and control in scenario-based requirements analysis, 27th IEEE/ACM International Conference on Software Engineering (ICSE), Pages: 382-391
Uchitel S, 2005, Fluent Temporal Logic for Discrete-Time Event-Based Models, Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lisbon, Portugal, 2005., Publisher: ACM, Pages: 70-79
Uchitel S, Chatley RB, Kramer J, et al., 2005, Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation, Requirements Engineering Journal, Vol: 10, ISSN: 0947-3602
Chatley R, Uchitel S, Kramer J, et al., 2005, Fluent-based web animation: exploring goals for requirements validation, Icse 05: 27Th International Conference on Software Engineering, Proceedings, Pages: 674-675, ISSN: 0270-5257
Foster H, Uchitel S, Magee J, et al., 2005, Tool support for model-based engineering of web service compositions, Los Alamitos, IEEE international conference on services computing. Orlando, FL, 11 - 15 July 2005, Publisher: IEEE Computer Society, Pages: 95-102
Garlan D, Kramer J, Wolf A, 2004, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managing Systems, WOSS '04, Co-located with the 12th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-12: Forward
Uchitel S, Magee J, Kramer J, et al., 2004, Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models, Technical Report, Publisher: Imperial College London, Department of Computing
Uchitel S, Kramer J, Magee J, 2004, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Vol: 13, Pages: 37-85, ISSN: 1049-331X
- Author Web Link
- Cite
- Citations: 82
Uchitel S, Chatley R, Kramer J, et al., 2004, System architecture: the context for scenario-based model synthesis, ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Pages: 33-42, ISSN: 0163-5948
Uchitel S, Chatley RB, Kramer J, et al., 2004, Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios, IEEE International Conference on Requirements Engineering (RE’04), Kyoto, Japan, 2004, Publisher: Springer
Chatley R, Eisenbach S, Kramer J, et al., 2004, Predictable dynamic plugin systems, Berlin, 7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN, Publisher: Springer-Verlag, Pages: 129-143
Foster H, Uchitel S, Magee J, et al., 2004, Compatibility verification for web service choreography, Los Alamitos, IEEE international conference on web services (ICWS 2004), San Diego, CA, Publisher: IEEE Computer Soc, Pages: 738-741
, 2004, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004, Publisher: ACM
Uchitel S, Chatley R, Kramer J, et al., 2004, Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation, Los Alamitos, 12th IEEE international requirements engineering conference, Kyoto, Japan, 2004, Publisher: IEEE Computer Soc, Pages: 208-217
Uchitel S, Chatley R, Kramer J, et al., 2004, Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation, Los Alamitos, 12th IEEE international requirements engineering conference, Kyoto, Japan, 2004, Publisher: IEEE Computer Soc, Pages: 208-217
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
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.