Integrating User Design and Formal Models within PVSio-Web von Watson, Nathaniel, Reeves, Steve, Masci, Paolo

Volltext

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community von Bowen, Jonathan P., Reeves, Steve

Volltext

Preface von Reeves, Steve

Volltext

Preface von Reeves, Steve

Volltext

Refinement for Probabilistic Systems with Nondeterminism von Reeves, Steve, Streader, David

Volltext

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012 von Riccobene, Elvinia, Reeves, Steve

Volltext

Generating Obligations, Assertions and Tests from UI Models von Bowen, Judy, Reeves, Steve

Volltext

Usable-by-Construction: a formal framework von Reeves, Steve

Volltext bestellen

Model-based Testing of Interactive Systems using Interaction Sequences von Turner, Jessica, Bowen, Judy, Reeves, Steve

Volltext

UI-design driven model-based testing von Bowen, Judy, Reeves, Steve

Volltext

A Logic for Veracity von Reeves, Steve

Volltext bestellen

Proceedings 18th Refinement Workshop: Preface von Derrick, John, Dongol, Brijesh, Reeves, Steve

Volltext

Contexts, refinement and determinism von Reeves, Steve, Streader, David

Volltext

A Logic for Veracity: Development and Implementation von Britten, Daniel, Reeves, Steve

Volltext bestellen

Experiences with mixed integer linear programming based approaches on short-term hydro scheduling von Chang, G.W., Aganagic, M., Waight, J.G., Medina, J., Burton, T., Reeves, S., Christoforidis, M.

Volltext

Proceedings 17th International Workshop on Refinement: Preface von Boiten, Eerke A., Derrick, John, Reeves, Steve

Volltext

Formal models for user interface design artefacts von Bowen, Judy, Reeves, Steve

Volltext

Refinement for user interface designs von Bowen, Judy, Reeves, Steve

Volltext

Editorial von Boiten, Eerke A, Derrick, John, Reeves, Steve

Volltext

Editorial von Boiten, Eerke A., Derrick, John, Reeves, Steve

Volltext