| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Craig Comstock, Zhizhong Jiang, Jim Davies |
Economies and diseconomies of scale in software development.  |
Journal of Software Maintenance  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. W. Roscoe, Jim Davies |
CSP (Communicating Sequential Processes). |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed A. Aboulsamh, Jim Davies |
Specification and Verification of Model-Driven Data Migration. |
MEDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed A. Aboulsamh, Jim Davies |
A Formal Modeling Approach to Information Systems Evolution and Data Migration. |
BMMDS/EMMSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Leila Silva, Adenilso da Silva Simão (eds.) |
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher B. Stapleton, Jim Davies |
Imagination: The third reality to the virtuality continuum. |
ISMAR-AMH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris |
Models for forms. |
SPLASH Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Wei Wang, Alessandra Cavarra, Jim Davies |
Formal and Model-Based Testing of Concurrent Workflows. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sterling Somers, Jonathan Gagné, César Astudillo, Jim Davies |
Using semantic similarity to predict angle and distance of objects in images. |
Creativity & Cognition |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed A. Aboulsamh, Jim Davies |
A Metamodel-Based Approach to Information Systems Evolution and Data Migration. |
ICSEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aadya Shukla, Steve Harris, Jim Davies |
Semantic Interoperability in Practice. |
HICSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin, Jim Davies, Steve Harris |
Towards a Framework for Security in eScience. |
eScience |
2010 |
DBLP DOI BibTeX RDF |
security, methodology, assurance |
| 1 | Jim Davies |
The Graduate Student Symposium of Diagrams 2010. |
Diagrams |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jolie Bell, Jim Davies |
Are Pixel Graphs Are Better at Representing Information than Pie Graphs? |
Diagrams |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Connor Smith, Allen Cybulskie, Nic Di Noia, Janine Fitzpatrick, Jobina Li, Korey MacDougall, Xander Miller, Jeanne-Marie Musca, Jennifer Nutall, Kathy Van Bentham, Jim Davies |
Modelling English Spatial Preposition Detectors. |
Diagrams |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch |
Model-Driven Data Migration. |
ER Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons |
Semantic Frameworks - Meanings in the Architecture. |
ICDCIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Wei Wang, Jim Davies, James Welch |
A Guarded Workflow Language and Its Formal Semantics. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Janowski, Jim Davies (eds.) |
ICEGOV 2010, Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China, October 25 - 28, 2010 |
ICEGOV |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Jonathan Gagné |
Estimating Quantitative Magnitudes Using Semantic Similarity. |
Visual Representations and Reasoning |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
A computational model of visual analogies in design. |
Cognitive Systems Research |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons |
Formal methods for future interoperability. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman |
GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12 (3. ed.). |
|
2009 |
RDF |
|
| 1 | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui |
Semantics-Driven Development for Electronic Government Applications. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Janowski, Jim Davies (eds.) |
ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009 |
ICEGOV |
2009 |
DBLP BibTeX RDF |
|
| 1 | James Welch, David Faitelson, Jim Davies |
Automatic maintenance of association invariants. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
Model, Integrity, Maintenance, Completion, Invariants, Association |
| 1 | Jim Davies, David Faitelson, James Welch |
Domain-specific Semantics and Data Refinement of Object Models. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel, Patrick W. Yaner |
Proteus: Visuospatial analogy in problem-solving. |
Knowl.-Based Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas |
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. |
CCGRID |
2008 |
DBLP DOI BibTeX RDF |
service-oriented architecture, Grid computing, web services resource framework, Z specification |
| 1 | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos H. Caldas |
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons |
Metadata standards for semantic interoperability in electronic government. |
ICEGOV |
2008 |
DBLP DOI BibTeX RDF |
ontology, semantic web, interoperability, metadata, standards, electronic government, semantic interoperability, semantic markup |
| 1 | Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton |
Semantic technologies in electronic government. |
ICEGOV |
2008 |
DBLP DOI BibTeX RDF |
ISO 11179, SKOS, application firewall, ontology, XML, semantic web, interoperability, metadata, OWL, RDF, SPARQL, XMI, SAWSDL, semantic markup |
| 1 | David Faitelson, James Welch, Jim Davies |
From Predicates to Programs: The Semantics of a Method Language. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel |
Transfer of problem-solving strategy using Covlan. |
J. Vis. Lang. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl |
Model-driven architecture for cancer research. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons (eds.) |
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings |
IFM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla |
Technological foundations of electronic governance. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
electronic governance, formal techniques |
| 1 | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla |
Semantic frameworks for e-government. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web, metadata, model-driven |
| 1 | Christie Bolton, Jim Davies |
A singleton failures semantics for Communicating Sequential Processes. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types |
| 1 | Janice I. Glasgow, Tony Kuo, Jim Davies |
Protein Structure from Contact Maps: A Case-Based Reasoning Approach. |
Information Systems Frontiers |
2006 |
DBLP DOI BibTeX RDF |
Case-based reasoning, Analogy, Protein structure, Secondary structure, Contact maps |
| 1 | Matthew Leslie, Jim Davies, Todd Huffman |
A Comparison of Replication Strategies for Reliable Decentralised Storage. |
JNW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Janice I. Glasgow, Tony Kuo |
Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. |
Computational Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Janice I. Glasgow, Tony Kuo |
Protein Structure Prediction with Visuospatial Analogy. |
Spatial Cognition |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton |
On the Generation of Object Databases using Booster. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Leslie, Jim Davies, Todd Huffman |
Replication Strategies for Reliable Decentralised Storage. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen |
Formality, Evolution, and Model-driven Software Engineering. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James Welch, David Faitelson, Jim Davies |
Automatic Maintenance of Association Invariants. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
A Cognitive Model of Visual Analogical Problem-Solving Transfer. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
Transfer in Visual Case-Based Problem Solving. |
ICCBR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. |
DMS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Cavarra, Charles Crichton, Jim Davies |
A method for the automatic generation of test suites from object models. |
Information & Software Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Wolfram Schulte, Michael Barnett (eds.) |
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings |
ICFEM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Andrew Simpson, Andrew Martin |
Teaching Formal Methods in Context. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies |
Using CSP. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Charles Crichton |
Concurrency and Refinement in the Unified Modeling Language. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Concurrency, Refinement, Object-oriented design, Object modelling, Communicating Sequential Processes |
| 1 | Jim Davies, Charles Crichton |
Using State Diagrams to Describe Concurrent Behaviour. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel |
Visual Case-Based Reasoning II: Transfer and Adaptation. |
IICAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Charles Crichton, Alessandra Cavarra |
A Method for the Automatic Generation of Test Suites from Object Models. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Charles Crichton |
Concurrency and refinement in the UML. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christie Bolton, Jim Davies |
A comparison of refinement orderings and their associated simulation rules. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christie Bolton, Jim Davies |
Refinement in Object-Z and CSP. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lillian (Boots) Cassel, Mark A. Holliday, Deepak Kumar, John Impagliazzo, Kevin Bolding, Murray Pearson, Jim Davies, Gregory S. Wolffe, William Yurcik |
Distributed expertise for teaching computer organization & architecture. |
SIGCSE Bulletin |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Ashok K. Goel |
Visual Analogy in Problem Solving. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Christie Bolton, Jim Davies |
Using Relational and Behavioural Semantics in the Verification of Object Models. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christie Bolton, Jim Davies |
Activity Graphs and Processes. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin Lowe, Jim Davies |
Using CSP to Verify Sequential Consistency. |
Distributed Computing |
1999 |
DBLP DOI BibTeX RDF |
Lazy caching protocol, Verification, Specification, CSP, Sequential consistency |
| 1 | Charles Crichton, Jim Davies, Jim Woodcock |
When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
marshalled objects, security, Java, access control, Jini, remote method invocation |
| 1 | Christie Bolton, Jim Davies, Jim Woodcock |
On the Refinement and Simulation of Data Types and Processes. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) |
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) |
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Steve Schneider |
A Brief History of Timed CSP. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, Jim Davies, Steve Schneider |
Towards a denotational semantics for ET-LOTOS. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Bryans, Steve Schneider |
Real-time LOTOS and Timed Observations. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Steve Schneider |
Recursion Induction for Real-Time Processes. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Matt Wallis |
On the formal specification and verification of network routing algorithms. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Steve Schneider |
Using CSP to Verify a Timed Protocol over a Fair Medium. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Dave Jackson, Steve Schneider |
Broadcast Communication for Real-time Processes. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe |
Timed CSP: Theory and Practice. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software |
| 1 | Jim Davies, Steve Schneider |
Factorizing Proofs in Timed CSP. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")