Research of the AG Softwaretechnik

AG Softwaretechnik pursues a number of focal points of research (German). They are realized in the following projects.

Current Projects

Name	Description
HATS	Highly Adaptable and Trustworthy Software using Formal Models
EVAS	Development Methodology for Verifiable Adaptive Embedded Systems
ComDeCo	Composable Derivative Contracts
A3XDB	Adaptivity Aspects of Architecture and Application Programming for XML Databases
Jive	Java Interactive Verification Environment
ProGenCo	Proof Generating Compiler

Past Projects

Name	Description
Encoop	Encapsulation and Concurrency Transparency in Object-oriented Programming
WiVeProAb	Knowledge-based Product Derivation for Product Lines
MMiSS	MultiMedia Instruction in Safe Systems
VerifiCard	Tool-assisted Specification and Verifcation of Java Card Programs
EasyComp	Easy Composition of Future Generation Component Systems
Lopex I + II	Construction of Logic-based Programming Environments
ISPLGENT	Integrated Specification of Programming Languages for the Generation of Language-specific Tools
MAGIC	Interactive Specification and Generation of Compilers