Formal Treatment Of Design Patterns

The Unofficial Page of Formal And Precise Software Patterns Representation Languages is available at

The page offers a collection of links and information of other resources about precise and formal specification languages for object oriented patterns, as well as tools supporting their application, recognition, and discovery.


CategoryFormalMethods


EditText of this page (last edited August 16, 2014) or FindPage with title or text search