A Logic for Schema-Based Program Development

article

A Robust Semantics Hides Fewer Errors

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

Behavioral modeling for mobile agent systems using Petri nets

CONFLICTS AND FAIR TESTING

Computer tools to teach formal reasoning

Contexts, refinement and determinism

Data refinement and singleton failures refinement are not equivalent

Developing usability studies via formal models of UIs

Editorial

Editorial

Editorial

Feature Refinement

Formal Models for Informal GUI Designs

Formal models for user interface design artefacts

Formal refinement of informal GUI design artefacts

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community

General Refinement, Part One: Interfaces, Determinism and Special Refinement

General Refinement, Part Two: Flexible Refinement

Generic Tools via General Refinement

Guarded Operations, Refinement and Simulation

Integrating User Design and Formal Models within PVSio-Web

scholarly article

Model-based Testing of Interactive Systems using Interaction Sequences

Modelling user manuals of modal medical devices and learning from the experience

Modular Synthesis of Discrete Controllers

Preface

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012

Proceedings 18th Refinement Workshop

scholarly article

Refinement for User Interface Designs

Refinement for user interface designs

SeqCheck

Simulating Interaction Sequences

Stepwise Refinement of Processes

Supporting Multi-path UI Development with Vertical Refinement

article

Supporting interactive system testing with interaction sequences

Teaching formal methods lite via testing

UI-design driven model-based testing

UI-driven test-first development of interactive systems

article

Using Abstraction with Interaction Sequences for Interactive System Modelling