1121 search results - page 17 / 225 » Building Formal Requirements Models for Reliable Software |
100
click to vote
RE
1999
Springer
15 years 1 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
SEFM
2003
IEEE
15 years 2 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
HASE
1998
IEEE
15 years 1 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
RE
2001
Springer
15 years 1 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
101
click to vote
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...