4469 search results - page 83 / 894 » A Language for Role Specifications |
151
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
201
click to vote
HT
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
191
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
164
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
196
click to vote
FTRTFT
1992
Springer
15 years 10 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...