4469 search results - page 88 / 894 » A Language for Role Specifications |
132
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
107
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
ions is lower than the programmer‘s perceived cost of writing them from scratch. << [G. Booch, 1994] Central Question: How can we decrease the effort of building framework-...
124
click to vote
ICLP
2010
Springer
15 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...
124
click to vote
AAAI
2008
15 years 6 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
105
click to vote
FLAIRS
2004
15 years 5 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...