Sciweavers

Share
3 search results - page 1 / 1
» fase 2016
Sort
View
FASE
2016
Springer
3 years 20 days ago
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
Abstract. Unifying similar model transformation rules into variabilitybased ones can improve both the maintainability and the performance of a model transformation system. Yet, man...
Daniel Strüber 0001, Julia Rubin, Thorsten Ar...
FASE
2016
Springer
3 years 20 days ago
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems
Abstract. Software is often governed by and thus adapts to phenomena that occur at runtime. Unlike traditional decision problems, where a decision-making model is determined for re...
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenb...
FASE
2016
Springer
3 years 20 days ago
PVAIR: Partial Variable Assignment InterpolatoR
Despite its recent popularity, program veriļ¬cation has to face practical limitations hindering its everyday use. One of these issues is scalability, both in terms of time and mem...
Pavel Jancík, Leonardo Alt, Grigory Fedyuko...
books