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

Conference or workshop item

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)

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)

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)

This list was generated on Wed Apr 16 18:02:08 2014 BST.