projects
Detail
Publication date: 1 de June, 2021Contract Based System Development
The project centers on Contract Guided System
Development, a software methodology that aims at producing provably
correct pieces applications. The methodology integrates
specification, design, and verification, based on the concept of
contracts.
The project centers on Contract Guided System
Development, a software methodology that aims at producing provably
correct pieces applications. The methodology integrates
specification, design, and verification, based on the concept of
contracts.
| Sname | Contract |
|---|---|
| Funding Total | 42 |
| URL | http://www.di.fc.ul.pt/~vv/projects/contracts/ |
| State | Concluded |
| Startdate | 01/05/2004 |
| Enddate | 01/05/2006 |