470 search results - page 68 / 94 » Semantic Anchoring with Model Transformations |
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
IAJIT
2008
13 years 8 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
IANDC
2010
13 years 5 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...