Publications
202 results found
Uchitel S, Chatley RB, Kramer J, et al., 2006, Goal and scenario validation: a fluent combination, Publisher: Springer, Pages: 123-137, ISSN: 0947-3602
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
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.
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.
Kramer J, Magee J, 2005, Model-based Design of Concurrent Programs, Communicating Sequential Processes: The First 25 Years, Publisher: Springer-Verlag, Pages: 211-219
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
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, 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
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
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
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.
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 JN, et al., 2005, Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, ETX2005 Workshop at OOPSLA05, San Diego, CA, October 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
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
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
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
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, 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
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
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
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
Magee J, Tedesco H, Pascual J, et al., 2004, Efficacy and safety of 2 doses of everolimus combined with reduced dose Neoral® in <i>de novo</i> kidney transplant recipients:: 12 months analysis., American Transplant Congress, Publisher: BLACKWELL MUNKSGAARD, Pages: 296-297, ISSN: 1600-6135
- Author Web Link
- Cite
- Citations: 8
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), Newport Beach, California, 31 October - 5 November 2004
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
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.