Project Details
Description
In a previous project (see "Prototyping with Scenarios and Contracts") we focused on how to support Design by Contract for various programming language and how to provide elementary tool support. In the meantime the Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). Besides other application areas in the UML realm, the OCL can be used to specify contracts in a Design by Contract style. In this project the emphasis is to support the specification of OCL contracts throughout the entire software development life cycle, i.e., from analysis to testing (with Java-based projects in mind). The emphasis of the project is on tool development for a contract centered software development process and on gaining empirical evidence of the impact of contracts on the software quality.
| Status | Finished |
|---|---|
| Effective start/end date | 01.10.2003 → 30.09.2004 |
Fields of science
- 102 Computer Sciences
- 102020 Medical informatics
- 102022 Software development
- 102006 Computer supported cooperative work (CSCW)
- 102027 Web engineering
- 502050 Business informatics
- 102040 Quantum computing
- 102016 IT security
- 503015 Subject didactics of technical sciences
- 509026 Digitalisation research
- 102015 Information systems
- 102034 Cyber-physical systems
- 502032 Quality management
JKU Focus areas
- Digital Transformation