FAC: Vol 31, No 5

Volume 31, Issue 5Nov 2019Special Issue on Extended Versions of Selected Papers Presented at FASE 2018

Volume 31, Issue 5

Nov 2019

Publisher:

Springer-Verlag
Berlin, Heidelberg

ISSN:0934-5043

EISSN:1433-299X

Tags:

Bibliometrics

Select All

Export Citations Save to Binder

editorial

Open Access

Editorial

Pages 457–458https://doi.org/10.1007/s00165-019-00495-y

research-article

Open Access

A verification-driven framework for iterative design of controllers

Pages 459–502https://doi.org/10.1007/s00165-019-00484-1

Abstract

Controllers often are large and complex reactive software systems and thus they typically cannot be developed as monolithic products. Instead, they are usually comprised of multiple components that interact to provide the desired functionality. ...

research-article

Open Access

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

Pages 503–540https://doi.org/10.1007/s00165-019-00489-w

Abstract

Designers of distributed database systems face the choice between stronger consistency guarantees and better performance. A number of applications only require read atomicity (RA) (either all or none of a transaction’s updates are visible to other ...

research-article

Open Access

Interactive verification of architectural design patterns in FACTum

Pages 541–610https://doi.org/10.1007/s00165-019-00488-x

Abstract

Architectural design patterns (ADPs) are architectural solutions to common architectural design problems. They are an important concept in software architectures used for the design and analysis of architectures. An ADP usually constrains the ...

research-article

Open Access

Multiple model synchronization with multiary delta lenses with amendment and K-Putput

Pages 611–640https://doi.org/10.1007/s00165-019-00493-0

Abstract

Multiple (more than 2) model synchronization is ubiquitous and important for MDE, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx community in the ...