2002 search results - page 80 / 401 » An Approach for Assessment of Reliability of the System Usin... |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
ICCBSS
2005
Springer
14 years 2 months ago
2005
Springer
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
JSS
2006
13 years 9 months ago
2006
In this paper we investigate factors of the testability of object-oriented software systems. The starting point is given by a study of the literature to obtain both an initial mod...
HPCN
1997
Springer
14 years 1 months ago
1997
Springer
We have developed a Modelling and Simulation platform for technical evaluation of Electronic Toll Collection on Motor Highways. This platform is used in a project of the Dutch gov...
JSW
2008
13 years 9 months ago
2008
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...