|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Lindsay Groves, Robert Colvin |
Derivation of a Scalable Lock-Free Stack Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 55-74, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Hemer |
Semi-Automated Component-Based Development of Formally Verified Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 173-188, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | King Sing Cheung, K. O. Chow |
A Petri Net Based Method for Refining Object Oriented System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 161-172, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement with Internal Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 35-53, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Kirsten Winter |
Simulation Machines for Checking Action System Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 75-90, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojian Liu, Zhiming Liu 0001, Liang Zhao 0022 |
Object-Oriented Structure Refinement - A Graph Transformational Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 145-159, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Jim Woodcock 0001 |
FDR Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 19-34, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Westerlund, Juha Plosila |
Time Aware System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 91-106, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Jifeng He 0001 |
Refinement and Test Case Generation in UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 125-143, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Denotational Semantics for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 107-123, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 1, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim |
Modelchecking Correctness of Refactorings - Some Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 3-17, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|