34 search results - page 3 / 7 » A Graphical Yet Formalized Framework for Specifying View Sys... |
NGITS
1999
Springer
13 years 10 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
POPL
2009
ACM
14 years 7 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
In many volume visualization applications there is some region of specific interest where we wish to see fine detail - yet we do not want to lose an impression of the overall pict...
AKA
2004
13 years 7 months ago
2004
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...