1137 search results - page 104 / 228 » Disciplined Methods of Software Specification: A Case Study |
ENTCS
2010
14 years 10 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
INFSOF
1998
14 years 9 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
RE
2004
Springer
15 years 3 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
RE
2006
Springer
14 years 9 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
IEEECIT
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...