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: 44.

Article

Cavalcanti, Ana L. C. and Woodcock, Jim (2003) Predicate transformers in the semantics of Circus. IEE Proceedings: Software, 150 (1). ISSN 1462-5970. (The full text of this publication is not available from this repository)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (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)

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (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)

Boiten, Eerke and Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Wing, Jeanette M. and Woodcock, Jim (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, Jeanette M. and Woodcock, Jim (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, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (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, Ana L. C. and Woodcock, Jim (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)

Cavalcanti, Ana L. C. and Woodcock, Jim (1998) A Weakest Precondition Semantics for Z. Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620 . (The full text of this publication is not available from this repository)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. (The full text of this publication is not available from this repository)

Book section

Nuka, Gift and Woodcock, Jim (2006) Mechanising a Unifying Theory. In: Unifying Theories of Programming. Lecture Notes in Computer Science, 4010 . Springer, Berlin, pp. 217-35. ISBN 978-3-540-34750-7. (The full text of this publication is not available from this repository)

Woodcock, Jim and Hughes, Arthur (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

Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent (Full text available)
[img]
Preview

Cooper, David and Stepney, Susan and Woodcock, Jim (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, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)
[img]
Preview

Conference or workshop item

Boiten, Eerke (2010) Security specification: completeness, feasibility, refinement. In: Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. (Full text available)
[img]
Preview

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (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, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (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

Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X . (The full text of this publication is not available from this repository)

Tang, Xinbei. and Woodcock, Jim (2004) Travelling Processes. In: MPC2004: The 7th International Conference on Mathematics of Program Construction, Jul 12-14, 2004, Stirling, Scotland. (The full text of this publication is not available from this repository)

Woodcock, Jim and Cavalcanti, Ana L. C. (2004) A tutorial introduction to unifying theories of programming. In: Integrated Formal Methods In Integrated Formal Methods. Lecture Notes in Computer Science series, 2999. Springer-Verlag, Canterbury pp. 40-66. ISBN 3-540-21377-5 . (Full text available)
[img]
Preview

Nuka, Gift and Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier , Campina Grande, Brazil pp. 209-225. (The full text of this publication is not available from this repository)

Woodcock, Jim (2004) Using Circus for critical industrial applications. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier Science , Campina Grande, Brazil pp. 3-22. (The full text of this publication is not available from this repository)

Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana 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)

Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dion, eds. LECTURE NOTES IN COMPUTER SCIENCE. SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY pp. 617-635. ISBN 3-540-40828-2. (The full text of this publication is not available from this repository)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (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)

UNSPECIFIED (2003) ICFEM2003: 5th International Conference on Formal Engineering Methods. In: Dong, Jin Song and Woodcock, Jim, eds. ICFEM. Lecture Notes in Computer Science, 2885. , Singapore ISBN 3-540-20461-X. (The full text of this publication is not available from this repository)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (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, Jim (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, Augusto C.A. and Woodcock, Jim and Cavalcanti, Ana L. C. (2002) Refinement in Circus. In: Eriksson, Lars-Henrik and Lindsay, Peter 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, Eerke (2002) REFINE 2002: The BCS FACS Refinement Workshop. In: Derrick, John and Boiten, Eerke and Woodcock, Jim and von Wright, Joakim, 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, Jim and McEwan, Alistair 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, Jim and Cavalcanti, Ana 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, Ana L. C. and Woodcock, Jim (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, Jim (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, Jim (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, Andrew and Woodcock, Jim (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, Jim and Cavalcanti, Ana 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, Jim and Cavalcanti, Ana 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)

UNSPECIFIED (2000) Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing). In: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare. (The full text of this publication is not available from this repository)

Woodcock, Jim and Davies, Jim and Bolton, Christie (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, Jim and McEwan, Alistair 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)

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Tue Sep 2 03:06:08 2014 BST.