Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
4
Abstracting
2
automated abstraction
2
Abstract reachability trees
1
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
Model checker
1
Model checking
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
Software model checkers
1
Software model checking
1
Source codes
1
Specifications
1
-
1por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software engineering...”
CONF -
2Materias: “...Software engineering...”
CONF -
3por 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 -
4Materias: “...Software engineering...”
JOUR