|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves (eds.) |
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 |
Refine@ICFEM |
2007 |
DBLP BibTeX RDF |
|
1 | Lindsay Groves, Robert Colvin |
Derivation of a Scalable Lock-Free Stack Algorithm. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Hemer |
Semi-Automated Component-Based Development of Formally Verified Software. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | King Sing Cheung, K. O. Chow |
A Petri Net Based Method for Refining Object Oriented System Specifications. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement with Internal Operations. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Kirsten Winter |
Simulation Machines for Checking Action System Refinements. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojian Liu, Zhiming Liu 0001, Liang Zhao 0022 |
Object-Oriented Structure Refinement - A Graph Transformational Approach. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Jim Woodcock 0001 |
FDR Explorer. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Westerlund, Juha Plosila |
Time Aware System Refinement. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Jifeng He 0001 |
Refinement and Test Case Generation in UTP. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Denotational Semantics for Circus. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves |
Preface. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim |
Modelchecking Correctness of Refactorings - Some Experiments. |
Refine@ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|