2419 search results - page 240 / 484 » A Formal Approach to Software Testing |
224
click to vote
AES
2011
Springer
14 years 4 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
224
click to vote
OOIS
2001
Springer
15 years 8 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
142
click to vote
EDO
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
114
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
115
click to vote
IADIS
2003
15 years 5 months ago
2003
With the advent and growth of the Web, hypermedia information systems have propagated within and beyond organizations. Much concern has been expressed about the quality of hyperme...