4469 search results - page 468 / 894 » A Language for Role Specifications |
186
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
192
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
185
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
173
click to vote
ER
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
176
click to vote
ACMIDC
2008
15 years 8 months ago
2008
Very young non- or hardly speaking children with severe disabilities need active guidance to stimulate interaction with their environment in order to develop their communicative a...