Supporting Software Development through Declaratively Codified Programming Patterns

Authors
Kim Mens, Isabel Michiels, Roel Wuyts
Tags
, , ,
Title
Supporting Software Development through Declaratively Codified Programming Patterns
Authors
Kim Mens, Isabel Michiels, Roel Wuyts
 ElsevierJourn_lMensMichiels.pdf Δ   317Kb   19 Oct 2011
Type
Article
Journal
Elsevier Journal on Expert Systems with Applications
Volume
23
Number
4
Pages
405-431
Year
2002

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.

Tags Tags: , , ,


BibTeX Record
  @article{RELEASeD-2002-808662,
    title = {Supporting Software Development through Declaratively Codified Programming Patterns},
    author = {Kim Mens and Isabel Michiels and Roel Wuyts},
    year = {2002},
    journal = {Elsevier Journal on Expert Systems with Applications},
    volume = {23},
    number = {4},
    pages =  {405-431},
  }