4460 search results - page 26 / 892 » Formal methods for interactive systems |
ZUM
1997
Springer
13 years 11 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...
TSE
2002
13 years 7 months ago
2002
CJ
2002
13 years 7 months ago
2002
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
ISEMANTICS
2010
13 years 2 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...
EMISA
2006
Springer
13 years 11 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...