2153 search results - page 9 / 431 » From Requirements Models to Formal Specifications in B |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
ESEC
1999
Springer
14 years 1 days ago
1999
Springer
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
DAC
2002
ACM
14 years 8 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...
HICSS
2009
IEEE
14 years 2 months 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...