5 search results - page 1 / 1 » Alchemy: transmuting base alloy specifications into implemen... |
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
ECOOP
2010
Springer
13 years 8 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
FM
2008
Springer
13 years 6 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...