flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
New Search Save Search Refine Search
Results
author = "Naumenko, Andrey"
<< < 1 2 3

Found 23 documents, displaying page 3 of 3

The Role of Tarski’s Declarative Semantics in the Design of Modeling Languages

Author(s) : Naumenko, Andrey , Wegmann, Alain , Atkinson, C.
Description : This paper focuses on Tarski`s declarative semantics and their usefulness in the design of a modeling language. We introduce the principles behind Tarski`s approach to semantics and explain what advantages this offers in the context of modeling languages. Using sentential logic we demonstrate the ne...
Repository : Infoscience
Language(s) : English

The Role of Tarski's Declarative Semantics in the Design of Modeling Languages

Author(s) : Naumenko, Andrey , Wegmann, Alain , Atkinson, Colin
Description : This paper focuses on Tarski's declarative semantics and their usefulness in the design of a modeling language. We introduce the principles behind Tarski's approach to semantics and explain what advantages this offers in the context of modeling languages. Using sentential logic we demonstrate the ne...
Repository : Infoscience
Language(s) : English

Proposal for a formal foundation of RM-ODP concepts

Author(s) : Naumenko, Andrey , Wegmann, Alain , Genilloud, Guy , Frank, William F
Description : This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is to clarify the RM-ODP modeling framework to make it more accessible to modelers such as system architects, designers and implemente...
Repository : Infoscience
Language(s) : English
<< < 1 2 3

Found 23 documents, displaying page 3 of 3