Files
Résumé
This paper presents the Alloy code for the formalization of “RM-ODP part 2: Foundations”. The formalization is defined and explained in the separate work.
Détails
Titre
"RM-ODP part 2: Foundations" in Alloy
Auteur(s)
Naumenko, Andrey ; Wegmann, Alain
Date
2001
Mots-clés (libres)
Laboratoires
LAMS
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LAMS - Laboratoire de modélisation systémique
Travail produit à l'EPFL
Rapports techniques
Publié
Travail produit à l'EPFL
Rapports techniques
Publié
Date de création de la notice
2004-08-31