|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 15 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yulin Ding, David Hemer |
An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update.  |
PRICAI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer |
Peer Assessment of Group-Based Software Engineering Projects. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
peer-basedassessment, software engineering education |
| 1 | David Hemer, Yulin Ding |
Specifying Software Architectures Using a Formal-Based Approach. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
software architectures, formal languages |
| 1 | David Hemer |
Semi-Automated Component-Based Development of Formally Verified Software. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer |
A systematic approach to connecting standalone theorem provers to formal development environments. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer |
Specification-Based Retrieval Strategies for Component Architectures. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer, Gregory Long, Paul A. Strooper |
Plug-in Proof Support for Formal Development Environments. |
CATS |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Hemer |
A Formal Approach to Component Adaptation and Composition. |
ACSC |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Hemer |
Higher-order associative commutative pattern matching for component retrieval. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hamoy, David Hemer, Peter A. Lindsay |
HazLog: Tool Support for Hazard Management. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper |
Developing Logic Programs from Specifications Using Stepwise Refinement. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer |
Specification matching of state-based modular components. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
Retrieval, Component-based development, Specification matching |
| 1 | Frank Feiks, David Hemer |
Specification Matching of Object-Oriented Components. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
OO components, retrieval, specification matching |
| 1 | David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin |
Don't Care Non-determinism in Logic Program Refinement. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson |
A Refinement Calculus for Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson |
A refinement calculus for logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer |
Computer-aided programming using formally specified design templates. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
software engineering, formal specification, component-based development |
| 1 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Refinement of Higher-Order Logic Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer, Peter A. Lindsay |
Supporting Component-Based Reuse in CARE. |
ACSC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Translating Refined Logic Programs to Mercury. |
ACSC |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Hemer, Peter A. Lindsay |
Specification-Based Retrieval Strategies for Module Reuse. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
adaptation, retrieval, Component reuse, specification matching |
| 1 | David Hemer, Ian J. Hayes, Paul A. Strooper |
Refinement Calculus for Logic Programming in Isabelle/HOL. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, David Hemer |
Using CARE to Construct Verified Software. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | David Hemer, Peter A. Lindsay |
Reuse of Verified Design Templates Through Extended Pattern Matching. |
FME |
1997 |
DBLP DOI BibTeX RDF |
formal methods, refinement, pattern matching, software verification, program development |
| 1 | Peter A. Lindsay, David Hemer |
An Industrial-Strength Method For The Construction Of Formally Verified Software. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
software verification refinement, formal methods, program development |
| 1 | Peter A. Lindsay, David Hemer |
An Industrial-Strength Method For The Construction Of Formally Verified Software. |
ASYNC |
1996 |
DBLP DOI BibTeX RDF |
software verification refinement, formal methods, program development |
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")