1446 search results - page 3 / 290 » Formal analysis of hardware requirements |
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
ICSE
2001
IEEE-ACM
14 years 9 days ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
