| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter J. Clarke, James F. Power, Djuradj Babich, Tariq M. King |
A testing strategy for abstract classes.  |
Softw. Test., Verif. Reliab.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Djuradj Babich, Peter J. Clarke, James F. Power, B. M. Golam Kibria |
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT.  |
SAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James F. Power, Thomas Whelan, Susan Bergin |
Teaching discrete structures: a systematic review of the literature.  |
SIGCSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aleksy, Vasco Amaral, Ralf Gitzel, James F. Power, John Waldron |
PPPJ special issue-Foreword.  |
Sci. Comput. Program.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aleksy, Ralf Gitzel, John Waldron, James F. Power |
PPPJ 2006 special issue - foreword.  |
Sci. Comput. Program.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hennessy, James F. Power |
Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software.  |
Empirical Software Engineering  |
2008 |
DBLP DOI BibTeX RDF |
Grammar-based software, Rule coverage, Software testing, Mutation testing, Test suite reduction |
| 1 | Jonathan M. Lambert, James F. Power |
Platform Independent Timing of Java Virtual Machine Bytecode Instructions.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacqueline A. McQuillan, James F. Power |
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy.  |
ICST  |
2008 |
DBLP DOI BibTeX RDF |
metamodels, Alloy, object-oriented metrics, model testing |
| 1 | Nicholas A. Kraft, Brian A. Malloy, James F. Power |
A tool chain for reverse engineering C++ applications.  |
Sci. Comput. Program.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas A. Kraft, Brian A. Malloy, James F. Power |
An infrastructure to support interoperability in reverse engineering.  |
Information & Software Technology  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Kearney, James F. Power |
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools.  |
SEKE  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Peter J. Clarke, Djuradj Babich, Tariq M. King, James F. Power |
Intra-Class Testing of Abstract Class Features.  |
ISSRE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Áine Mitchell, James F. Power |
A study of the influence of coverage on the relationship between static and dynamic coupling metrics.  |
Sci. Comput. Program.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian A. Malloy, James F. Power |
Exploiting design patterns to automate validation of class invariants.  |
Softw. Test., Verif. Reliab.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacqueline A. McQuillan, James F. Power |
On the Application of Software Metrics to UML Models.  |
MoDELS Workshops  |
2006 |
DBLP DOI BibTeX RDF |
UML, software metrics, metamodels, object-oriented systems |
| 1 | Jacqueline A. McQuillan, James F. Power |
Experiences of using the Dagstuhl Middle Metamodel for defining software metrics.  |
PPPJ  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hennessy, James F. Power |
Ensuring behavioural equivalence in test-driven porting.  |
CASCON  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gregg, James F. Power, John Waldron |
A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites.  |
Concurrency - Practice and Experience  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James F. Power, John Waldron |
Editorial.  |
Sci. Comput. Program.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sinclair, James F. Power |
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian A. Malloy, James F. Power |
Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams.  |
VL/HCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hennessy, James F. Power |
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
grammar-based software, rule coverage, software testing, test suite reduction |
| 1 | Stephen Brown, Áine Mitchell, James F. Power |
A Coverage Analysis of Java Benchmark Suites.  |
IASTED Conf. on Software Engineering  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Brian A. Malloy, James F. Power |
Exploiting UML dynamic object modeling for the visualization of C++ programs.  |
SOFTVIS  |
2005 |
DBLP DOI BibTeX RDF |
unified modeling language, aspect oriented programming, program comprehension, sequence diagram |
| 1 | Áine Mitchell, James F. Power |
Using object-level run-time metrics to study coupling between objects.  |
SAC  |
2005 |
DBLP DOI BibTeX RDF |
object-level coupling metrics, cluster analysis, object behaviour |
| 1 | Nicholas A. Kraft, Brian A. Malloy, James F. Power |
g4re: Harnessing GCC to Reverse Engineer C++ Applications.  |
Transformation Techniques in Software Engineering  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicholas A. Kraft, Brian A. Malloy, James F. Power |
Toward an Infrastructure to Support Interoperability in Reverse Engineering.  |
WCRE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James F. Power, David Sinclair |
A Formal Model of Forth Control Words in the Pi-Calculus.  |
J. UCS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | James F. Power, Brian A. Malloy |
A metrics suite for grammar-based software.  |
Journal of Software Maintenance  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diarmuid O'Donoghue, James F. Power |
Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs.  |
ESA/VLSI  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Áine Mitchell, James F. Power |
An empirical investigation into the dimensions of run-time coupling in Java programs.  |
PPPJ  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Áine Mitchell, James F. Power |
Run-Time Cohesion Metrics: An Empirical Investigation.  |
Software Engineering Research and Practice  |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Gregg, James F. Power, John Waldron |
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite.  |
Concurrency and Computation: Practice and Experience  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian A. Malloy, Tanton H. Gibbs, James F. Power |
Decorating tokens to facilitate recognition of ambiguous language constructs.  |
Softw., Pract. Exper.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hennessy, Brian A. Malloy, James F. Power |
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. (PDF / PS)  |
IWPC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James F. Power, John Waldron (eds.) |
Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003  |
PPPJ  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tanton H. Gibbs, Brian A. Malloy, James F. Power |
Automated Validation of Class Invariants in C ++ Applications.  |
ASE  |
2002 |
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 | James F. Power, Brian A. Malloy |
Program Annotation in XML: A Parse-Tree Based Approach. (PDF / PS)  |
WCRE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Waldron, James F. Power (eds.) |
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002  |
PPPJ/IRE  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Diarmuid O'Donoghue, Aine Leddy, James F. Power, John Waldron |
Bigram analysis of Java bytecode sequences.  |
PPPJ/IRE  |
2002 |
DBLP DOI BibTeX RDF |
Java |
| 1 | David Gregg, James F. Power, John Waldron |
Measuring the impact of object-oriented techniques in grande applications: a method-level analysis.  |
Java Grande  |
2002 |
DBLP DOI BibTeX RDF |
Java Grande, method inlining, dynamic profiling |
| 1 | Jane Horgan, James F. Power, John Waldron |
Measurement and Analysis of Runtime Profiling Data for Java Programs.  |
SCAM  |
2001 |
DBLP DOI BibTeX RDF |
Bytecode Analysis, Contingency Measure, Java Virtual Machine |
| 1 | James F. Power, Brian A. Malloy |
Exploiting metrics to facilitate grammar transformation into LALR format.  |
SAC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlie Daly, Jane Horgan, James F. Power, John Waldron |
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite.  |
Java Grande  |
2001 |
DBLP DOI BibTeX RDF |
Java Grande, Java, Java Virtual Machine |
| 1 | L. Cosgrave, James F. Power, John Waldron |
An object oriented approach to parser generation in C++.  |
South African Computer Journal  |
2000 |
DBLP BibTeX RDF |
|
| 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 | James F. Power, Brian A. Malloy |
Symbol Table Construction and Name Lookup in ISO C++.  |
TOOLS  |
2000 |
DBLP DOI BibTeX RDF |
name lookup, ISO C++ language, symbol table construction, UML class, decorator, facade, model understandability, ISO C++ standard, C++ understandability, UML knowledge, parser front-end, name lookup problem, component approach, compiler technology, parser driven applications, front-end development, user interfaces, Unified Modeling Language, reverse engineering, specification languages, program compilers, grammars, object oriented model, object oriented framework, table lookup, sequence diagrams, software standards, ISO standards, C++ language |
| 1 | James F. Power, Brian A. Malloy |
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language.  |
SAC  |
2000 |
DBLP BibTeX RDF |
|
| 1 | James F. Power, Brian A. Malloy |
Metric-Based Analysis of Context-Free Grammars. (PDF / PS)  |
IWPC  |
2000 |
DBLP DOI 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 |
|