Παρακολούθηση
Marcel Oliveira
Marcel Oliveira
Lecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do Norte
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα dimap.ufrn.br - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1), 3-32, 2009
1702009
Formal derivation of state-rich reactive programs using Circus.
MVM Oliveira
University of York, UK, 2005
1112005
Formal specification of a cardiac pacing system
AO Gomes, MVM Oliveira
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
612009
ArcAngel: a tactic language for refinement
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 15, 28-47, 2003
572003
A denotational semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Electronic Notes in Theoretical Computer Science 187, 107-123, 2007
532007
Unifying theories in ProofPower-Z
M Oliveira, A Cavalcanti, J Woodcock
International Symposium on Unifying Theories of Programming, 123-140, 2006
482006
Unifying theories in ProofPower-Z
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 25 (1), 133-158, 2013
352013
Crefine: Support for the Circus refinement calculus
MVM Oliveira, AC Gurgel, CG Castro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
352008
From Circus to JCSP
M Oliveira, A Cavalcanti
Formal Methods and Software Engineering: 6th International Conference on …, 2004
302004
Refining industrial scale systems in Circus
MVM Oliveira, ALC Cavalcanti, J Woodcock
Communicating Process Architectures 2004, 281-309, 2004
282004
Leadership election: an industrial SoS application of compositional deadlock verification
PRG Antonino, MM Oliveira, ACA Sampaio, KE Kristensen, JW Bryans
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
242014
Formal development of a cardiac pacemaker: from specification to code
AO Gomes, MVM Oliveira
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011
242011
Composing architectural aspects based on style semantics
C Chavez, A Garcia, T Batista, M Oliveira, C Sant'Anna, A Rashid
Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009
232009
Rigorous development of component-based systems using component metadata and patterns
MVM Oliveira, P Antonino, R Ramos, A Sampaio, A Mota, AW Roscoe
Formal Aspects of Computing 28, 937-1004, 2016
202016
Formal development of industrial-scale systems in Circus
M Oliveira, A Cavalcanti, J Woodcock
Innovations in Systems and Software Engineering 1, 125-146, 2005
202005
Refine and gabriel: support for refinement and tactics
M Oliveira, M Xavier, A Cavalcanti
Proceedings of the Second International Conference on Software Engineering …, 2004
202004
ArcAngelC: a refinement tactic language for Circus
MVM Oliveira, ALC Cavalcanti
Electronic Notes in Theoretical Computer Science 214, 203-229, 2008
162008
Compositional analysis and design of CML models
MVM Oliveira, A Sampaio, PRG Antonino, RT Ramos, A Cavalcanti, ...
COMPASS Deliverable D 24, 2013
152013
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2012
142012
Tactics of refinement
MVM Oliveira, ALC Cavalcanti
14th Brazilian Symposium on Software Engineering, 117-132, 2000
142000
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20