324 search results - page 10 / 65 » What's in a Step |
SIGSOFT
1994
ACM
14 years 1 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
While we should celebrate our success at evolving many vital aspects of the human-technology interactive experience, we question the scope of this progress. Step back with us for ...
ESWS
2005
Springer
14 years 3 months ago
2005
Springer
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic loc...
IIE
2007
13 years 9 months ago
2007
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
LICS
1996
IEEE
14 years 2 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...