Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Aspects of Computing

Issue 5/2019

EXTENDED VERSIONS OF SELECTED PAPERS PRESENTED AT FASE 2018

Content (6 Articles)

Editorial

Editorial

Alessandra Russo, Andy Schürr, Heike Wehrheim

Open Access Original Article

A verification-driven framework for iterative design of controllers

Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi

Original Article

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

Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer

Original Article

Interactive verification of architectural design patterns in FACTum

Diego Marmsoler, Habtom Kashay Gidey

Original Article

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

Zinovy Diskin, Harald König, Mark Lawford

Book Review

Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches

Greg Michaelson

Aug 19
Issue: 4/2019
INDIVIDUAL CONTRIBUTIONS
Dec 19
Issue: 6/2019
SPECIAL ISSUE ON HISTORY OF FORMAL METHODS

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits