2493 search results - page 42 / 499 » Tool Support for Design by Contract |
117
click to vote
ISCI
2011
14 years 4 months ago
2011
It is well known that software maintenance and evolution are expensive activities, both in terms of invested time and money. Reverse engineering activities support the obtainment ...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
SIMUTOOLS
2008
14 years 11 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
ECCV
2004
Springer
15 years 3 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...