2493 search results - page 290 / 499 » Tool Support for Design by Contract |
ICAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...
FM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
UML
2005
Springer
15 years 4 months ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
IHM
2003
ACM
15 years 4 months ago
2003
ACM
This paper discusses how model-based approaches can support designers and developers to address a number of challenges raised by universal usability, such as the possibility of ob...
SOFTVIS
2003
ACM
15 years 4 months ago
2003
ACM
The paper presents a new 3D representation for visualizing large software systems. The origins of this representation can be directly traced to the SeeSoft metaphor. This work ext...