A formal specification of the Fractal component model in Alloy
Résumé
This report contains a formal specification of the Fractal component model using the Alloy specification language. The report covers all the elements of the (informal) reference specification of the Fractal model. It provides a truly language-independent specification of the Fractal model, and lifts the ambiguities of the reference specification.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...