10241 search results - page 1574 / 2049 » Goal-Driven Software Development |
193
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
191
click to vote
CANDC
2005
ACM
15 years 6 months ago
2005
ACM
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
147
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
135
click to vote
DIAGRAMS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
160
click to vote
DIMEA
2008
15 years 6 months ago
2008
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...