Search Sciweavers | Sciweavers

16725 search results - page 2 / 3345

» Engineering Software Correctness

click to vote

CAISE
2005
Springer

134views Information Technology» more CAISE 2005»

The Logic of Correctness in Software Engineering

13 years 10 months ago

Download kybele.escet.urjc.es

Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...

Mark Priestly

claim paper

Read More »

click to vote

ISSTA
2004
ACM

144views Software Engineering» more ISSTA 2004»

Automated black-box testing of functional correctness using function approximation

13 years 10 months ago

Download www.nada.kth.se

Karl Meinke

claim paper

Read More »

click to vote

JFP
2007

126views more JFP 2007»

Engineering Software Correctness

13 years 4 months ago

Download www.cs.ou.edu

Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...

Rex L. Page

claim paper

Read More »

click to vote

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Towards preserving correctness in self-managed software systems

13 years 10 months ago

Download people.cs.kuleuven.be

Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...

Lieven Desmet, Nico Janssens, Sam Michiels, Frank ...

claim paper

Read More »

click to vote

ICSM
2000
IEEE

121views Software Engineering» more ICSM 2000»

The Application of Correctness Preserving Transformations to Software Maintenance

13 years 9 months ago