5668 search results - page 393 / 1134 » The case for software evolution |
188
click to vote
RSP
2005
IEEE
16 years 14 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
189
click to vote
VL
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...
163
click to vote
IWPSE
2003
IEEE
16 years 4 days ago
2003
IEEE
Current refactoring tools only provide support for performing selected refactorings. We show how tool support can be provided for the preparatory phases of refactoring as well, by...
189
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
156
click to vote
FATES
2003
Springer
16 years 3 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...