Institute Name: Imperial College of Science, Technology and Medicine Description: The Department of Computing at Imperial College is widely recognised as one of the leading centres of research and advanced training in computer science and software engineering in Europe. It has some 45 permanent academic staff, about 60 research associates and 80 doctoral students. It teaches a number of courses at MEng and MSc courses. The Department has extensive links with industry.
The Department is organised into a number of research sections. The two sections which will contribute to this project are the Distributed Software Engineering section and the Theory and Formal Methods section. The Distributed Software Engineering section focuses on methods, tools and environments for the development of composite, heterogenous and distributed software-intensive systems. It has a particular interest in software engineering support where the activity of development is itself distributed. The section comprises 6 permanent academic staff, 6 research associates and 18 doctoral students. The Theory and Formal Methods section focuses on the theoretical underpinning of computer science and software engineering. It has a particular interest in the application of logic to the specification and analysis of composite, heterogenous and distributed software-intensive systems. The section comprises 7 permanent academic staff, 10 research associates and 12 doctoral students.
Both research sections have jointly pursued interests in requirements engineering over a considerable period and have participated in a number of major european, national and international research projects in this area. Research projects with a major requirements engineering content held by members of the group include: FOREST, Formal Requirements Specification Techniques I & II (funded by the UK Department of Trade & Industry); TARA, Tool Assisted Requirements Analysis (funded by the US Air Force); ESF - ATP, Eureka Software Factory - Advanced Technology Programme (funded by the UK Department of Trade & Industry); VOILA, Viewpoints and Inconsistency Management ( funded by UK Engineering & Physical Science Research Council); FOSE, Foundational Models for Software Engineering (funded by the UK Science & Engineering Research Council); MODELAGE, Formal Modelling of Intelligent Agents (funded by the European Commission); ISCORE, Information Systems Correctness and Reliability I & II (funded by the European Commission).
Imperial College has established a research centre in requirements engineering in association with City University and have a joint industrial club which supports collaboration and joint research. Projects within this research centre include: Contribution-based Requirements Traceability (funded by Philips Research Laboratories); Systems Requirements Engineering Education (funded by UK Engineering & Physical Science Research Council).
Researchers associated with the project:
Prof. J. Kramer Dr. B.A. Nuseibeh
Brief CVs of Key Researchers:
Name: Dr. J. Kramer
URL:http://www-dse.doc.ic.ac.uk/~jk/
Nationality: British
Academic Qualifications & Experience: Dr. Jeff Kramer is currently a Reader in Distributed Computing in the Department of Computing at Imperial College. He is also the Director of Studies and Head of the Distributed Software Engineering Research Section. He was principal investigator of the TARA project on Tool Assisted Requirements Analysis, and of the various research projects which led to the development of the CONIC Environment for distributed programming. More recently, he was the Technical Director of a major ESPRIT II project, REX, on reconfigurable and extensible parallel and distributed systems. He is currently a principal investigator of an ESPRIT III project concerned with systems management (SYSMAN) and four SERC projects on tool support for distributed software design (the System Architect's Assistant), tractable behaviour analysis techniques for distributed systems (TRACTA), management of availability in distributed services (MADS) and inconsistency handling in viewpoint oriented development of software (VOILA). His research interests include requirement analysis techniques, design and analysis methods, software construction languages and software development environments, especially as applied to distributed software. Dr Jeff Kramer is co-author of a book on distributed systems and computer networks, and is the author of over 100 journal and conference publications.
Name: Dr. Bashar Nuseibeh
URL:http://www-dse.doc.ic.ac.uk/~ban/
Nationality: British
Academic Qualifications & Experience: Dr. Bashar Nuseibeh is a Lecturer and Head of the Software Engineering Laboratory in the Department of Computing at Imperial College, London. He is also Director of the newly established, government-funded, Centre of Excellence in Systems Requirements Engineering at Imperial College.
Dr. Nuseibeh’s research interests are in requirements engineering, software process technology, and technology transfer, and he is the principal investigator of a number of UK and European research projects in these fields. He has published over 40 papers in refereed international journals and conferences, and is co-editor of a book on Software Process Modelling and Technology (Wiley). He serves on a number of international conference programme committees, including those of both the symposium and conference on requirements, the international workshop on software specification and design, and the international conference on software engineering. He is Editor-in-Chief of the Automated Software Engineering Journal (Kluwer), an Associate Editor of the Requirements Engineering Journal (Springer), and Chairman of the British Computer Society’s Requirements Engineering Specialist Group. Recently, he was General Chair of the 6th European Workshop on Software Process Technology (EWSPT-98), and programme co-chair of the 13th IEEE International Conference on Automated Software Engineering (ASE-98).
Selected Publications:
Finkelstein, A., and Kramer,J.(1992): "TARA: Tool Assisted Requirements Analysis", in 'Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development', Loucopoulos, P., Zicari, R.,( John Wiley),pp. 413-432.
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B..(1993): "Inconsistency Handling in Multi-Perspective Specifications", IEEE Trans. on Software Eng., SE-20 (8), Special Issue on 1993 ESEC, pp. 569-578.
Kramer, J.(1994): "Distributed Software Engineering", Proc. of 16th IEEE Int. Conf. on Software Engineering (ICSE-16), Sorrento, pp. 253-263.
B. Nuseibeh, J. Kramer and A. Finkelstein.(1994): "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification", Transactions on Software Engineering, 20(10): pp. 760-773, IEEE CS Press
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B. (1994): "Inconsistency Handling in Multi-Perspective Specifications"; IEEE Transactions on Software Engineering; 20(8): pp. 569-578, IEEE CS Press
B. Nuseibeh, A. Finkelstein and J. Kramer.(1995): "Method Engineering for Multi-Perspective Software Development", (to appear in) Information and Software Technology Journal, Butterworth-Heinemann, 1995.
Contact Details:
Principal Investigator: Dr. Bashar Nuseibeh,
Address:Department of Computing, Imperial College, 180 Queens Gate, London, SW7 2BZ, UNITED KINGDOM
Telephone number: + 44 171 594 8286
Telefax number: + 44 171 581 8024
EMail: ban@doc.ic.ac.uk
List of Members