Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
3
Abstracting
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Behavior model
1
Behaviour modelling
1
Behaviour models
1
Concrete state
1
Controller synthesis
1
Engineering activities
1
Finite model
1
Industrial strength
1
Iterative development
1
Iterative methods
1
Level of abstraction
1
Modelling and analysis
1
Non-trivial
1
Novel techniques
1
Partial behaviour modelling
1
Protocol specifications
1
Requirements/specifications
1
Software development process
1
Source codes
1
Specifications
1
Techniques and tools
1
Traditional approaches
1
Verification techniques
1
behaviour model synthesis
1
source code validation
1
-
1Materias: “...Software engineering...”
CONF -
2por 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 engineering...”
JOUR -
3Materias: “...Software engineering...”
JOUR