Sciweavers

3429 search results - page 60 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
UML
2005
Springer
14 years 1 months ago
Weaving Executability into Object-Oriented Meta-languages
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
Pierre-Alain Muller, Franck Fleurey, Jean-Marc J&e...
UML
2000
Springer
13 years 11 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
CORR
2008
Springer
84views Education» more  CORR 2008»
13 years 7 months ago
Nested Ordered Sets and their Use for Data Modelling
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
Alexandr A. Savinov
FOSSACS
2006
Springer
13 years 11 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
EMNLP
2011
12 years 7 months ago
Optimizing Semantic Coherence in Topic Models
David M. Mimno, Hanna M. Wallach, Edmund M. Talley...