1856 search results - page 7 / 372 » Formal Dialectic Specification |
PODS
2008
ACM
14 years 10 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
FM
1999
Springer
14 years 2 months ago
1999
Springer
AAAI
2000
13 years 11 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
WIFT
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
ZUM
2005
Springer
14 years 3 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...