Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Software engineering
Specifications
2
Abstracting
1
Alloy languages
1
Atomic actions
1
Atomic transition
1
Autopilot systems
1
Case studies
1
Cerium alloys
1
Computer software reusability
1
Dynamic logic
1
Dynamic logics
1
Example based
1
Final states
1
Formal methods
1
Intermediate states
1
JAVA programs
1
Java programming language
1
Linguistics
1
Model checking
1
Operational languages
1
Operational units
1
Partial correctnesses
1
Predicate abstractions
1
Program translators
1
Requirements specifications
1
SAT solvers
1
SAT-solving
1
Tabular expressions
1
-
1Materias: “...Software engineering...”
SER -
2Materias: “...Software engineering...”
SER