Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods
Software engineering
2
Specifications
2
Abstracting
1
Application programs
1
Atomic actions
1
Case studies
1
Computer software
1
Computer software reusability
1
Critical activities
1
Different analysis techniques
1
Diverse techniques
1
Domestic appliances
1
Dynamic logics
1
Final states
1
Graphical interface
1
Heterogeneous software
1
Intermediate states
1
JAVA programs
1
Java programming language
1
Mobile phones
1
Model checking
1
Operational units
1
Partial correctnesses
1
Predicate abstractions
1
Program translators
1
SAT solvers
1
Software analysis
1
Software artifacts
1
Software failure
1
-
1Materias: “...Software engineering...”
CONF -
2Materias: “...Software engineering...”
SER