547 search results - page 96 / 110 » On Automated Program Construction and Verification |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
SAC
2003
ACM
14 years 1 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
IJCAI
1993
13 years 9 months ago
1993
Since its inception, arti cial intelligence has relied upon a theoretical foundation centred around perfect rationality as the desired property of intelligent systems. We argue, a...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
CSMR
2006
IEEE
14 years 2 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...