596 search results - page 14 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
141
click to vote
INDIASE
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
171
click to vote
WER
2007
Springer
15 years 12 months ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
169
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
170
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
160
click to vote
HICSS
2009
IEEE
16 years 20 days ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...