The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
The effectiveness of life cycle management of an embedded device solution is crucial to its value proposition. This paper shows that Eclipse technology can be used for both tooli...
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...
Christiane Taras, Michael Raschke, Thomas Schlegel...