List of Members
Institute Name: University of Zürich, Institut für Informatik (Department of Information Technology), Requirements Engineering Research Group
Description: The Institut für Informatik at the University of Zurich currently has 8 professors, about 15 senior research associates and about 60 research assistants. The professors are from three faculties, namely economics, natural science, and arts. The department provides the teaching for most computer science courses held at the university. Students can earn a diploma degree in Applied Information Technology ("Dipl.-Inform. der Richtung Wirtschaftsinformatik").
The Department is organised into a number of research groups. The group that contributes to RENOIR is the Requirements Engineering Research Group. This group works on methods, languages and tools for requirements modeling. It has particular interests in: Object-oriented semiformal requirements specification, scenario-based specification, and specifications based on logic programming.
In the object-oriented and scenario-based approaches, we focus on an appropriate description of system behaviour that gives the opportunity to execute the specification. Furthermore, we work towards an integration of scenario-based models (that model external behaviour) with "classic" object models (that primarily model system structure and internal behaviour).
The logic programming approach currently focusses on the transformation of specifications written in controlled natural language into a logic programming based representation.
The group currently comprises one professor, a senior research associate, and four research associates that are working towards a PhD degree.
The work of the group is partially funded by the Swiss National Science Foundation.
Researchers associated with the project:
Name: Prof. Dr. Martin Glinz
Nationality: Swiss
Academic Qualifications & Experience:
Martin Glinz received a diploma in mathematics 1977 and a Dr. rer. nat. in computer science 1983, both from Aachen Technical University, Germany. From 1983 to 1993, he was with BBC/ABB in Baden, Switzerland, where he held various positions. He was active in research, development, training, and consulting in the field of software engineering. His work was focussed especially on methods and tools for specification and design of systems. Additionally, he was a lecturer in computer science at ETH Zurich and at the University of Basel for serveral years. Since 1993, he is a professor of computer science at the University of Zurich. His research interests are methods, languages, and tools for requirements modeling.
Selected Publications:
Ludewig, J., M. Glinz, H. Huser, G. Matheis, H. Matheis, M.F. Schmidt (1985). SPADES - A Specification and Design System and its Graphical Interface. Proc. 8th Intern. Conference on Software Engineering, London. 83-89.
Glinz, M. , J. Ludewig (1986). SEED - A DBMS for Software Engineering Applications Based on the Entity-Relationship Approach. Proc. 2nd Intern. Conference on Data Engineering, Los Angeles. 654-660.
Glinz, M. (1987). Object-Oriented Semiformal Specification with SPADES. Proc. GI-Symposium Requirements Engineering '87, St. Augustin, Germany. In Schmitz, P. et al. (eds.): Requirements Engineering '87. GMD-Studien 121, ISBN 3-88457-121-4. 163-174. (in German).
Glinz, M. (1991). Problems and Weaknesses of Structured Analysis. In Timm, M. (ed.): Requirements Engineering '91 (Proceedings). Informatik-Fachberichte 273, Berlin, etc.: Springer . 14-39. (in German).
Glinz, M. (1993). Hierarchical Description of Behavior in Object-Oriented System Models - a Foundation for Model-Based Prototyping. In Zuellighoven, H. et. al. (eds.): Requirements Engineering '93: Prototyping. Report 41 of the German Chapter of the ACM, Stuttgart: Teubner. 175-192.(in German).
Glinz, M. (1995). An Integrated Formal Model of Scenarios Based on Statecharts. In Schaefer, W. and Botella, P. (eds.): Software Engineering - ESEC '95. Proceedings of the 5th European Software Engineering Conference, Sitges, Spain. Lecture Notes in Computer Science 989, Berlin, etc.: Springer. 254-271.
Berner, S., S. Joos, M. Glinz, M. Arnold (1998). A Visualization Concept for Hierarchical Object Models. Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE-98). 225-228.
Researchers associated with the project:
Name: Norbert E. Fuchs
Nationality: German
Academic Qualifications & Experience:
Background in theoretical physics (MSc, PhD, University of Tübingen, Germany). Many years of experience in industry (IBM Labs in Germany and USA, Siemens and Mettler in Switzerland). Participated in and managed several large software projects (compilers, operating systems, editors, expert systems). Visiting professor University of Southern California, Los Angeles. Currently senior research associate with Department of Computer Science, University of Zurich. Main research interests: knowledge-based software engineering (requirement analysis, declarative executable specifications, program synthesis and transformations), logic programming, processing of natural language.
Selected Publications
N. E. Fuchs (1992). Specifications Are (Preferably) Executable, Software Engineering Journal, September 1992. 323-334.
N. E. Fuchs, M. P. J. Fromherz (1994). Transformational Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs. In C. Beckstein, U. Geske (eds.): Entwicklung, Test und Wartung deklarativer KI-Programme, GMD Studien Nr. 238, Gesellschaft fr Mathematik und Datenverarbeitung. 13-28.
N. E. Fuchs, R. Schwitter (1995). Attempto - Controlled Natural Language for Requirements Specifications, ILPS'95, Seventh Workshop on Logic Programming Environments, Portland, December 1995. 25-32.
N. E. Fuchs, U. Schwertel, R. Schwitter (1999). Attempto Controlled English - Not Just Another Logic Specification Language. In P. Flener (ed.): Logic-Based Program Synthesis and Transformation, Eighth International Workshop LOPSTR'98, Manchester, UK, June 1998. Lecture Notes in Computer Science 1559, Springer Verlag, 1999. 1-20.
Contact Details:
Principal Investigator: Martin Glinz
EMail: glinz@ifi.unizh.ch
Telephone: +41 1 63 545 70
Fax: +41 1 63 568 09
Address: Institut für Informatik, University of Zurich, Winterthurerstrasse 190, CH-8057 Zurich, Switzerland
List of Members