"RM-ODP part 2: Foundations" in Alloy
Naumenko, Andrey; Wegmann, Alain
2001
Download
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Files

Abstract

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.

Details

Title "RM-ODP part 2: Foundations" in Alloy
Author(s) Naumenko, Andrey ; Wegmann, Alain
Date 2001
Keywords
Laboratories LAMS
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMS - Systemic Enterprise Architecture Methodology Laboratory
Work produced at EPFL
Technical Reports
Published
Record creation date 2004-08-31

PDF