MPC
2015
Springer
9 years 11 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 ...
MPC
2015
Springer
9 years 11 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, ...
MPC
2015
Springer
9 years 11 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...
MPC
2015
Springer
9 years 11 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...
104
Voted
MODELS
2015
Springer
9 years 11 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...
109
Voted
MODELS
2015
Springer
9 years 11 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...
105
Voted
MODELS
2015
Springer
9 years 11 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...
101
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
101
Voted
MODELS
2015
Springer
9 years 11 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...
110
Voted
MODELS
2015
Springer
9 years 11 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...