2493 search results - page 16 / 499 » Tool Support for Design by Contract |
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
14 years 23 days ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
CANDC
2007
ACM
13 years 11 months ago
2007
ACM
Within the creativity community, researchers and practitioners have developed and studied various support tools and environments. It is important to learn from these tools and env...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
UML
2000
Springer
13 years 11 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...