NLDB
2015
Springer
8 years 5 days ago
2015
Springer
We present an analysis of a high-level semantic task, the construction of cross-document event timelines from SemEval 2015 Task 4: TimeLine, to trace down errors to the components ...
MODELS
2015
Springer
8 years 5 days 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 5 days 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 5 days 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 5 days ago
2015
Springer
MODELS
2015
Springer
8 years 5 days 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...
MODELS
2015
Springer
8 years 5 days 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...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Abstract. The Unified Modeling Language has been used largely in the software community to draw pictures for designing and documenting software written in other languages. The real...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
—Model-Driven Engineering (MDE) techniques, like transformations, queries, and code generators, were devised for local, single-CPU architectures. However, the increasing complexi...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Model Driven Engineering (MDE) has the potential to be used at run-time, to monitor and verify particular aspects of run-time behaviour. Models at run-time provide a kind of formal...