Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavior model
1
Behaviour modelling
1
Controller synthesis
1
Iterative development
1
Iterative methods
1
Merge
1
Modal transition systems
1
Model construction
1
Modelling and analysis
1
Partial behavior models
1
Partial behaviour modelling
1
Requirements specifications
1
Safety property
1
Software development
1
Software development process
1
Software engineering
1
Synthesis
1
Synthesis techniques
1
Techniques and tools
1
Traditional approaches
1
Verification techniques
1
-
1por Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D'Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.Materias: “...Software development process...”
JOUR -
2Materias: “...Software development...”
JOUR