Supporting Software Development through Declaratively Codified Programming Patterns (2001) [51 citations — 7 self]
Abstract:
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, most software development environments do not adequately support the declaration and use of such patterns. To explicitly codify these patterns, we adopt a declarative meta-programming approach. In this approach, we reify the structure of an (object-oriented)program in terms of logic clauses. We declare programming patterns as logic rules on top of these clauses. By querying the logic system, these rules allow us to check, enforce and search for occurrences of patterns in the software. As such, the programming patterns become an active part of the development and maintenance environment.
Citations
| 3911 | Design Patterns: Elements of Reusable Object-Oriented Software – Gamma, Helm, et al. - 1995 |
| 98 | Object-Oriented Design Heuristics – Riel - 1996 |
| 96 | Smalltalk Best Practice Patterns – Beck - 1997 |
| 87 | Declarative Reasoning about the Structure of Object-Oriented Systems – Wuyts - 1998 |
| 83 | A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation – Wuyts - 2001 |
| 53 | Refactoring: Improving the Design of Existing Programs – Fowler - 1999 |
| 28 | Automating Architectural Conformance Checking by means of Logic Meta Programming – Mens - 2000 |
| 4 | Automated programmering: The programmer’s assistant – Teitelman - 1984 |
| 4 | A display-oriented programmer’s assistant – Teitelman - 1977 |
| 3 | OO anthropology: Crossing the chasm (panel 3 – Fraser, Cockburn, et al. - 1996 |
| 1 | OO anthropology: Crossing the chasm (panel 3 – West - 1996 |
