4340 search results - page 322 / 868 » Formal Methods and Cryptography |
182
click to vote
SFM
2007
Springer
16 years 24 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
159
click to vote
ENC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
148
click to vote
AMAST
2004
Springer
16 years 3 days ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
146
click to vote
IFL
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
181
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...