• S. Uchitel is with the Department of Computing, Imperial College London, 180 Queen's Gate, London, SW7 2RH, UK.
• M. Broy is with the Technische Universität München, Institut für Informatik, Boltzmannstr. 3, 85748 Garching, Germany.
• I.H. Krüger is with the Computer Science and Engineering Department, University of California, San Diego, CSE Building, Room 3120, 9500 Gilman Drive, La Jolla, CA 92093-0404. E-mail: email@example.com.
• J. Whittle is with the Department of Information and Software Engineering, George Mason University, 4400 University Drive, Fairfax, VA 22030. E-mail: firstname.lastname@example.org.
For information on obtaining reprints of this article, please send e-mail to: email@example.com.
Sebastian Uchitel received a degree in computer science from the University of Buenos Aires, Argentina, and the PhD degree in computing from Imperial College London, where he also worked as a research associate. He is a lecturer at Imperial College London. His research is in software engineering and, particularly, in behavior modeling and analysis of requirements and design for complex software-intensive systems. His research currently focuses on scenario-based specifications, behavior model synthesis, and partial behavior models such as modal transitions systems. He has been active in the IEEE and the ACM since 1998, serving on numerous program committees. He is currently program cochair of the 21st IEEE/ACM International Conference on Automated Software Engineering. He is a member of the IEEE Computer Society.
Manfred Broy is a professor in the Department of Informatics at the Technical University of Munich, Germany. His research interests are software and systems engineering, comprised of both theoretical and practical aspects. He leads a research group working on a number of industrial projects that apply mathematically-based techniques to combine practical approaches to software engineering with mathematical rigor. The main topics are requirements engineering, ad hoc networks, software architectures, componentware, software development processes, and graphical description techniques. The CASE tool AutoFocus was developed in his group. He is a member of the IEEE Computer Society.
Ingolf H. Krüger received the PhD degree from Technische Universität München, Germany in 2000 and the MA degree from the University of Texas at Austin in 1996. He is an assistant professor in residence in the Computer Science and Engineering (CSE) Department of the University of California San Diego's (UCSD) Jacobs School of Engineering, leading the "Service-Oriented Software and Systems Engineering Laboratory"; he also directs the "Software & Systems Architecture & Integration" functional area within the California Institute for Telecommunications and Information Technology (Calit2). He is a member of the UCSD Divisional Council of Calit2. His major research interests are service-oriented software & systems engineering for distributed, reactive systems, software architectures, description techniques, verification & validation, and development processes. The application domains to which he applies his research results span the entire range from networked embedded systems to Internet-wide business information architectures. He is a member of the IEEE.
Jon Whittle received the degree in mathematics from the University of Oxford and the master's and PhD degrees in artificial intelligence from the University of Edinburgh. He is an associate professor of software engineering at George Mason University. He worked for six years in the Automated Software Engineering Group at NASA Ames Research Center, where he developed novel software engineering techniques and applied them to NASA applications. He is on the program committee and steering committee of the ACM/IEEE MODELS conference series and served as conference chair of the International Conference on UML in 2003. He has also taught as a guest professor at IISc Bangalore and IIT Kanpur in India and at TU Braunschweig in Germany.