E-LIB Suche - Ergebnisse für: da Daniela, Cruz

1

GammaPolarSlicer:

Areias, Sérgio ; da Daniela, Cruz ; Henriques Pedro, Rangel.
Computer Science and Information Systems. 8 (2011) 2 - p. 477-499 , 2011

Link: https://doi.org/10.2298/..

2

A DSL for PIM specifications: Design and attribute grammar ..:

Lukovic, Ivan ; Pereira João, Varanda ; Oliveira, Nuno..
Computer Science and Information Systems. 8 (2011) 2 - p. 379-403 , 2011

Link: https://doi.org/10.2298/..

3

Comparing general-purpose and domain-specific languages: An..:

Kosar, Tomaz ; Oliveira, Nuno ; Mernik, Marjan...
Computer Science and Information Systems. 7 (2010) 2 - p. 247-264 , 2010

Link: https://doi.org/10.2298/..

4

VisualLISA: A visual environment to develop attribute gramm..:

Oliveira, Nuno ; Pereira João, Varanda ; Henriques Pedro, Rangel..
Computer Science and Information Systems. 7 (2010) 2 - p. 265-289 , 2010

Link: https://doi.org/10.2298/..

5

Program comprehension for domain-specific languages:

Pereira João, Maria ; Mernik, Marjan ; da Daniela, Cruz.
Computer Science and Information Systems. 5 (2008) 2 - p. 1-17 , 2008

Link: https://doi.org/10.2298/..

6

Integration of the ST language in a model-based engineering..:

Ferreira, Elisabete ; Paulo, Rogério ; da Daniela, Cruz.
Computer Science and Information Systems. 5 (2008) 2 - p. 87-101 , 2008

Link: https://doi.org/10.2298/..

7

ALMA versus DDD:

da Daniela, Cruz ; Henriques Rangel, Pedro ; Pereira João, Maria
Computer Science and Information Systems. 5 (2008) 2 - p. 119-136 , 2008

Link: https://doi.org/10.2298/..

8

Report from the first international workshop on realizing a..:

Harrison, Rachel ; da Cruz, Daniela ; Henriques, Pedro...
ACM SIGSOFT Software Engineering Notes. 37 (2012) 5 - p. 34-35 , 2012

Link: https://dl.acm.org/doi/1..

9

Assertion-based slicing and slice graphs:

Barros, José Bernardo ; da Cruz, Daniela ; Henriques, Pedro Rangel.
Formal Aspects of Computing. 24 (2012) 2 - p. 217-248 , 2012

Link: https://doi.org/10.1007/..

10

Verification conditions for single-assignment programs:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

da Cruz, Daniela ; Frade, Maria João ; Pinto, Jorge Sousa - p. 1264-1270 , 2012

Link: https://dl.acm.org/doi/1..

11

Exploring, visualizing and slicing the soul of XML document:

, In: Proceedings of the 2010 ACM Symposium on Applied Computing,

da Cruz, Daniela ; Henriques, Pedro Rangel - p. 40-46 , 2010

Link: https://dl.acm.org/doi/1..

12

GamaSlicer : an online laboratory for program verificati..:

, In: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications,

da Cruz, Daniela ; Henriques, Pedro Rangel ; Pinto, Jorge Sousa - p. 1-8 , 2010

Link: https://dl.acm.org/doi/1..

13

Impact of positive biphasic pressure during low and high in..:

da Cruz, Daniela G. ; de Magalhães, Raquel F. ; Padilha, Gisele A....
PLOS ONE. 16 (2021) 2 - p. e0246891 , 2021

Link: https://doi.org/10.1371/..

14

A rocinha e seus espaços de consumo: uma observação etnográ..:

Da Cruz, Daniela Jacques
Diálogo com a Economia Criativa. 4 (2019) 10 - p. 47-59 , 2019

Link: https://doi.org/10.22398..

15

Kinetics of capture and infection of infective larvae of tr..:

da Cruz, Daniela Guedes ; Araújo, Flávia Biasoli ; Molento, Marcelo Beltrão..
Parasitology Research. 109 (2011) 4 - p. 1085-1091 , 2011

Link: https://doi.org/10.1007/..