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 |
|---|
| EVAS | Development Methodology for Verifiable Adaptive Embedded Systems |
| Encoop | Encapsulation and Concurrency Transparency in Object-oriented Programming |
| ComDeCo | Composable Derivative Contracts |
| A3XBP | Adaptivity Aspects of Architecture and Application Programming for XML Databases |
| Jive | Java Interactive Verification Environment |
| ProGenCo | Proof Generating Compiler |
Past Projects
| Name | Description |
|---|
| 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 |
Deutsch