Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
6
Semantics
5
Behavioral properties
3
Embedded systems
3
Software engineering
3
Specifications
3
Abstracting
2
Automata theory
2
Automatic programming
2
Behavioral model
2
Behavioral modeling
2
Black boxes
2
Branch coverage
2
Compile time
2
Computational linguistics
2
Computer programming languages
2
Computer software
2
Conformance testing
2
Coverage criteria
2
Dynamic memory
2
Formal languages
2
Java programming language
2
Mathematical models
2
Memory organizations
2
Memory usage
2
Model checking
2
Program variables
2
Property Specification
2
Real time systems
2
Requirements engineering
2
-
1por Braberman, Víctor AdriánMaterias: “...Computer hardware description languages...”
Publicado 2015
-
2
-
3Materias: “...Property specification language...”
-
4
-
5por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java programming language...”
Publicado 2009
-
6Materias: “...Specification languages...”
-
7Materias: “...Language semantics...”
-
8Materias: “...Computer programming languages...”
-
9por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Object-oriented languages...”
Publicado 2011
-
10
-
11Materias: “...Specification languages...”