16725 search results - page 3 / 3345 » Engineering Software Correctness |
CGO
2009
IEEE
14 years 5 months ago
2009
IEEE
AC
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
DICS
2006
14 years 25 days 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
14 years 5 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
14 years 2 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...