2493 search results - page 55 / 499 » Tool Support for Design by Contract |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
CSCW
1996
ACM
15 years 1 months ago
1996
ACM
During the last year we have been designing and studying a computer based tool intended to strengthen social group awareness within a research laboratory. While awareness has been...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
It is unclear if and how collaboratories have enhanced distributed scientific collaboration. Furthermore, little is known in the way of design strategies to support such collabora...
EKAW
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents OntoWeaver-S, an ontology-based infrastructure for building knowledge portals. In particular, OntoWeaver-S is integrated with a comprehensive web service platfo...
ECTEL
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...