2153 search results - page 4 / 431 » From Requirements Models to Formal Specifications in B |
WER
1998
Springer
13 years 12 months ago
1998
Springer
SAC
2002
ACM
13 years 7 months ago
2002
ACM
ADAEUROPE
2001
Springer
14 years 8 days ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
TSE
1998
13 years 7 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
CADE
2004
Springer
14 years 8 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...