486 search results - page 34 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
161
Voted
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
153
click to vote
DRR
2011
14 years 3 months ago
2011
wking dtsets ville for peer reviewing of pulished doument nlysis methods or distriuting lrge ommonly used doument orpor for enhmrking re ...
166
click to vote
DSVIS
1998
Springer
15 years 7 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
126
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
124
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...