SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Anthony Hall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Anthony Hall
Seven Myths of Formal Methods. [Citation Graph (1, 0)][DBLP]
IEEE Software, 1990, v:7, n:5, pp:11-19 [Journal]
Anthony Hall
Is Software Engineering? [Citation Graph (0, 0)][DBLP]
CSEE, 1992, pp:5-8 [Conf]
Anthony Hall
Do interactive systems need specifications? [Citation Graph (0, 0)][DBLP]
DSV-IS, 1997, pp:1-12 [Conf]
Anthony Hall
Z Styles for Security Properties and Modern User Interfaces. [Citation Graph (0, 0)][DBLP]
FASec, 2002, pp:152-166 [Conf]
Anthony Hall
Correctness by Construction: Integrating Formality into a Commercial Development Process. [Citation Graph (0, 0)][DBLP]
FME, 2002, pp:224-233 [Conf]
Anthony Hall
Using Z as a Specification Calculus for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1990, pp:290-318 [Conf]
Adrian Cox, Anthony Hall
A Real Time Kernel to Support the Transputer Programming Model. [Citation Graph (0, 0)][DBLP]
HPCN Europe, 1997, pp:615-623 [Conf]
Anthony Hall
Realising the Benefits of Formal Methods. [Citation Graph (0, 0)][DBLP]
ICFEM, 2005, pp:1-4 [Conf]
Anthony Hall
Tool Interfaces in Integrated Project Support Environments. [Citation Graph (0, 0)][DBLP]
ICSE, 1987, pp:289-290 [Conf]
Nikolaos G. Bourbakis, Richard Andel, Anthony Hall
Visual Target Tracking and Extraction from a Sequence of Images. [Citation Graph (0, 0)][DBLP]
ICTAI, 1997, pp:384-391 [Conf]
Anthony Hall
A Unified Approach to Systems and Software Requirements. [Citation Graph (0, 0)][DBLP]
RE, 2001, pp:267- [Conf]
Anthony Hall
What's the Use of Requirements Engineering? [Citation Graph (0, 0)][DBLP]
RE, 1997, pp:2-0 [Conf]
Jonathan Hammond, Rosamund Rawlings, Anthony Hall
Will It Work? [Citation Graph (0, 0)][DBLP]
RE, 2001, pp:102-109 [Conf]
Anthony Hall
Making Formal Methods Work. [Citation Graph (0, 0)][DBLP]
SEFM, 2005, pp:261-262 [Conf]
Anthony Hall
What Does Industry Need From Formal Specification Techniques? [Citation Graph (0, 0)][DBLP]
WIFT, 1998, pp:2-0 [Conf]
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
The Future of Formal Methods in Industry. [Citation Graph (0, 0)][DBLP]
ZUM, 1995, pp:237-242 [Conf]
Anthony Hall
Specifying and Interpreting Class Hierarchies in Z. [Citation Graph (0, 0)][DBLP]
Z User Workshop, 1994, pp:120-138 [Conf]
Anthony Hall
Taking Z Seriously. [Citation Graph (0, 0)][DBLP]
ZUM, 1997, pp:89-91 [Conf]
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
An Invitation to Formal Methods. [Citation Graph (0, 0)][DBLP]
IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
Anthony Hall
Using Formal Methods to Develop an ATC Information System. [Citation Graph (0, 0)][DBLP]
IEEE Software, 1996, v:13, n:2, pp:66-76 [Journal]
Anthony Hall, Roderick Chapman
Correctness by Construction: Developing a Commercial Secure System. [Citation Graph (0, 0)][DBLP]
IEEE Software, 2002, v:19, n:1, pp:18-25 [Journal]
Integrating Z into Large Projects Tools and Techniques. [Citation Graph (, )][DBLP]
Retrenchment and the Atomicity Pattern. [Citation Graph (, )][DBLP]
Software Verification and Software Engineering a Practitioner's Perspective. [Citation Graph (, )][DBLP]

Search in 0.069secs, Finished in 0.071secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP