131
click to vote
ECEASST
2010
15 years 13 days ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...