Skip to main content
Kent Academic Repository

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.

2010

Boiten, Eerke Albert (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

2006

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. (doi:https://doi.org/10.1007/11768173_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2004

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. Lecture Notes in Computer Science series, 3308. Springer, Microsoft Res; Univ Oxford; UN Univ; Formal Methods Europe; NASA; ORA Canada pp. 320-340. ISBN 3-540-23841-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Refining Industrial Scale Systems in Circus. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering Series, 62. IOS Press pp. 281-309. ISBN 1-58603-458-8. (Full text available)
[img]
Preview

Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X. (doi:https://doi.org/10.1109/SEFM.2004.1347502) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tang, Xinbei. and Woodcock, Jim (2004) Travelling Processes. In: Kozen, Dexter, ed. MPC2004: The 7th International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, 3125. Springer-Verlag,, Stirling, Scotland, UK pp. 381-399. ISBN 3-540-22380-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Nuka, Gift and Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: WMF2003: 6th Braziliam Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science, 95. Elsevier, Campina Grande, Brazil pp. 209-225. (doi:https://doi.org/10.1016/j.entcs.2004.04.013) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2004) Using Circus for critical industrial applications. In: WMF2003: 6th Braziliam Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science, 95. Elsevier Science, Campina Grande, Brazil pp. 3-22. (doi:https://doi.org/10.1016/j.entcs.2004.04.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

2003

Cavalcanti, Ana L. C. and Woodcock, Jim (2003) Predicate transformers in the semantics of Circus. IEE Proceedings: Software, 150 (1). ISSN 1462-5970. (doi:https://doi.org/10.1049/ip-sen:20030131) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C. (2003) A Refinement Tool for Z. In: Dong, Jin Song and Woodcock, Jim, eds. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003. Lecture Notes in Computer Science, 2885. Springer-Verlag pp. 396-415. ISBN 978-3-540-20461-9. (doi:https://doi.org/10.1007/b94115) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1007/s00165-003-0003-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. FME 2003: FORMAL METHODS, PROCEEDINGS. 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 currently available from this repository. You may be able to access a copy if URLs are provided)

UNSPECIFIED (2003) ICFEM2003: 5th International Conference on Formal Engineering Methods. In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, November 5-7, 2003, Singapore. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1016/S1571-0661(04)80821-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

2002

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science, 70. Elsevier B.V pp. 132-162. (doi:https://doi.org/10.1016/S1571-0661(05)80489-X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:https://doi.org/10.1016/S1571-0061(05)80488-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2002) Unifying Theories of Parallel Programming. In: ICFEM 2002: 4th International Conference on Formal Engineering Methods. IEE Computer Society Press., Shanghai (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 978-3-540-43928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70 . Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and McEwan, Alistair A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings of the International Conference on Integrated Design and Process Technology. IDPT Press, Passadena (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Cavalcanti, Ana L. C. (2002) The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B. 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Hughes, Arthur (2002) Unifying Theories of Parallel Programming. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science, 0302-9 . Springer Berlin / Heidelberg, pp. 24-37. ISBN 978-3-540-00029-7. (doi:https://doi.org/10.1007/3-540-36103-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2002) An Introduction to the Alphabetised Relational Calculus. In: Logic and Algebra for Engineering Software. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2002) Semantics of Parallel Programming Languages in the Unifying Theory. In: Logic and Algebra for Engineering Software. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Butterfield, Andrew and Woodcock, Jim (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Woodcock, Jim (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002. IOS Press ISBN 4-274-90539-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2001

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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. IEEE Press pp. 291-298. ISBN 0-7695-1408-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

2000

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1109/TSE.2000.879806) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

Woodcock, Jim and Davies, Jim and Bolton, Christie (2000) Abstract Data Types and Processes. In: Roscoe, A.W. and Davies, Jim and Woodcock, Jim, eds. Proceedings of the Symposium in Honour of CAR Hoare. pp. 391-405. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1023/A:1026521916117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

1999

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. (doi:https://doi.org/10.1016/S0167-6423(97)00015-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1998

Cavalcanti, Ana L. C. and Woodcock, Jim (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. (doi:https://doi.org/10.1007/s001650050016) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1590/S0104-65001998000200002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Woodcock, Jim (1998) A Weakest Precondition Semantics for Z. Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/41.1.1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1996

Boiten, Eerke Albert 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 Sun May 26 21:53:04 2019 BST.