Automatic proof of refinement among design patterns using the TLC model checker

Authors:
Toufik Taibi;Ángel Herranz
Affiliations:
College of Information Technology, United Arab Emirates University, Al Ain, United Arab Emirates;Facultad de Informática, Universidad Politécnica de Madrid, Madrid, Spain
Venue:
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Year:
2007

Citing 10
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Pattern languages of program design

Pattern languages of program design
Relationships between design patterns

Pattern languages of program design
Pattern languages of program design 2

Pattern languages of program design 2
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Pattern languages of program design 3

Pattern languages of program design 3
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Pattern Languages of Program Design 4

Pattern Languages of Program Design 4
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Classifying Relationships between Object-Oriented Design Patterns

ASWEC '98 Proceedings of the Australian Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multiple criteria decision making (MCDM) is widely used in ranking one or more alternatives from a set of available alternatives with respect to multiple criteria. Inspired by MCDM which are methods to systematically evaluate alternatives, we propose ...