TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Database-driven tool support for DisCo executable specifications

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoSPLST'11 - Proceedings 12th Symposium on Programming Languages and Software Tools
Sivut44-54
Sivumäärä11
TilaJulkaistu - 2011
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
Tapahtuma12th Symposium on Programming Languages and Software Tools, SPLST 2011 - Tallinn, Viro
Kesto: 5 marraskuuta 20117 marraskuuta 2011

Conference

Conference12th Symposium on Programming Languages and Software Tools, SPLST 2011
MaaViro
KaupunkiTallinn
Ajanjakso5/11/117/11/11

Tiivistelmä

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.

!!ASJC Scopus subject areas