16725 search results - page 3 / 3345 » Engineering Software Correctness |
CGO
2009
IEEE
14 years 12 days ago
2009
IEEE
AC
2000
Springer
13 years 5 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
DICS
2006
13 years 7 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
HICSS
2007
IEEE
13 years 12 months ago
2007
IEEE
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
HICSS
2009
IEEE
13 years 9 months ago
2009
IEEE
Recently, service orientation has increasingly been debated both in research and practice. While researchers postulate a paradigm shift towards services as the basic unit of excha...