Semantic model driven engineering
<p>Semantic interoperability is a concern in the design and implementation of modern information systems. Whenever two systems communicate it is important that they share an adequate, common interpretation of any information transferred. Similarly, whenever data created or ac- quired in one c...
Main Author: | Milward, D |
---|---|
Other Authors: | Davies, J |
Format: | Thesis |
Language: | English |
Published: |
2020
|
Subjects: |
Similar Items
-
Modern formal methods and applications /
by: Gabbar, Hossam A
Published: (2006) -
Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
by: 344883 Samek, Miro
Published: (2009) -
A Load-Buffer Semantics for Total Store Ordering
by: Parosh Aziz Abdulla, et al.
Published: (2018-01-01) -
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
by: Jos C. M. Baeten, et al.
Published: (2023-03-01) -
Abstractions and formal verification of max-plus linear systems
by: Syifaul Mufid, M
Published: (2021)