Generating Java Code from Design Patterns Formalized in BPSL

Design patterns are typically described using informal notations which give rise to ambiguity and limit tool support. Balanced pattern specification language (BPSL) is intended to formally specify patterns in order to allow rigorous reasoning about them and facilitate tool support. This work describ... View More