Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Article | Conference or workshop item
Number of items: 13.
Article
Borba, Paulo H.M. and Sampaio, Augusto C.A. and Cavalcanti, Ana L. C. and Cornélioa, Márcio (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2004.03.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) |
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) |
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) |
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) |
Conference or workshop item
Duran, Adolfo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino, eds. FME 2003: Formal Methods - International Symposium of Formal Methods Europe. LNCS, 2805 (2805). Springer-Verlag, Pisa, Italy pp. 301-320. ISBN 3-540-40828-2. (doi:https://doi.org/10.1007/b13229) (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) |
Cornélioa, Márcio and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science, 70. Elsevier Science B V pp. 311-330. (doi:https://doi.org/10.1016/S1571-0661(05)82564-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) |
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) |
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) |
Freitas, Leonardo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) JACK: A Framework for Process Algebra Implementation in Java. In: Proceedings of XVI Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computacao, http://www.sbc.org.br/sbes pp. 1-16. (Full text available) |
Oliveira, B. and Cavalcanti, Ana L. C. and Sampaio, Augusto 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 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. (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. IEEE CS Press, Contained in IPDPS collects proceedings CD-ROM (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) |
Duran, Adolfo and Sampaio, Augusto C.A. and Cavalcanti, Ana 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 currently available from this repository. You may be able to access a copy if URLs are provided) |