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

Conference or workshop item

Duran, Adolfo and Cavalcanti, Ana L. C. and Sampaio, Augusto (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)

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

Cornélioa, Márcio and Cavalcanti, Ana L. C. and Sampaio, Augusto (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, Ana L. C. and Sampaio, Augusto 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)

Sampaio, Augusto 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)

Freitas, Leonardo and Cavalcanti, Ana 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. (Full text available)
[img]
Preview

This list was generated on Tue Jun 24 12:15:54 2014 BST.