5433 search results - page 17 / 1087 » Tool Support for Traceability-Adaptation |
DGO
2006
15 years 28 days ago
2006
This demonstration shows a prototype tool that projects an impression of how execution of a formally defined process will facilitate dispute resolution. Tool flexibility supports ...
PDSE
1998
15 years 26 days ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
BIRTHDAY
2011
Springer
13 years 11 months ago
2011
Springer
The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its...
ICALT
2007
IEEE
15 years 5 months ago
2007
IEEE
Creativity plays an important role in many learning activities but how to enhance creativity with the support of modern computer tools deserves further studies. In this paper, we ...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...