The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. Paul Gibson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. J. Paul Gibson
    Formal Requirements Engineering: Learning from the Students. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:171-180 [Conf]
  2. J. Paul Gibson
    E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:1- [Conf]
  3. Damien Woods, J. Paul Gibson
    Complexity of Continuous Space Machine Operations. [Citation Graph (0, 0)][DBLP]
    CiE, 2005, pp:540-551 [Conf]
  4. Peter J. Clarke, Brian A. Malloy, J. Paul Gibson
    Using a Taxonomy Tool to Identify Changes in OO Softwar. [Citation Graph (0, 0)][DBLP]
    CSMR, 2003, pp:213-222 [Conf]
  5. J. Paul Gibson, Dominique Méry
    Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:155-179 [Conf]
  6. J. Paul Gibson
    Feature Requirements Models: Understanding Interactions. [Citation Graph (0, 0)][DBLP]
    FIW, 1997, pp:46-60 [Conf]
  7. J. Paul Gibson
    Towards a Feature Interaction Algebra. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:217-231 [Conf]
  8. J. Paul Gibson, Geoff Hamilton, Dominique Méry
    A Taxonomy for Triggered Interactions Using Fair Object Semantics. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:193-209 [Conf]
  9. Stephen Hallinan, J. Paul Gibson
    A Graduate's Role in Technology Transfer: From Requirements to Design with UML. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2005, pp:94-99 [Conf]
  10. David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton
    Specifying and Verifying IP with Linear Logic. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  11. J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy
    The Application of Correctness Preserving Transformations to Software Maintenance. [Citation Graph (0, 0)][DBLP]
    ICSM, 2000, pp:108-0 [Conf]
  12. J. Paul Gibson, Geoff Hamilton, Dominique Méry
    Integration Problems in Telephone Feature Requirements. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:129-148 [Conf]
  13. J. Paul Gibson, Dominique Méry
    Teaching Formal Methods: Lessons to Learn. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
  14. J. Paul Gibson, Bruno Mermet, Dominique Méry
    Feature Interactions: A Mixed Semantic Model Approach. [Citation Graph (0, 0)][DBLP]
    IWFM, 1997, pp:- [Conf]
  15. David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power
    Four Logics and a Protocol. [Citation Graph (0, 0)][DBLP]
    IWFM, 1999, pp:- [Conf]
  16. Edward B. Duffy, J. Paul Gibson, Brian A. Malloy
    Applying the Decorator Pattern for Profiling Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    IWPC, 2003, pp:84-93 [Conf]
  17. David C. Rine, James F. Power, J. Paul Gibson
    ACM SAC2002 software engineering: theory and applications (SETA) track description. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:969-970 [Conf]
  18. Dominique Méry, J. Paul Gibson
    Telephone feature verification: Translating SDL to TLA+. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:103-118 [Conf]
  19. Des Traynor, J. Paul Gibson
    Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:495-499 [Conf]
  20. Damien Woods, J. Paul Gibson
    Lower Bounds on the Computational Power of an Optical Model of Computation. [Citation Graph (0, 0)][DBLP]
    UC, 2005, pp:237-250 [Conf]
  21. Jackie O'Kelly, J. Paul Gibson
    RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2006, pp:217-221 [Conf]
  22. J. Paul Gibson
    A noughts and crosses Java applet to teach programming to primary school children. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2003, pp:85-88 [Conf]
  23. Dominique Cansell, J. Paul Gibson, Dominique Méry
    Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:39-55 [Journal]

  24. Weaving a Formal Methods Education with Problem-Based Learning. [Citation Graph (, )][DBLP]


  25. Formal verification of tamper-evident storage for e-voting. [Citation Graph (, )][DBLP]


  26. Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. [Citation Graph (, )][DBLP]


  27. Software reuse and plagiarism: a code of practice. [Citation Graph (, )][DBLP]


  28. Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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