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 × Cyprus
1 × Poland
1 × Portugal
1 × Switzerland
1 × The Netherlands
2 × Italy
Collaborated with:
P.R.Henriques J.S.Pinto M.J.V.Pereira N.Oliveira M.M.Beron M.J.Frade S.Areias J.B.Barros R.F.C.d.Fonseca D.Fonte I.V.Boas A.L.Gançarski
Talks about:
program (6) slice (4) visual (3) domain (3) behavior (2) analysi (2) verif (2) base (2) interconnect (1) laboratori (1)

Person: Daniela Carneiro da Cruz

DBLP DBLP: Cruz:Daniela_Carneiro_da

Contributed to:

ICEIS v2 20122012
SAC 20122012
ICPC 20102010
LDTA 20102010
SAC 20102010
SEFM 20102010
VISSOFT 20092009
ICPC 20082008

Wrote 10 papers:

ICEIS-v2-2012-FonteBCGH #evaluation #program analysis #using
Program Analysis and Evaluation using Quimera (DF, IVB, DCdC, ALG, PRH), pp. 209–219.
SAC-2012-CruzFP #source code #verification
Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
ICPC-2010-AreiasCP #contract #reuse #safety #slicing
Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
ICPC-2010-BeronPOC #problem
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains (MMB, MJVP, NO, DCdC), pp. 60–61.
ICPC-2010-OliveiraPCB #comprehension #visualisation
Influence of Synchronized Domain Visualizations on Program Comprehension (NO, MJVP, DCdC, MMB), pp. 192–195.
LDTA-2010-CruzHP #analysis #named #online #verification
GamaSlicer: an online laboratory for program verification and analysis (DCdC, PRH, JSP), p. 3.
SAC-2010-CruzH #documentation #slicing #visualisation #xml
Exploring, visualizing and slicing the soul of XML documents (DCdC, PRH), pp. 40–46.
SEFM-2010-BarrosCHP #graph #slicing
Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
VISSOFT-2009-OliveiraPHC #behaviour #domain-specific language #source code #visualisation
Visualization of domain-specific programs’ behavior (NO, MJVP, PRH, DCdC), pp. 37–40.
ICPC-2008-FonsecaCHP #behaviour #how #web
How to Interconnect Operational and Behavioral Views of Web Applications (RFCdF, DCdC, PRH, MJVP), pp. 263–267.

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.