Abstract
In spite of the advances in theory of formal specifications, they have not gained a wide popularity in the software development industry. This could be due to difficulties in understanding them or positioning them into the current work practices, however, we believe that one major problem is that the tool support still does not make the use of the formal specifications easy enough for the software developer. We discuss the required functionality for comprehensive tool support for executable DisCo specifications, and propose a tool architecture based on database technology, and finally, discuss our implementation of the core part of the tool set.
| Original language | English |
|---|---|
| Title of host publication | SPLST'11 - Proceedings 12th Symposium on Programming Languages and Software Tools |
| Editors | Jaan Penjam |
| Pages | 44-54 |
| Number of pages | 11 |
| Publication status | Published - 2011 |
| Publication type | A4 Article in conference proceedings |
| Event | 12th Symposium on Programming Languages and Software Tools, SPLST 2011 - Duration: 1 Jan 2011 → … |
Conference
| Conference | 12th Symposium on Programming Languages and Software Tools, SPLST 2011 |
|---|---|
| Period | 1/01/11 → … |
Keywords
- Executable specifications
- databases
- software tools
Publication forum classification
- No publication forum level