The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jon G. Hall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Adrian J. Hilton, Jon G. Hall
    High-Integrity Interfacing to Programmable Logic with Ada. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2004, pp:249-260 [Conf]
  2. Eike Best, Raymond R. Devillers, Jon G. Hall
    The box calculus: a new causal algebra with multi-label communication. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:21-69 [Conf]
  3. Richard P. Hopkins, Jon G. Hall, Oliver Botti
    A basic-net algebra for program semantics and its application to OCCAM. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:179-214 [Conf]
  4. Robert Logie, Jon G. Hall, Kevin G. Waugh
    Reactive Food Gathering. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:406-413 [Conf]
  5. Adrian J. Hilton, Gemma Townson, Jon G. Hall
    FPGAs in critical hardware/software systems. [Citation Graph (0, 0)][DBLP]
    FPGA, 2003, pp:244- [Conf]
  6. Rogério de Lemos, Jon G. Hall
    Extended RTL in the Specification and Verification of an Industrial Press. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:114-125 [Conf]
  7. Karl Cox, Jon G. Hall, Lucia Rapanotti
    1st International Workshop on Advances and Applications of Problem Frames. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:754-755 [Conf]
  8. Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin
    2nd international workshop on advances and applications of problem frames. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1030-1031 [Conf]
  9. David J. King, Jon G. Hall, Philip W. Trinder
    A Strategic Profiler for Glasgow Parallel Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 1998, pp:88-102 [Conf]
  10. Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King
    Towards an Operational Semantics for a Parallel Non-Strict Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 1998, pp:54-71 [Conf]
  11. Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti
    Relating Software Requirements and Architectures Using Problem Frames. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:137-144 [Conf]
  12. Jon G. Hall, Lucia Rapanotti
    A Reference Model for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:181-187 [Conf]
  13. Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh
    Architecture-driven Problem Decomposition. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:80-89 [Conf]
  14. Jon G. Hall, Lucia Rapanotti
    Educational JavaBeans: a Requirements Driven Architecture. [Citation Graph (0, 0)][DBLP]
    WebNet, 2001, pp:474-479 [Conf]
  15. Jon G. Hall, John A. McDermid
    Towards a Z Method: Axiomatic Specification in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:213-229 [Conf]
  16. Jon G. Hall, Andrew Martin
    W Reconstructed. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:115-134 [Conf]
  17. Adrian J. Hilton, Jon G. Hall
    Refining specifications to programmable logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  18. Karl Cox, Jon G. Hall, Lucia Rapanotti
    A roadmap of problem frames research. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:14, pp:891-902 [Journal]
  19. Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid
    A Model for a Causal Logic for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 1996, v:1, n:1, pp:27-46 [Journal]
  20. Jon G. Hall, Lucia Rapanotti, Michael Jackson
    Problem frame semantics for software development. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:2, pp:189-198 [Journal]
  21. Derek Mannering, Jon G. Hall, Lucia Rapanotti
    Towards Normal Design for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:398-411 [Conf]
  22. Derek Mannering, Jon G. Hall, Lucia Rapanotti
    Safety Process Improvement with POSE and Alloy. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:252-257 [Conf]

  23. Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design. [Citation Graph (, )][DBLP]


  24. Arguing safety with Problem Oriented Software Engineering. [Citation Graph (, )][DBLP]


  25. Towards Mining for Influence in a Multi Agent Environment. [Citation Graph (, )][DBLP]


  26. 3rd international workshop on advances and applications of problem frames. [Citation Graph (, )][DBLP]


  27. Requirements and architectures: two sides of the same coin. [Citation Graph (, )][DBLP]


  28. 2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010). [Citation Graph (, )][DBLP]


  29. Problem Oriented Software Engineering: A design-theoretic framework for software engineering. [Citation Graph (, )][DBLP]


  30. Assurance-Driven Design. [Citation Graph (, )][DBLP]


  31. Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering. [Citation Graph (, )][DBLP]


Search in 2.181secs, Finished in 2.183secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002