Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
4
Level of abstraction
4
Abstracting
2
Admissible sequences
2
Behaviour modelling
2
Best practice
2
Composition technique
2
Computer software
2
Design flaws
2
Formal methods
2
Incremental construction
2
Iterative development
2
Iterative model
2
Mathematical models
2
Modal transition
2
Model synthesis
2
Non-trivial
2
Partial information
2
Software development process
2
Software engineering
2
Software intensive systems
2
Source codes
2
automated abstraction
2
behaviour model synthesis
2
source code validation
2
-
1Materias: “...behaviour model synthesis...”
-
2Materias: “...behaviour model synthesis...”
CONF -
3Publicado 2009Materias: “...Model synthesis...”
-
4