111 search results - page 23 / 23 » Support for Design Patterns Through Graph Transformation Too... |
SIGSOFT
2006
ACM
14 years 5 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...