MPC
2015
Springer
8 years 6 months ago
2015
Springer
Generic programming (GP) is a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes. Severa...
MPC
2015
Springer
8 years 6 months ago
2015
Springer
We show that every regular language, via some DFA which accepts it, gives rise to a homomorphism from the semiring of polynomial functors to the semiring of n×n matrices over poly...
MPC
2015
Springer
8 years 6 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
8 years 6 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
8 years 6 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
8 years 6 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...
MODELS
2015
Springer
8 years 6 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...
MODELS
2015
Springer
8 years 6 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...
MODELS
2015
Springer
8 years 6 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...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer