"RM-ODP part 2: Foundations" in Alloy

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.


Year:
2001
Keywords:
Laboratories:




 Record created 2004-08-31, last modified 2018-01-27

External links:
Download fulltextn/a
Download fulltextn/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)