Refine - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2009

Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009Eerke A. Boiten, John Derrick, Steve Reeves, editors, Volume 259 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]

2008

Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008Eerke A. Boiten, John Derrick, Gerhard Schellhorn, editors, Volume 214 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]

Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007Eerke A. Boiten, John Derrick, Graeme Smith 0001, editors, Volume 201 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]

2007

Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves, editors, Volume 187 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]

2005

Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005John Derrick, Eerke A. Boiten, editors, Volume 137 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]

2002

BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright, editors, Volume 70 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]

1994

Co-RefinementMike Ainsworth, Peter J. L. Wallis. Refine 1994: 151-166 [doi]

Operation Semantics with Read and Write FramesJuan Bicarregui. Refine 1994: 260-278 [doi]

Formal Development of Authentication ProtocolsPierre Bieber, Nora Boulahia-Cuppens. Refine 1994: 80-102 [doi]

Proof Obligations for Real-Time RefinementColin J. Fidge. Refine 1994: 279-305 [doi]

Using Refinement to Understand Architectural ConnectionDavid Garlan. Refine 1994: 3-13 [doi]

Deriving language recognition algorithms: A case study in combining program specialisation and data refinementLindsay Groves. Refine 1994: 103-120 [doi]

Testing and Safety Analysis of AM (Abstract Machine) SpecificationsHoward P. Haughton, Kevin Lano. Refine 1994: 69-79 [doi]

Refinement in Object-Oriented Specification LanguagesKevin Lano. Refine 1994: 236-259 [doi]

Improving the Process of System Specification and Refinement in BKevin Lano, Howard P. Haughton. Refine 1994: 45-68 [doi]

Environment-based Development of Reactive SystemsYves Ledru, Pierre Collette. Refine 1994: 217-235 [doi]

Metavariables and Conditional Refinements in the Refinement CalculusRaymond G. Nickson, Lindsay J. Groves. Refine 1994: 167-187 [doi]

Machine Code Programs are Predicates TooTheodore S. Norvell. Refine 1994: 188-204 [doi]

Formal Semantics for Ward & Mellor's Transformation SchemasCarsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001. Refine 1994: 14-41 [doi]

6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994David Till, editor, Workshops in Computing, Springer, 1994. [doi]

Program Refinement by Theorem ProverJoakim von Wright. Refine 1994: 121-150 [doi]

Laws of Parallel Programming with Shared VariablesQiwen Xu, Jifeng He. Refine 1994: 205-216 [doi]

1992

Formalising Dijkstra's Development Strategy within Stark's FormalismAntonio Cau, Ruurd Kuiper, Willem-Paul de Roever. Refine 1992: 4-42 [doi]

Using Metavariables in Natural Deduction ProofsT. Clement. Refine 1992: 255-271 [doi]

Classification of Refinements in VDMMorten Elvang-Gøransson. Refine 1992: 172-180 [doi]

Constructive Refinement of First Order SpecificationsAndrew M. Gravell. Refine 1992: 181-210 [doi]

A Tactic Driven Refinement ToolLindsay Groves, Raymond G. Nickson, Mark Utting. Refine 1992: 272-297 [doi]

A Window Inference Tool for RefinementJim Grundy. Refine 1992: 230-254 [doi]

Methods and Tools for the Verification of Critical PropertiesRoger Bishop Jones. Refine 1992: 88-118 [doi]

5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992Cliff B. Jones, Roger C. Shaw, B. Tim Denvir, editors, Workshops in Computing, Springer London, 1992. [doi]

Concurrent Processes as ObjectsRobin Milner. Refine 1992: 3 [doi]

A Model of the Refinement ProcessMaurice Naftalin. Refine 1992: 211-229 [doi]

Opening AddressPatrick O'Ferrall. Refine 1992: 1-2 [doi]

Refinement and ConfidentialityColin O'Halloran. Refine 1992: 119-139 [doi]

Software Reification using the SETS CalculusJosé N. Oliveira. Refine 1992: 140-171 [doi]

Demonstrating the Compliance of Ada Programs with Z SpecificationsC. T. Sennett. Refine 1992: 70-87 [doi]

Proving Total Correctness with Respect to a Fair (Shared-State) Parallel LanguageKetil Stølen. Refine 1992: 320-341 [doi]

A Recursion Removal TheoremMartin Ward. Refine 1992: 43-69 [doi]

Revisiting Abstraction Functions For Reasoning About ConcurrencyJeannette M. Wing. Refine 1992: 298-300 [doi]

Implementing Promoted Operations in ZJ. C. P. Woodcock. Refine 1992: 367-378 [doi]

A case study in formally developing state-based parallel programs - the Dutch National TorusQiwen Xu, Jifeng He. Refine 1992: 301-319 [doi]

A Note on Compositional RefinementJob Zwiers, J. Coenen, Willem P. de Roever. Refine 1992: 342-366 [doi]

Sign in or sign up to see more results.

runs on WebDSL