Supporting software development through declaratively codified programming patterns

Mens, Kim;Michiels, Isabel;Wuyts, Roel
(2002) Expert Systems with Applications — Vol. 23, n° 4, p. 405-413 (2002)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 129.62 KB

Details

Authors
  • Mens, Kimorcid-logoUCLouvain
    Author
  • Michiels, IsabelVUB
    Author
  • Wuyts, RoelVUB
    Author
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 a (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 certain patterns in the software. As such, the programming patterns become an active part of the software development and maintenance environment. (C) 2002 Elsevier Science Ltd. All rights reserved.
Affiliations

Citations

Mens, K., Michiels, I., & Wuyts, R. (2002). Supporting software development through declaratively codified programming patterns. Expert Systems with Applications, 23(4), 405-413. https://doi.org/10.1016/S0957-4174(02)00076-3 (Original work published 2002)