Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
Software engineering
6
Specifications
4
automated abstraction
4
Abstraction techniques
2
Admissible sequences
2
Atomic actions
2
Behavior model
2
Behaviour models
2
Case studies
2
Computer software
2
Computer software reusability
2
Concrete state
2
Dynamic logics
2
Engineering activities
2
Final states
2
Finite model
2
Formal methods
2
Industrial strength
2
Intermediate states
2
JAVA programs
2
Java programming language
2
Level of abstraction
2
Model checking
2
Non-trivial
2
Novel techniques
2
Operational units
2
Partial correctnesses
2
Predicate abstractions
2
Program translators
2
-
1Materias: “...Software engineering...”
-
2Materias: “...Software engineering...”
CONF -
3Materias: “...Software engineering...”
-
4Materias: “...Software engineering...”
JOUR -
5Materias: “...Software engineering...”
-
6Materias: “...Software engineering...”
SER