Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour modelling
4
Iterative development
Software development process
4
Behaviour models
2
Best practice
2
Composition technique
2
Computer software
2
Controller synthesis
2
Design flaws
2
Formal methods
2
Incremental construction
2
Iterative methods
2
Iterative model
2
Level of abstraction
2
Mathematical models
2
Modal transition
2
Model synthesis
2
Modelling and analysis
2
Partial behaviour modelling
2
Partial information
2
Software engineering
2
Software intensive systems
2
Techniques and tools
2
Traditional approaches
2
Verification techniques
2
-
1
-
2
-
3
-
4