BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Denmark
1 × Ireland
1 × Singapore
2 × Germany
3 × France
3 × Italy
3 × United Kingdom
Collaborated with:
J.Woodcock A.Sampaio D.A.Naumann M.Gaudel R.M.Hierons F.Zeyda C.Marriott A.Miyazawa A.Freitas A.J.Wellings P.Clayton C.O'Halloran L.Freitas M.Oliveira M.Xavier A.Duran F.A.Barros T.L.V.L.Santos G.Carvalho A.Carvalho A.Mota G.Ramalho S.Cavalcante M.Lima S.R.d.L.Meira H.P.Moura A.Vasconcelos L.Fernandes M.Ribeiro L.Carvalho R.Gheyi M.Mongiovi A.L.M.Santos F.C.Ferrari J.C.Maldonado
Talks about:
circus (6) refin (6) test (5) base (3) csp (3) translat (2) languag (2) diagram (2) control (2) theori (2)

Person: Ana Cavalcanti

DBLP DBLP: Cavalcanti:Ana

Facilitated 1 volumes:

FM 2009Ed

Contributed to:

SEFM 20152015
FASE 20142014
FM 20142014
IFM 20142014
FASE 20132013
FM 20112011
ICTSS 20112011
IFM 20092009
FM 20062006
FM 20052005
IFM 20042004
SEFM 20042004
FME 20032003
FME 20022002
World Congress on Formal Methods 19991999
HCI v2 19991999
GPCE 20172017

Wrote 20 papers:

SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
FASE-2014-CavalcantiG #data flow #testing
Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
FM-2014-MarriottC #named
SCJ: Memory-Safety Checking without Annotations (CM, AC), pp. 465–480.
FM-2014-ZeydaSCS #composition #higher-order #object-oriented
A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.
IFM-2014-MiyazawaC #refinement
Formal Refinement in SysML (AM, AC), pp. 155–170.
FASE-2013-CavalcantiH #csp #testing
Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
FM-2011-CavalcantiWW #formal method #java #memory management #safety
The Safety-Critical Java Memory Model: A Formal Account (AC, AJW, JW), pp. 246–261.
ICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing
Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
IFM-2009-ZeydaC #diagrams
Mechanised Translation of Control Law Diagrams into Circus (FZ, AC), pp. 151–166.
FM-2006-FreitasC #automation #java
Automatic Translation from Circus to Java (AF, AC), pp. 115–130.
FM-2005-CavalcantiCO #diagrams
Control Law Diagrams in Circus (AC, PC, CO), pp. 253–268.
FM-2005-WoodcockCF #model checking #semantics
Operational Semantics for Model Checking Circus (JW, AC, LF), pp. 237–252.
IFM-2004-WoodcockC #design #programming #tutorial
A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.
SEFM-2004-OliveiraXC #refinement
Refine and Gabriel: Support for Refinement and Tactics (MO, MX, AC), pp. 310–319.
FME-2003-DuranCS #compilation #inheritance
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (AD, AC, AS), pp. 301–320.
FME-2002-CavalcantiN #refinement #simulation
Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
FME-2002-SampaioWC #refinement
Refinement in Circus (AS, JW, AC), pp. 451–470.
FM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
HCI-CCAD-1999-RamalhoBCCLMMV #experience #internet #using
Cyber Rally: An experience of democratic use of the internet (GR, FAB, SC, AC, ML, SRdLM, HPM, AV), pp. 402–406.
Avoiding useless mutants (LF, MR, LC, RG, MM, ALMS, AC, FCF, JCM), pp. 187–198.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.