Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kevin Lano, Kelly Androutsopoulos, David Clark 0001 |
Refinement Patterns for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 131-149, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Colvin, Simon Doherty, Lindsay Groves |
Verifying Concurrent Data Structures by Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 93-110, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Jim Woodcock 0001 |
Angelic Nondeterminism and Unifying Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 45-66, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, John Derrick |
Model Checking Downward Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 205-224, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001 |
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 5-22, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Henson, Besnik Kajtazi |
The Specification Logic vZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 111-129, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Deutsch, Martin C. Henson |
An Analysis of Operation-Refinement in an Abortive Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 67-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fiona Polack, Susan Stepney |
Emergent Properties Do Not Refine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 163-181, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
Refinement via Consistency Checking in MDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 151-161, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank Monitoring: A pAMN Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 183-204, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 1-3, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christie Bolton |
Using the Alloy Analyzer to Verify Data Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 23-44, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John A. Clark, Susan Stepney, Howard Chivers |
Breaking the Model: Finalisation and a Taxonomy of Security Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![In: Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005, pp. 225-242, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten (eds.) |
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Kai Engelhardt |
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 178, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luke Wildman, Colin J. Fidge |
The variety of variables in computer-aided real-time programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 21-36, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Anlauff, Asuman Sünbül |
Towards component based systems: refining connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 163-177, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jim Davies, Charles Crichton |
Concurrency and refinement in the UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 217-243, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Refinement of actions in a real-time process algebra with a true concurrency model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 260-280, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
Superposition: Composition vs refinement of non-deterministic action-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 282-296, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Susan Stepney, Fiona Polack, Ian Toyn |
Refactoring in maintenance and development of Z specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 50-69, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yngve Lamo, Michal Walicki |
Composition and refinement of specifications and parameterised data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 199-216, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 3, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne |
Junctive Compositions of specifications in total, general correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 4-20, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Márcio Cornélio, Ana Cavalcanti 0001, Augusto Sampaio |
Refactoring by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 311-330, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, John Derrick |
Unifying concurrent and relational refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 94-131, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Groves |
Refinement and the Z schema calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 70-93, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Adrian J. Hilton, Jon G. Hall |
Refining specifications to programmable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 37-49, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig |
Contract-based mutation testing in the refinement calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 281, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Mila E. Majster-Cederbaum |
Taking decisions late: end-based choice combined with action refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 244-259, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christie Bolton, Jim Davies |
A comparison of refinement orderings and their associated simulation rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 297-310, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 1-2, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski |
Tabular verification and refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 179-198, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Refinement of actions in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 132-162, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright (eds.) |
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Lindsay Groves |
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 103-120, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joakim von Wright |
Program Refinement by Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 121-150, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge |
Proof Obligations for Real-Time Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 279-305, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Mike Ainsworth, Peter J. L. Wallis |
Co-Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 151-166, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Howard P. Haughton, Kevin Lano |
Testing and Safety Analysis of AM (Abstract Machine) Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 69-79, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Howard P. Haughton |
Improving the Process of System Specification and Refinement in B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 45-68, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 14-41, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Garlan |
Using Refinement to Understand Architectural Connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 3-13, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano |
Refinement in Object-Oriented Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 236-259, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Theodore S. Norvell |
Machine Code Programs are Predicates Too. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 188-204, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru, Pierre Collette |
Environment-based Development of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 217-235, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Till (eds.) |
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![Springer, 978-3-540-19886-4 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Juan Bicarregui |
Operation Semantics with Read and Write Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 260-278, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Qiwen Xu, Jifeng He 0001 |
Laws of Parallel Programming with Shared Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 205-216, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Bieber, Nora Boulahia-Cuppens |
Formal Development of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 80-102, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Raymond G. Nickson, Lindsay J. Groves |
Metavariables and Conditional Refinements in the Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 167-187, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. C. P. Woodcock |
Implementing Promoted Operations in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 367-378, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Groves, Raymond G. Nickson, Mark Utting |
A Tactic Driven Refinement Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 272-297, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ketil Stølen |
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 320-341, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Qiwen Xu, Jifeng He 0001 |
A case study in formally developing state-based parallel programs - the Dutch National Torus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 301-319, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones, Roger C. Shaw, B. Tim Denvir (eds.) |
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![Springer London, 978-3-540-19752-2 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tim Clement |
Using Metavariables in Natural Deduction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 255-271, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Roger Bishop Jones |
Methods and Tools for the Verification of Critical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 88-118, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Patrick O'Ferrall |
Opening Address. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 1-2, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Job Zwiers, J. Coenen, Willem P. de Roever |
A Note on Compositional Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 342-366, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Naftalin |
A Model of the Refinement Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 211-229, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Revisiting Abstraction Functions For Reasoning About Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 298-300, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever |
Formalising Dijkstra's Development Strategy within Stark's Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 4-42, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin P. Ward |
A Recursion Removal Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 43-69, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jim Grundy |
A Window Inference Tool for Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 230-254, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Concurrent Processes as Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 3, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Morten Elvang-Gøransson |
Classification of Refinements in VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 172-180, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José N. Oliveira |
Software Reification using the SETS Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 140-171, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Gravell |
Constructive Refinement of First Order Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 181-210, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | C. T. Sennett |
Demonstrating the Compliance of Ada Programs with Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 70-87, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Colin O'Halloran |
Refinement and Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 119-139, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|