Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
7
Semantics
6
Automata theory
4
Computer programming languages
4
Mathematical models
4
Specifications
4
Behavioral properties
3
Compositional modeling
3
Embedded systems
3
Key modeling
3
Model checking
3
Software engineering
3
Software testing
3
Statistical methods
3
Timed Automata
3
Abstracting
2
Automatic programming
2
Behavioral model
2
Behavioral modeling
2
Black boxes
2
Branch coverage
2
Compile time
2
Computational linguistics
2
Computer software
2
Conformance testing
2
Coverage criteria
2
Dynamic memory
2
Flowcharting
2
Formal languages
2
Java programming language
2
-
1Materias: “...Computer hardware description languages...”
JOUR -
2Materias: “...Scenario-based languages...”
CONF -
3Materias: “...Property specification language...”
CONF -
4Materias: “...Scenario-based languages...”
JOUR -
5Materias: “...Computer programming languages...”
Artículo publishedVersion -
6Materias: “...Computer programming languages...”
Artículo publishedVersion -
7
-
8Materias: “...Java programming language...”
CONF -
9Materias: “...Specification languages...”
CONF -
10Materias: “...Language semantics...”
CONF -
11por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Query languages...”
CONF -
12Materias: “...Computer programming languages...”
CONF -
13Materias: “...Object-oriented languages...”
JOUR -
14Materias: “...Declarative Languages...”
JOUR -
15Materias: “...Specification languages...”
JOUR