2153 search results - page 2 / 431 » From Requirements Models to Formal Specifications in B |
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
121
Voted
SAC
2006
ACM
15 years 28 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
116
Voted
FMSD
2007
15 years 29 days ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
115
Voted
RE
2002
Springer
15 years 20 days 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...
131
Voted
SEKE
1995
Springer
15 years 4 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...