Object Management Group (OMG) (2008)
Heinrich Hussmann, Gianna Reggio, Heinrich Hussmann, ...
Rumbaugh et al. 1997: UML 1.1 (OMG adopted technology) • UML is a scond generation notation for diagram-based object-oriented modelling • UML was a development of the company Rational Corp....
Using Video Clips to Support Requirements Elicitation in Focus Groups- An Experience Report (2008)
Gregor Broll, Heinrich Hussmann, Enrico Rukzio, Raphael Wimmer
This paper reports on a methodological experiment, which was carried out in two large collaborative research projects targeted at innovative products. Video material was produced in order to...
OCL as a Speci cation Language for Business Rules in Database Applications (2008)
Birgit Demuth, Heinrich Hussmann, Sten Loecher
Abstract. Business rules are often speci ed only implicitly by applications to express user-de ned constraints. OCL provides the chance to explicitly and automatically deal with business rules when...
A.: Generation of an OCL 2.0 Parser (2008)
Birgit Demuth, Heinrich Hussmann, Ansgar Konermann
Abstract. The OCL 2.0 specification defines explicitly a concrete and an abstract syntax. The concrete syntax allows modelers to write down OCL expressions in a textual way. The abstract syntax...
zur Erlangung des akademischen Grades (2008)
Felix Bübl, Doktor Der Ingenieurwissenschaften, Vorsitzender Prof, Berichter Prof, Dr. Herbert Weber, ...
We often fail to keep track of requirements in complex software systems because we cannot cope with all the details- in particular, it is expensive to check a system for compliance with crosscutting...
2. Useware modeling for ambient intelligent production environments (2008)
Andreas Pleuss, Heinrich Hussmann, Stefan Sauer, Daniel Görlich, Daniel Görlich, ...
© 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Republication of material on this page requires permission by the copyright
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience (2007)
Birgit Demuth, Heinrich Hussmann, Steffen Zschaler, Lothar Schmitz
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm, pick up a working...
Using a Framework to Teach OOT to Beginners (2007)
Birgit Demuth, Heinrich Hussmann, Steffen Zschaler, Lothar Schmitz
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects we expect them to do in their second year they have to successfully...
Rolf Hennicker, Heinrich Hussmann, Michel Bidoit
Laboratoire Specication et Verication, CNRS & ENS de Cachan, France Abstract. When OCL is applied in concrete examples, many questions arise about the precise meaning of OCL constraints. The same...
Experiments with XMI based transformations of software models (2007)
Birgit Demuth, Heinrich Hussmann, Sven Obermaier
The eXtensible Markup Language (XML) and its related technologies provide a promising tool for the implementation of transformations of UML models, not only for research prototypes but also for the...
LEX : a case study in development and validation of formal specifications (2005)
Heckler, Andreas Ramses, Hettler, Rudolf, Hussmann, Heinrich, Loeckx, Jacques, Reif, Wolfgang, Schellhorn, Gerhard, ...
The paper describes an experiment in the combined use of various tools for the development and validation of formal specifications. The first tool consists of a very abstract, (non-executable)...
OCL and Model Driven Engineering (2005)
Bézivin, Jean, Baar, Thomas, Gardner, Tracy, Gogolla, Martin, Hähnle, Reiner, Hussmann, Heinrich, ...
Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be...
Enrico Rukzio, Albrecht Schmidt, Heinrich Hussmann, Media Informatics
Abstract. Do personalized interactions with ubiquitous public displays make sense? In our analysis we investigate what forms of personalization and interaction styles are applicable in this context....
Experience in Early and Late Software Engineering Project Courses (2002)
Birgit Demuth, Mike Fischer, Heinrich Hussmann
We report about our experience which we gained in different software engineering project courses at our department. A student who is specialized in software engineering has to finish besides lectures...
Towards Practical Support for Component-Based Software Development Using Formal Specification (2000)
Starting from an analysis of the situation of a software developer using pre-fabricated components, it is investigated in which form techniques and formalisms from the area of formal
LEX : a case study in development and validation of formal specifications (1996)
Heckler, Andreas Ramses, Hettler, Rudolf, Hussmann, Heinrich, Loeckx, Jacques, Reif, Wolfgang, Schellhorn, Gerhard, ...
The paper describes an experiment in the combined use of various tools for the development and validation of formal specifications. The first tool consists of a very abstract, (non-executable)...
The Requirement and Design Specification Language - An Informal Introduction - Version 1.0 (1993)
Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hussmann, Dieter Nazareth
This paper gives a short introduction to the algebraic specification language Spectrum.
Nondeterministic algebraic specifications and nonconfluent term rewriting (1992)
Algebraic specifications are generalized to the case of nondeterministic operations by admitting models with set-valued functions (multi-algebras). General (in particular, non-confluent) term...
Nondeterministic algebraic specifications / (1991)
Passau, Univ., Diss., 1988/89, u.d.T.: Hussmann, Heinrich: Nichtdeterministische algebraische Spezifikationen.