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: 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. (Full text available)
[img]
Preview

Thesis

Oliveira, M.V.M (2002) ArcAngel: a Tactic Language for Refinement and its Tool Support. Other masters thesis, Centro de Informatica, Universidade Federal de Pernambuco, Brazil. (Full text available)
[img]
Preview

This list was generated on Fri Apr 18 15:00:07 2014 BST.