Publications
362 results found
Castro J, Kramer J, 2001, From software requirements to architectures, Pages: 764-765, ISSN: 0270-5257
The First International Workshop Front Software Requirements to Architectures (STRAWDI) was held in Toronto, Ontario, Canada, on May 14, 2001, just before the 23d International Conference on Software Engineering (ICSE). This brief paper out lines themotivation, goals and organisation of the workshop.
Kramer J, 2001, Making meaningful models for mere mortals, Pages: 11-12, ISSN: 1550-4808
Recent advances in automated model checking have demonstrated the power and utility, of behaviour modelling and analysis. However, most attempts to convince practising software engineers to use formal models as part of their software development process have proven unsuccessful. The notations are often too difficult to learn and use, do not provide adequate tool support, do not integrate well into the software development process or are too difficult for users to interpret. In short, many of the modelling approaches can only be used effectively by the gods who created them! Our aim is to make formal behaviour models and the benefits of analysis accessible to mere software engineering mortals.
Russo A, Miller R, Nuseibeh B, et al., 2001, An abductive approach for analysing event-based requirements specifications, Technical reseach report, Publisher: Imperial College of Science, Technology and Medicine, Department of Computing, 2001/7
Kramer J, 2001, Making meaningful models for mere mortals (Extended abstract), Los Alamitos, 2nd international conference on application of concurrency to systems design, Newcastle Tyne, England, Publisher: IEEE Computer Soc, Pages: 11-12
Uchitel S, Kramer J, 2001, A workbench for synthesising behaviour models from scenarios, Los Alamitos, 23rd international conference on software engineering (ICSE 2001), Toronto, Canada, Publisher: IEEE Computer Soc, Pages: 188-197
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
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
Garcez ASD, Russo A, Nuseibeh B, et al., 2001, An analysis-revision cycle to evolve requirements specifications, Los Alamitos, 16th IEEE annual international conference on automated software engineering (ASE 2001), Coronado Isl, California, Publisher: IEEE Computer Soc, Pages: 354-358
Mendonca NC, Kramer J, 2001, An approach for recovering distributed system architectures, Automated Software Engineering, Vol: 8, Pages: 311-354, ISSN: 0928-8910
Uchitel S, Kramer J, 2001, A workbench for synthesising behaviour models from scenarios, Los Alamitos, 23rd international conference on software engineering (ICSE 2001), Toronto, Canada, Publisher: IEEE Computer Soc, Pages: 188-197
van Ommering R, van der Linden F, Kramer J, et al., 2000, The Koala component model for consumer electronics software, COMPUTER, Vol: 33, Pages: 78-+, ISSN: 0018-9162
- Author Web Link
- Open Access Link
- Cite
- Citations: 277
Uchitel S, Chatley R, Kramer J, et al., 2000, The labelled transition system analyzer and plugins
Osterweil LJ, Clarke LA, Evangelist M, et al., 2000, The impact project: determining the impact of software engineering research upon practice (panel session)., Publisher: ACM, Pages: 108-109
Finkelstein A, Kramer J, 2000, Software Engineering: A Roadmap, IEEE/ACM International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, Pages: 3-21
Magee J, Kramer J, Nuseibeh B, 2000, Hybrid model visualization in requirements and design: A preliminary investigation, 10th International Workshop on Software Specification and Design, Publisher: IEEE COMPUTER SOC, Pages: 3-9
- Author Web Link
- Cite
- Citations: 62
Kramer J, Magee JN, Ng K, et al., 2000, Software Architecture Description, Software Architecture for Product Families: Principles and Practice, Editors: Van Der Linden, Jazayeri, Van Der Linden, Jazayeri, Van Der Linden, Jazayeri, Publisher: Addison Wesley
Van Ommering R, Van Der Linden F, Kramer J, et al., 2000, The Koala Component Model for Consumer Electronics Software, IEEE Computer, Vol: 33, Pages: 78-85
Magee JN, Pryce N, Giannakopoulou D, et al., 2000, Graphical Animation of Behaviour Models, Proceedings 22nd International Conference on Software Engineering, Limerick, Ireland, Pages: 499-508
Russo AM, Miller RS, Nuseibeh B, et al., 2000, An Abductive Approach for Handling Inconsistencies in SCR Specifications, Proceedings of 3rd International Workshop on Intelligent Software Engineering (WISE-3), Limerick, Ireland
Zisman A, Kramer J, 1999, An approach to interoperation between autonomous database systems, Distributed Systems Engineering, Vol: 6, Pages: 135-148, ISSN: 0967-1846
In this paper we present an approach to support interoperation between autonomous database systems. In particular, we concentrate on distributed information discovery and access for systems with a large number of databases. We avoid the need for integrated global schemas or centralized structures containing information on the available data and its location. We instead provide an architecture that supports data distribution, autonomy and heterogeneity. The architecture also supports system evolution by the addition and removal of databases. A distributed information discovery algorithm is provided to perform data requests, database location and data access. A feature of our approach is to distribute the information about database contents using simple hierarchical information structures composed of special terms. A prototype has been developed to demonstrate and evaluate the approach. A hospital case study is used to illustrate its feasibility and applicability. © 1999 The British Computer Society,.
Magee JN, Kramer J, 1999, Concurrency - State Models and Java Programs, Publisher: John Wiley & Sons
Russo AM, Nuseibeh B, Kramer J, 1999, Restructuring Requirements Specifications for Managing Inconsistency and Change, IEE Proceedings:Software, Vol: 146, Pages: 44-53
Giannakopoulou D, Magee J, Kramer J, 1999, Fairness and priority in progress property analysis, Departmental Technical Report: 99/2, Publisher: Department of Computing, Imperial College London
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of modelling explicitly fairness constraints is complicated in practice. To address this issue, we propose to check LTS (Labelled Transition System) models under a strong fairness assumption, which can be relaxed with the use of action priority. The combination of the two provides a novel and practical way of dealing with fairness. The approach is presented in the context of a class of liveness properties termed progress, for which it yields an efficient model-checking algorithm. Progress properties cover a wide range of interesting properties of systems, while presenting a clear intuitive meaning to users. An extensive comparison is provided of the approach proposed with classical LTL model-checking.
Giannakopoulou D, Kramer J, Cheung SC, 1999, Behaviour Analysis of Distributed Systems using the Tracta Approach, Automated Software Engineering Journal, Vol: 6, Pages: 7-35
Cheung SC, Kramer J, 1999, Checking safety properties using compositional reachability analysis, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Vol: 8, Pages: 49-78, ISSN: 1049-331X
- Author Web Link
- Cite
- Citations: 38
Zisman A, Kramer J, 1999, An approach to Interoperation between Autonomous Database Systems, IEE Distributed Systems Engineering Journal, Vol: 6, Pages: 134-148
Giannakopoulou D, Magee JN, Kramer J, 1999, Checking Progress with Action Priority: Is it Fair?, 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering / 7th European Software Engineering Conference (FSE / ESEC '99), Toulouse, Publisher: Springer-Verlag, Pages: 511-528
Magee JN, Kramer J, Giannakopoulou D, 1999, Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, Publisher: Kluwer Academic Pub., Pages: 35-50
Giannakopoulou D, Kramer J, Cheung SC, 1999, , Automated Software Engineering, Vol: 6, Pages: 7-35, ISSN: 0928-8910
Giannakopoulou D, Magee J, Kramer J, 1999, Checking progress with action priority: Is it fair?, 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Publisher: SPRINGER-VERLAG BERLIN, Pages: 511-527, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 10
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.