4469 search results - page 83 / 894 » A Language for Role Specifications |
122
click to vote
DLOG
2009
15 years 1 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...
171
click to vote
HT
2004
ACM
15 years 9 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...
165
click to vote
POPL
2010
ACM
15 years 6 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...
136
click to vote
ICFP
2010
ACM
15 years 5 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 ...
174
click to vote
FTRTFT
1992
Springer
15 years 8 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...