4469 search results - page 30 / 894 » A Language for Role Specifications |
139
click to vote
HCI
2009
15 years 1 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
126
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
161
click to vote
TCS
2002
15 years 3 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
123
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
146
click to vote
DLOG
1996
15 years 5 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...