| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isabelle Perseil, J. Paul Gibson |
Introduction to special issue: papers from UML&FM'2011.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson, Jean-Luc Raffy, Eric Lallet |
Formal object-oriented development of a voting system test oracle. |
ISSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson, Damien MacNamara, Ken Oakley |
Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. |
REVOTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson |
Software reuse and plagiarism: a code of practice. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
software re-use, testing, ethics, plagiarism, student projects |
| 1 | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
Feature Interactions in a Software Product Line for E-voting. |
ICFI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Woods, J. Paul Gibson |
Lower bounds on the computational power of an optical model of computation. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson |
Weaving a Formal Methods Education with Problem-Based Learning. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum |
| 1 | Dominique Cansell, J. Paul Gibson, Dominique Méry |
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Cansell, J. Paul Gibson, Dominique Méry |
Formal verification of tamper-evident storage for e-voting. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson |
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jackie O'Kelly, J. Paul Gibson |
RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
computing education research, problem based learning |
| 1 | Stephen Hallinan, J. Paul Gibson |
A Graduate's Role in Technology Transfer: From Requirements to Design with UML. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | Damien Woods, J. Paul Gibson |
Lower Bounds on the Computational Power of an Optical Model of Computation. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Des Traynor, J. Paul Gibson |
Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
assessment, program comprehension, first year programming |
| 1 | Damien Woods, J. Paul Gibson |
Complexity of Continuous Space Machine Operations. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward B. Duffy, J. Paul Gibson, Brian A. Malloy |
Applying the Decorator Pattern for Profiling Object-Oriented Software. (PDF / PS) |
IWPC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson |
A noughts and crosses Java applet to teach programming to primary school children. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Clarke, Brian A. Malloy, J. Paul Gibson |
Using a Taxonomy Tool to Identify Changes in OO Softwar. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David C. Rine, James F. Power, J. Paul Gibson |
ACM SAC2002 software engineering: theory and applications (SETA) track description. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson |
Formal Requirements Engineering: Learning from the Students. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
customer models, verification, validation, teaching |
| 1 | David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton |
Specifying and Verifying IP with Linear Logic. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Geoff Hamilton, Dominique Méry |
A Taxonomy for Triggered Interactions Using Fair Object Semantics. |
FIW |
2000 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy |
The Application of Correctness Preserving Transformations to Software Maintenance. (PDF / PS) |
ICSM |
2000 |
DBLP DOI BibTeX RDF |
correctness preserving transformation, formal methods, Reverse engineering, public key cryptography, code optimization |
| 1 | David Sinclair, J. Paul Gibson (eds.) |
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Dominique Méry |
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson, Geoff Hamilton, Dominique Méry |
Integration Problems in Telephone Feature Requirements. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power |
Four Logics and a Protocol. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson |
Towards a Feature Interaction Algebra. |
FIW |
1998 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Dominique Méry |
Teaching Formal Methods: Lessons to Learn. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson |
Feature Requirements Models: Understanding Interactions. |
FIW |
1997 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Bruno Mermet, Dominique Méry |
Feature Interactions: A Mixed Semantic Model Approach. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dominique Méry, J. Paul Gibson |
Telephone feature verification: Translating SDL to TLA+. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")