111
click to vote
MPC
2015
Springer
10 years 2 months ago
2015
Springer
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of ...
103
click to vote
MPC
2015
Springer
10 years 2 months ago
2015
Springer
Rely-Guarantee reasoning is a well-known method for verification of shared-variable concurrent programs. However, it is difficult for users to define rely/guarantee conditions, ...
121
click to vote
MPC
2015
Springer
10 years 2 months ago
2015
Springer
The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that multirelations have also been used for modelling topologica...
110
click to vote
MPC
2015
Springer
10 years 2 months ago
2015
Springer
Abstract. Bidirectional transformations (bx) support principled consistency maintenance among data sources. Each data source corresponds to one perspective on a composite system, m...
141
click to vote
MODELS
2015
Springer
10 years 2 months ago
2015
Springer
Abstract. The ISO 26262 standard defines functional safety for automotive E/E systems. Since the publication of the first edition of this standard in 2011, many different safety...
152
click to vote
MODELS
2015
Springer
10 years 2 months ago
2015
Springer
—None of the current plethora of meta-modelling tools includes a complete, explicit model of themselves. Such a model, a precise specification of the tool’s syntax and semanti...
140
click to vote
MODELS
2015
Springer
10 years 2 months ago
2015
Springer
Metamodelling plays an important role in model-driven engineering as it can be used to define domain-specific modelling languages. During the modelling phase, software designers...
140
click to vote
MODELS
2015
Springer
10 years 2 months ago
2015
Springer
Abstract—Model transformation is a key technology in modeldriven engineering. Unfortunately, transformations are typically written manually and thus they are likely to contain er...
155
click to vote
MODELS
2015
Springer
10 years 2 months ago
2015
Springer
Abstract—Legal policy simulation is an important decisionsupport tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the la...