803 search results - page 10 / 161 » Building Formal Models for Software Requirements |
JSS
2002
14 years 11 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
118
click to vote
SEKE
1995
Springer
15 years 3 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
116
click to vote
RE
1999
Springer
15 years 4 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 5 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...
RE
2001
Springer
15 years 4 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...