Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 28.

Article

Cavalcanti, A.L.C. and Woodcock, J.C.P. (2003) Predicate transformers in the semantics of Circus. IEE Proceedings Software, 150 (1). (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Sampaio, A.C.A. and Woodcock, J.C.P. (2003) A Refinement Strategy for Circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043. (The full text of this publication is not available from this repository)

Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P. (2003) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043 . (The full text of this publication is not available from this repository)

Wing, JM and Woodcock, J.C.P. (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. IEEE Transactions on Software Engineering, 26 (8). pp. 673-674. ISSN 0098-5589. (The full text of this publication is not available from this repository)

Wing, JM and Woodcock, J.C.P. (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17 (3). pp. 199-200. ISSN 0925-9856 . (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, J.C.P. (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423 . (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Woodcock, J.C.P. (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. (The full text of this publication is not available from this repository)

Book section

Woodcock, J.C.P. and Hughes, A. (2002) Unifying Theories of Parallel Programming. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science, 0302-9743 . Springer Berlin / Heidelberg, pp. 24-37. ISBN 978-3-540-00029-7. (The full text of this publication is not available from this repository)

Monograph

Cooper, D. and Stepney, S. and Woodcock, J.C.P. (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University (The full text of this publication is not available from this repository)

Stepney, S. and Cooper, C. and Woodcock, J.C.P. (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)
[img]
Preview

Conference or workshop item

Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P. (2004) From Circus to JCSP. In: Sixth International Conference on Formal Engineering Methods, Nov 08-12, 2004, Seattle, WA, . (The full text of this publication is not available from this repository)

Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P. (2004) Refining Industrial Scale Systems in Circus. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England. (Full text available)
[img]
Preview

Freitas, A.F. and Nascimento, C.M. and Cavalcanti, A.L.C. (2003) A Refinement Tool for Z. In: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003. (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Sampaio, A.C.A and Woodcock, J.C.P. (2003) A unified language of classes and processes. In: St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering. , Satellite Workshop at FM'03 (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Sampaio, A.C.A and Woodcock, J.C.P. (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002, July 2002, Copenhagen, Denmark. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. (2002) Unifying Theories of Parallel Programming. In: ICFEM 2002: 4th International Conference on Formal Engineering Methods, October 21-25, 2002, Shanghai China. (The full text of this publication is not available from this repository)

Sampaio, A.C.A and Woodcock, J.C.P. and Cavalcanti, A.L.C. (2002) Refinement in Circus. In: Eriksson, L. and Lindsay, P.A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 451-470. ISBN 9783540439288. (The full text of this publication is not available from this repository)

Boiten, E.A. (2002) REFINE 2002: The BCS FACS Refinement Workshop. In: Derrick, J. and Boiten, E.A. and Woodcock, J.C.P. and von Wright, J., eds. REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002). Electronic Notes in Theoretical Computer Science, 70. Elsevier Science Publishers (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and McEwan, A.A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings , International Conference on Integrated Design and Process Technology. IDPT Press, Passadena (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and Cavalcanti, A.L.C. (2002) The Semantics of Circus. In: Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 184-203. ISBN 978-3-540-43166-4. (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Woodcock, J.C.P. (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002, 15-18 September 2002, University of Reading, United Kingdom. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. (2002) An Introduction to the Alphabetised Relational Calculus. In: Logic and Algebra for Engineering Software. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. (2002) Semantics of Parallel Programming Languages in the Unifying Theory. In: Logic and Algebra for Engineering Software. (The full text of this publication is not available from this repository)

Butterfield, A. and Woodcock, J.C.P. (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and Cavalcanti, A.L.C. (2001) A Concurrent Language for Refinement. In: 5th Irish Workshop on Formal Methods. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and Cavalcanti, A.L.C. (2001) The Steam Boiler in a Unified Theory of Z and CSP. In: 8th Asia-Pacific Software Engineering Conference. (The full text of this publication is not available from this repository)

Woodcock, J. and Davies, J. and Bolton, C. (2000) Abstract Data Types and Processes. In: Proceedings of the Symposium in Honour of CAR Hoare. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and McEwan, A.A. (2000) An Overview of the Verification of a Handel-C Program. In: International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 26-29, 2000, Las Vegas, NV, . (The full text of this publication is not available from this repository)

This list was generated on Fri Apr 18 11:38:17 2014 BST.