90 search results - page 17 / 18 » On the Implementation of @pre |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
102
click to vote
ICLP
2004
Springer
15 years 2 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
78
Voted
ITICSE
2003
ACM
15 years 2 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...