832 search results - page 3 / 167 » Declarative Specification of Software Architectures |
CODES
2000
IEEE
13 years 11 months ago
2000
IEEE
PVLDB
2008
13 years 7 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
KBSE
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
KBSE
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...