Sciweavers

26 search results - page 6 / 6
» Finite Model Reasoning on UML Class Diagrams Via Constraint ...
Sort
View
TACS
2001
Springer
13 years 10 months ago
Lightweight Analysis of Object Interactions
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
Daniel Jackson, Alan Fekete