E-LIB Suche - Ergebnisse für: Martins Moreira, Anamaria

1

TRANSMUT‐Spark: Transformation mutation for Apache Spark:

de Souza Neto, João Batista ; Martins Moreira, Anamaria ; Vargas‐Solar, Genoveva.
Software Testing, Verification and Reliability. 32 (2022) 8 - p. , 2022

Link: https://doi.org/10.1002/..

2

A two-level formal model for Big Data processing programs:

de Souza Neto, João Batista ; Martins Moreira, Anamaria ; Vargas-Solar, Genoveva.
Science of Computer Programming. 215 (2022) - p. 102764 , 2022

Link: https://doi.org/10.1016/..

3

Mutation Operators for Large Scale Data Processing Programs..:

, In: Advanced Information Systems Engineering; Lecture Notes in Computer Science,

de Souza Neto, João Batista ; Martins Moreira, Anamaria ; Vargas-Solar, Genoveva. - p. 482-497 , 2020

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

4

Modeling Big Data Processing Programs:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

de Souza Neto, João Batista ; Moreira, Anamaria Martins ; Vargas-Solar, Genoveva. - p. 101-118 , 2020

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

5

JCML: A specification language for the runtime verification..:

da Costa, Umberto Souza ; Moreira, Anamaria Martins ; Musicante, Martin A..
Science of Computer Programming. 77 (2012) 4 - p. 533-550 , 2012

Link: https://doi.org/10.1016/..

6

Verified Compilation and the B Method: A Proposal and a Fir..:

Dantas, Bartira ; Déharbe, David ; Galvão, Stephenson..
Electronic Notes in Theoretical Computer Science. 240 (2009) - p. 79-96 , 2009

Link: https://doi.org/10.1016/..

7

Specification and Runtime Verification of Java Card Program:

da Costa, Umberto Souza ; Moreira, Anamaria Martins ; Musicante, Martin A..
Electronic Notes in Theoretical Computer Science. 240 (2009) - p. 61-78 , 2009

Link: https://doi.org/10.1016/..

8

Preface:

Moreira, Anamaria Martins ; Ribeiro, Leila
Electronic Notes in Theoretical Computer Science. 195 (2008) - p. 1 , 2008

Link: https://doi.org/10.1016/..

9

Developing Java Card Applications with B:

Gomes, Bruno Emerson Gurgel ; Moreira, Anamaria Martins ; Déharbe, David
Electronic Notes in Theoretical Computer Science. 184 (2007) - p. 81-96 , 2007

Link: https://doi.org/10.1016/..

10

Simulating Algebraic Specification Genericity on Languages ..:

Moreira, Anamaria Martins ; de Oliveira, Anderson Santana
Electronic Notes in Theoretical Computer Science. 95 (2004) - p. 131-148 , 2004

Link: https://doi.org/10.1016/..

11

Manipulating algebraic specifications with term-based and g..:

Moreira, Anamaria Martins ; Ringeissen, Christophe ; Déharbe, David.
The Journal of Logic and Algebraic Programming. 59 (2004) 1-2 - p. 63-87 , 2004

Link: https://doi.org/10.1016/..

12

TRANSMUT-SPARK: Transformation Mutation for Apache Spark:

Batista de Souza Neto, João ; Martins Moreira, Anamaria ; Vargas-Solar, Genoveva.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1809. , 2022

Link: https://hal.science/hal-..

13

TRANSMUT-SPARK: Transformation Mutation for Apache Spark:

Batista de Souza Neto, João ; Martins Moreira, Anamaria ; Vargas-Solar, Genoveva.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1809. , 2022

Link: https://hal.science/hal-..

14

TRANSMUT-SPARK: Transformation Mutation for Apache Spark:

Batista de Souza Neto, João ; Martins Moreira, Anamaria ; Vargas-Solar, Genoveva.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1809. , 2022

Link: https://hal.science/hal-..

15

TRANSMUT-SPARK: Transformation Mutation for Apache Spark:

Batista de Souza Neto, João ; Martins Moreira, Anamaria ; Vargas-Solar, Genoveva.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1809. , 2022

Link: https://hal.science/hal-..