2153 search results - page 4 / 431 » From Requirements Models to Formal Specifications in B |
76
Voted
WER
1998
Springer
15 years 5 months ago
1998
Springer
77
Voted
SAC
2002
ACM
15 years 21 days ago
2002
ACM
130
Voted
ADAEUROPE
2001
Springer
15 years 5 months 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...
102
click to vote
TSE
1998
15 years 21 days 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...
126
Voted
CADE
2004
Springer
16 years 1 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...