Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
Software engineering
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Behavior model
1
Behaviour models
1
Concrete state
1
Engineering activities
1
Finite model
1
Industrial strength
1
Level of abstraction
1
Non-trivial
1
Novel techniques
1
Protocol specifications
1
Requirements/specifications
1
Source codes
1
Specifications
1
behaviour model synthesis
1
source code validation
1
validation
1
-
1Materias: “...Software engineering...”
-
2Materias: “...Software engineering...”