F-UML Tool for the formal design of frameworks

class

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  Brian Foote,et al.  Designing Reusable Classes , 2001 .

[3]  Nadia Bouassida,et al.  Formalizing the framework design language F-UML , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[4]  Design of a framework for electronic commerce brokers , 2002, Proceedings First IEEE International Conference on Cognitive Informatics.

[5]  Jin Song Dong,et al.  Object-Z web environment and projections to UML , 2001, WWW '01.

[6]  Hans Albrecht Schmid,et al.  Systematic framework design by generalization , 1997, CACM.

[7]  Nadia Bouassida,et al.  A UML based Design Language for Framework Reuse , 2001, OOIS.

[8]  David A. Carrington,et al.  A Formal Mapping between UML Models and Object-Z Specifications , 2000, ZB.