4469 search results - page 227 / 894 » A Language for Role Specifications |
165
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
174
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
171
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose a new approach to the description of Arabic morphology using 2-tape finite state transducers, based on a particular and systematic use of the operation of ...
161
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
176
click to vote
JOT
2006
15 years 6 months ago
2006
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...