Anthony Hall - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2013

Atomicity failure and the retrenchment atomicity patternRichard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney. fac, 25(3):439-464, 2013. [doi]

2010

Motion Capture for a Natural Tree in the WindJie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael Jones. mig 2010: 158-169 [doi]

2008

Integrating Z into Large Projects Tools and TechniquesAnthony Hall. asmta 2008: 337 [doi]

2007

Retrenchment and the Atomicity PatternRichard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney. SEFM 2007: 37-46 [doi]

Realising the Benefits of Formal MethodsAnthony Hall. jucs, 13(5):669-678, 2007. [doi]

2005

Realising the Benefits of Formal MethodsAnthony Hall. icfem 2005: 1-4 [doi]

Software Verification and Software Engineering a Practitioner s PerspectiveAnthony Hall. vstte 2008: 70-73 [doi]

Making Formal Methods WorkAnthony Hall. SEFM 2005: 261-262 [doi]

2002

Z Styles for Security Properties and Modern User InterfacesAnthony Hall. fasec 2003: 152-166 [doi]

Correctness by Construction: Integrating Formality into a Commercial Development ProcessAnthony Hall. FM 2002: 224-233 [doi]

Correctness by Construction: Developing a Commercial Secure SystemAnthony Hall, Roderick Chapman. IEEE Software, 19(1):18-25, 2002. [doi]

2001

A Unified Approach to Systems and Software RequirementsAnthony Hall. RE 2001: 267 [doi]

Will It Work?Jonathan Hammond, Rosamund Rawlings, Anthony Hall. RE 2001: 102-109 [doi]

1998

What Does Industry Need From Formal Specification Techniques?Anthony Hall. wift 1998: 2 [doi]

1997

1996

1995

The Future of Formal Methods in IndustryAnthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett. zum 1995: 237-242

1994

Specifying and Interpreting Class Hierarchies in ZAnthony Hall. zum 1994: 120-138

1993

Integrating Methods in PracticeAnthony Hall. In Peter Ryan, Chris T. Sennett, editors, Formal Methods in Systems Engineering. pages 51-59, Springer, 1993. [doi]

1992

Is Software Engineering?Anthony Hall. csee 1992: 5-8

1990

Seven Myths of Formal MethodsAnthony Hall. IEEE Software, 7(5):11-19, 1990.

Using Z as a Specification Calculus for Object-Oriented SystemsAnthony Hall. FM 1990: 290-318

1987

Tool Interfaces in Integrated Project Support EnvironmentsAnthony Hall. ICSE 1987: 289-290

Sign in or sign up to see more results.

runs on WebDSL