Welcome

Our research is mainly concerned with various aspects of software engineering and compiler construction. In particular we concentrate on methods, tools and formalisms for requirements engineering, constraint programming, model driven development, experimental software engineering, formal methods for software development and the design of innovative software tools.

Contact

Institute of Software Engineering and Programming Languages

Ulm University
James-Franck-Ring
D-89069 Ulm

Building O27, Level 4

Phone: +49 (0)731 / 50 - 24161
Fax:      +49 (0)731 / 50 - 24162

Current Publications


default
Schmid, Joachim
Compiling Abstract State Machines to C++
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
default
Schwinn, Thilo
How to make your Software Inspections Profitable - An Approach Based on Sampling and Return on Investment Calculation
Proceedings of the 14th ICSSEA, Paris
2001
default
Stärk, R.; Schmid, Joachim
Java bytecode verification is not possible
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
default
Schmid, Joachim
Introduction to AsmGofer
2001
default
Knublauch, Holger
KBeans Specification: Semantic Transparency for Components and Domain Models
Document number: FAW-TR-01001
FAW Ulm,
2001
default
Guttmann, Walter
An Introduction to Ultra
Universität Ulm,
December 2000