32 search results - page 2 / 7 » kbse 2003 |
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...
KBSE
2003
IEEE
13 years 10 months 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...