409 search results - page 38 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
132
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
107
click to vote
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
115
click to vote
SEKE
2007
Springer
15 years 7 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
127
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...