Tampere University of Technology

TUTCRIS Research Portal

Database-driven tool support for DisCo executable specifications

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationSPLST'11 - Proceedings 12th Symposium on Programming Languages and Software Tools
Number of pages11
Publication statusPublished - 2011
Publication typeA4 Article in a conference publication
Event12th Symposium on Programming Languages and Software Tools, SPLST 2011 - Tallinn, Estonia
Duration: 5 Nov 20117 Nov 2011


Conference12th Symposium on Programming Languages and Software Tools, SPLST 2011


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