1612 search results - page 73 / 323 » A relational approach to software metrics |
SPIN
1999
Springer
14 years 5 days ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
HT
2003
ACM
14 years 1 months ago
2003
ACM
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...
ESEM
2009
ACM
13 years 11 months ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
SOMET
2007
13 years 9 months ago
2007
The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have const...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...