Correct-by-construction model driven engineering composition operators

JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing

Authors: Mounira Kezadri Hamiaz | Marc Pantel | Xavier Thirioux | Benoit Combemale

The stream-based service-centred calculus: a foundation for service-oriented programming

JOURNAL ARTICLE published September 2014 in Formal Aspects of Computing

Authors: Luís Cruz-Filipe | Ivan Lanese | Francisco Martins | António Ravara | Vasco Thudichum Vasconcelos

Special section of Tests and Proofs 2016

JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing

Authors: Bernhard K. Aichernig | Carlo A. Furia | Marie-Claude Gaudel | Rob Hierons

Reachability analysis of fragments of mobile ambients in AC term rewriting

JOURNAL ARTICLE published July 2008 in Formal Aspects of Computing

Authors: Giorgio Delzanno | Roberto Montagna

Valediction

JOURNAL ARTICLE published December 2008 in Formal Aspects of Computing

Authors: Cliff Jones

Physigrams: modelling devices for natural interaction

JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing

Authors: Alan Dix | Masitah Ghazali | Steve Gill | Joanna Hare | Devina Ramduny-Ellis

Program verification with interacting analysis plugins

JOURNAL ARTICLE published August 2007 in Formal Aspects of Computing

Authors: Nathaniel Charlton

A mini challenge: build a verifiable filesystem

JOURNAL ARTICLE published June 2007 in Formal Aspects of Computing

Authors: Rajeev Joshi | Gerard J. Holzmann

Model checking action system refinements

JOURNAL ARTICLE published February 2009 in Formal Aspects of Computing

Authors: Graeme Smith | Kirsten Winter

Editorial

JOURNAL ARTICLE published December 2002 in Formal Aspects of Computing

Authors: CLIFF JONES

Graph Transformation Units with Interleaving Semantics

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Hans-Jörg Kreowski | Sabine Kuske

Predicate Transformers for Recursive Procedures with Local Variables

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Wim H. Hesselink

Heterogeneous Notations for Pure Formal Method Integration

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Authors: Richard F. Paige

Investigating the Integration of two Formal Methods

JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing

Authors: Juan Bicarregui | Brian Matthews | Brian Ritchie | Sten Agerholm

The Standard Logic of Z is Inconsistent

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Authors: Martin C. Henson

Specifying the apple Macintosh ^™ Toolbox event manager

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: C. T. Burton | S. J. Cook | S. Gikas | J. R. Rowson | S. T. Sommerville

Forthcoming events 1990

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

The projection of systolic programs

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: C. Lengauer | J. W. Sanders

Weakest preconditions for progress

JOURNAL ARTICLE published March 1992 in Formal Aspects of Computing

Authors: Johan J. Lukkien | Jan L. A. van de Snepscheut

Interpreting Message Flow Graphs

JOURNAL ARTICLE published September 1995 in Formal Aspects of Computing

Authors: Peter B. Ladkin | Stefan Leue