|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 24 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Keith Cassell, Peter Andreae, Lindsay Groves |
A Dual Clustering Approach to the Extract Class Refactoring.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Theorem prover approach to semistructured data design. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Malik, Lindsay Groves, Clare Lenihan |
Translating Z to Alloy. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves, Robert Colvin |
Trace-based derivation of a scalable lock-free stack algorithm. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
Reasoning about Nonblocking Concurrency. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Formal Verification of Semistructured Data Models in PVS. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Keith Cassell, Peter Andreae, Lindsay Groves, James Noble |
Towards Automating Class-Splitting Using Betweenness Clustering. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
extract class, clustering, object-oriented, graph theory, Refactoring, maintainability, cohesion, betweenness |
| 1 | Lindsay Groves |
Trace-based Derivation of a Lock-Free Queue Algorithm. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li |
Correctness Criteria for Normalization of Semistructured Data. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
ORA-SS, Formal Specification, Normalization, Z, Semistructured Data |
| 1 | Lindsay Groves |
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. |
CATS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves |
Verifying Semistructured Data Normalization Using PVS. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves, Robert Colvin |
Derivation of a Scalable Lock-Free Stack Algorithm. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves |
A Scalable Lock-Free Stack Algorithm and its Verification. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
Reasoning about Nonblocking Concurrency using Reduction. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Wang, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Validating ORA-SS Data Models using Alloy. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
ORA-SS, Modeling language semantics, Formal verification and validation, Semistructured data |
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
A PVS Approach to Verifying ORA-SS Data Models. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Simon Doherty, Lindsay Groves |
Verifying Concurrent Data Structures by Simulation. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
Practical Data Refinement for the Z Schema Calculus. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves |
Formal Verification of an Array-Based Nonblocking Queue. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Practical Lock-Free Queue Algorithm. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr. |
DCAS is not a silver bullet for nonblocking algorithm design. |
SPAA |
2004 |
DBLP DOI BibTeX RDF |
DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization |
| 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 | Lindsay Groves |
Refinement and the Z schema calculus. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
A formal approach to program modification. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification |
| 1 | Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting |
A Survey of Software Development Practices in the New Zealand Software Industry . |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
requirements engineering, survey, industry practice |
| 1 | James Noble, Lindsay Groves, Robert Biddle |
Object Oriented Program Visualisation in Tarraingim. |
Australian Computer Journal |
1995 |
DBLP BibTeX RDF |
|
| 1 | Lindsay Groves |
Deriving Programs by Combining and Adapting Refinement Scripts. (PDF / PS) |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble, Lindsay Groves |
An Introduction to the Tarraingím Program Animation Environment. |
TOOLS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Zbigniew Michalewicz, Lindsay Groves |
Sets and Uncertainty in Relational Databases. |
IPMU |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
Using Simple English Sentences to Call Procedures. |
SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")