4469 search results - page 80 / 894 » A Language for Role Specifications |
157
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
183
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
142
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...
140
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
170
click to vote
TAMODIA
2004
15 years 7 months ago
2004
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...