2493 search results - page 30 / 499 » Tool Support for Design by Contract |
DGO
2006
14 years 11 months 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 ...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
IJET
2008
14 years 9 months ago
2008
The vast majority of knowledge management initiatives fail because they do not take sufficiently into account the emotional, psychological and social needs of individuals. Only if ...
108
click to vote
PUC
2002
14 years 9 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
RTSS
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...