Techniques Workshop at Informatik 2001 - 31. Jahrestagung der GI, OCG Jahrestagung 2001 organized by GI Fachgruppe 0.1.7 Specification and Semantics Call for Papers Developing a software system is a complex task which needs to be supported by appropriate notations and techniques comprising diagrammatic and formal specification techniques. Due to the different nature of the employed diagrams and descriptions it is often difficult to get a comprehensive view of all functional and dynamic properties. On the other hand, the formal approaches are more difficult to learn and require mathematical training. But they provide mathematical rigor for analysis and prototyping of designs.
Verification is possible only with formal techniques.
The goal of this workshop is to present and discuss new research results in the area of analysis and design of software systems which are obtained by integrating formal specification techniques with diagrammatic notations. As a prominent example we propose to study the relationship between UML and the formal techniques in order to give added value to both, the diagrammatic as well as the formal specification techniques. Workshop languages are English and German. Accepted papers of length no longer than 8 pages will be published in the proceedings of the GI Jahrestagung. Registration is handled via the GI Jahrestagung.