127 search results - page 14 / 26 » Contract-Based Approach to Analyze Software Components |
106
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
SC
2005
ACM
15 years 5 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
138
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...