2493 search results - page 111 / 499 » Tool Support for Design by Contract |
122
click to vote
CSCWD
2009
Springer
15 years 4 months ago
2009
Springer
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
ICEIS
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a set of components that support psychotherapy processes on mobile and office settings. One provides patients the required access to psychotherapy artefacts, en...
APN
2003
Springer
15 years 1 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
ISMAR
2002
IEEE
15 years 2 months ago
2002
IEEE
In this work we compare an in-house designed Tangible User Interface (TUI) with three alternative single-user tools through an empirical investigation. These three alternative too...
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...