16725 search results - page 310 / 3345 » Engineering Software Correctness |
SOFTWARE
1998
15 years 3 months ago
1998
143
click to vote
SOFTWARE
2002
15 years 3 months ago
2002
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
119
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...
141
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
134
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...