The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. Anthony Hall
    Seven Myths of Formal Methods. [Citation Graph (1, 0)][DBLP]
    IEEE Software, 1990, v:7, n:5, pp:11-19 [Journal]
  2. Anthony Hall
    Is Software Engineering? [Citation Graph (0, 0)][DBLP]
    CSEE, 1992, pp:5-8 [Conf]
  3. Anthony Hall
    Do interactive systems need specifications? [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:1-12 [Conf]
  4. Anthony Hall
    Z Styles for Security Properties and Modern User Interfaces. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:152-166 [Conf]
  5. Anthony Hall
    Correctness by Construction: Integrating Formality into a Commercial Development Process. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:224-233 [Conf]
  6. Anthony Hall
    Using Z as a Specification Calculus for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:290-318 [Conf]
  7. 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]
  8. Anthony Hall
    Realising the Benefits of Formal Methods. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:1-4 [Conf]
  9. Anthony Hall
    Tool Interfaces in Integrated Project Support Environments. [Citation Graph (0, 0)][DBLP]
    ICSE, 1987, pp:289-290 [Conf]
  10. 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]
  11. Anthony Hall
    A Unified Approach to Systems and Software Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:267- [Conf]
  12. Anthony Hall
    What's the Use of Requirements Engineering? [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:2-0 [Conf]
  13. Jonathan Hammond, Rosamund Rawlings, Anthony Hall
    Will It Work? [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:102-109 [Conf]
  14. Anthony Hall
    Making Formal Methods Work. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:261-262 [Conf]
  15. Anthony Hall
    What Does Industry Need From Formal Specification Techniques? [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:2-0 [Conf]
  16. 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]
  17. Anthony Hall
    Specifying and Interpreting Class Hierarchies in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:120-138 [Conf]
  18. Anthony Hall
    Taking Z Seriously. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:89-91 [Conf]
  19. 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]
  20. 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]
  21. 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]

  22. Integrating Z into Large Projects Tools and Techniques. [Citation Graph (, )][DBLP]

  23. Retrenchment and the Atomicity Pattern. [Citation Graph (, )][DBLP]

  24. Software Verification and Software Engineering a Practitioner's Perspective. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002