2493 search results - page 9 / 499 » Tool Support for Design by Contract |
BCSHCI
2009
13 years 8 months ago
2009
This undergraduate student paper explores usage of mixed reality techniques as support tools for conceptual design. A proof-of-concept was developed to illustrate this principle. ...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
ACMDIS
2008
ACM
13 years 9 months ago
2008
ACM
This paper describes a process for creating a design tool, which is based in constructivism. The process is described for the creation of a tool to help novices in designing virtu...