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

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item | Thesis

Number of items: 5.

Article

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.

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

Thesis

Oliveira, M.V.M (2002) ArcAngel: a Tactic Language for Refinement and its Tool Support. Masters thesis, Centro de Informatica, Universidade Federal de Pernambuco, Brazil.

Preview

This list was generated on Fri May 24 17:38:23 2013 BST.