2493 search results - page 108 / 499 » Tool Support for Design by Contract |
CIE
2007
Springer
15 years 4 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
USAB
2010
14 years 8 months ago
2010
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
ICWE
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...