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

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Monograph | Conference or workshop item

Number of items: 49.

Article

Borba, P.H.M. and Sampaio, A.C.A. and Cavalcanti, A.L.C. and Cornelio, M.L. (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423 . The full text of this publication is not available from this repository.

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.

Cavalcanti, A.L.C. and Naumann, D.A. (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26 (8). pp. 713-728. ISSN 0098-5589 . 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.

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

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, JCP (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

Meira, SRL and Cavalcanti, A.L.C. and Santos, CS (1994) The Unix Filing System: A MooZ Specification. In: Lano, K. and Haughton, H., eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. The full text of this publication is not available from this repository.

Meira, SRL and Cavalcanti, A.L.C. (1992) MooZ Case Studies. In: Barden, R. and Stepney, S. and Cooper, D., eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. The full text of this publication is not available from this repository.

Monograph

Cavalcanti, A.L.C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent

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 Xavier, M.A and Cavalcanti, A.L.C. (2004) Refine and Gabriel: Support for Refinement and Tactics. In: Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. IEEE Computer Society Press pp. 310-319. ISBN 0-7695-2222-X . 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.

Preview

Woodcock, Jim and Cavalcanti, A.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 .

Preview

Duran, A. and Cavalcanti, A.L.C. and Sampaio, A.C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: FME 2003: Formal Methods - International Symposium of Formal Methods Europe, SEP 08-14, 2003, Pisa Italy . The full text of this publication is not available from this repository.

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.

Cornelio, ML and Cavalcanti, A.L.C. and Sampaio, A.C.A (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002, 20th-21st July 2002, Copenhagen, Denmark. 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.

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.

Freitas, Leonardo and Cavalcanti, A.L.C. and Sampaio, Augusto (2002) JACK: A Framework for Process Algebra Implementation in Java. In: Proceedings of XVI Simpósio Brasileiro de Engenharia de Software, October 2002, Brazil.

Preview

Cavalcanti, A.L.C. and Naumann, C. (2002) Forward Simulation for Data Refinement of Classes. 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. 471-490. ISBN 9783540439288. The full text of this publication is not available from this repository.

Sheriff, A. and Cavalcanti, A.L.C. and Moura, H. (2002) An Action Semantics for Timed CSPm. In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, C. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro. 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.

Duran, A.A. and Sampaio, A.C.A and Cavalcanti, A.L.C. (2002) Refinement Algebra for Formal Bytecode Generation. In: Lecture Notes in Computer Science. Springer-Verlag pp. 347-358. ISBN 978-3-540-00029-7. 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.

Oliveira, B. and Cavalcanti, A.L.C. and Sampaio, A.C.A (2002) Automation of a Normal Form Reduction Strategy for Object-oriented Programming. In: Proceedings of the 5th Brazilian Workshop on Formal Methods. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A.C.A (2002) From CPSP-OZ to Java with Processes. In: Proc Workshop on Formal Methods for Parallel Programming held in conjunction with International Parallel and Distributed Processing Symp. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. (2002) Refinement: Object-orientation and Concurrency. In: Proceedings of the 5th Brazilian Workshop on Formal Methods. The full text of this publication is not available from this repository.

Freitas, Leonardo and Cavalcanti, A.L.C. and Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais.

Preview

Preview

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.

Freitas, Leonardo and Cavalcanti, A.L.C. and Moura, H. (2001) Animating CSP(M) Using Action Semantics. In: 4th Brazilian Workshop on Formal Methods. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D.A. (2001) Class Refinement for Sequential Java. In: ECOOP 2001 Workshop on Formal Techniques for Java Programs. The full text of this publication is not available from this repository.

Duran, A. and Sampaio, A.C.A. and Cavalcanti, A.L.C. (2001) Formal Bytecode Generation for a ROOL Virtual Machine. In: 4th Brazilian 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.

Oliveira, M.V.M. and Cavalcanti, A.L.C. (2000) Tactics of Refinement. In: 14th Brazilian Symposium on Software Engineering, 4-6 October, 2000, Joao Pessoa - Paraiba - Brazil.

Preview

Meneses, L.C.S. and Soares, S. and Meneses, J.B. and Moura, H. and Cavalcanti, A.L.C. (2000) A Framework for Defining Object-oriented Languages using Action Semantics. In: 4th Brazilian Symposium on Programming Languages. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D.A. (2000) Simulation and Class Refinement for Java. In: ECOOP 2000 Workshop on Formal Techniques for Java Programs, June 12, 2000, Sophia Antipolis, France. The full text of this publication is not available from this repository.

Coutinho, S.L. and Reis, T.P.C. and Cavalcanti, A.L.C. (1999) A Tool for Teaching Refinement. In: 13th Brazilian Symposium on Software Engineering - Tools Session. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D. (1999) A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99 - Formal Methods. Lecture Notes in Computer Science, 1709. Springer-Verlag pp. 1439-1459. The full text of this publication is not available from this repository.

Ramalho, G. and Barros, F. and Cavalcante, S. and Cavalcanti, A.L.C. (1999) Cyber Rally: An Experience of Democratic Use of the Internet. In: Bullinger, Hans-Jörg and Ziegler, Jürgen, eds. Human-Computer Interaction: Communication, Cooperation, and Application Design. Lawrence Erlbaum Associates pp. 402-406. The full text of this publication is not available from this repository.

Meira, SRL and Cavalcanti, A.L.C. (1990) Modular Object-Oriented Z Specifications. In: Z User Workshop. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Meira, SRL (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. The full text of this publication is not available from this repository.

Kelner, J. and Cavalcanti, A.L.C. and Pardo, A. (1989) LindA: A Language for Automated Authoring of Hypertexts. In: 3rd Brazilian Symposium on Sofrware Engineering. The full text of this publication is not available from this repository.

Sanches, R. and Sette, SS and Cavalcanti, A.L.C. and Florissi, C. and Soares, PG and Melo, TCS (1987) A Language for a Relational Database Management System. In: 2nd Brazilian Symposium on Databases. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Florissi, C. and Soares, PG and Melo, TCS (1987) Implementation of a Relational Language for Microcomputers. In: 7th Conference of the Brazilian Computer Society. The full text of this publication is not available from this repository.

This list was generated on Sun May 26 04:02:42 2013 BST.