1146 search results - page 2 / 230 » Formal Specification Generation from Requirement Documents |
DAC
2002
ACM
14 years 5 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
RE
2002
Springer
13 years 4 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
INDIASE
2009
ACM
13 years 9 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...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...