1782 search results - page 206 / 357 » Tool Support for Proof Engineering |
157
click to vote
CAV
2005
Springer
16 years 9 hour ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
143
click to vote
EWC
2000
15 years 6 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
173
click to vote
EUROMICRO
2006
IEEE
16 years 16 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
181
click to vote
ISESE
2005
IEEE
16 years 1 days ago
2005
IEEE
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
156
click to vote
UML
2005
Springer
15 years 12 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...