Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
11
Specifications
5
Learning systems
4
Software engineering
4
Artificial intelligence
3
Automated approach
3
Computation theory
3
Inductive learning
3
Operational requirements
3
Requirements elicitation
3
Scenario-based specifications
3
Semi-automated
3
Behaviour models
2
Engineering education
2
Goal models
2
Goal-oriented requirements engineering
2
Iterative process
2
Probability
2
Requirements engineering
2
model checking
2
Abstract reachability trees
1
Architecture
1
Automata theory
1
Behavior analysis
1
Behavior model
1
Building systems
1
Composition of services
1
Computer software
1
Computer software reusability
1
Concurrent interactions
1
-
1Materias: “...Model checking...”
JOUR -
2por 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 model checking...”
CONF -
3Materias: “...model checking...”
JOUR -
4Materias: “...Model checking...”
Artículo publishedVersion -
5Materias: “...Model checking...”
Artículo publishedVersion -
6Materias: “...Model checking...”
SER -
7Materias: “...model checking...”
JOUR -
8Materias: “...Model checking...”
JOUR -
9por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Model checking...”
CONF -
10Materias: “...Model checking...”
CONF -
11Materias: “...Model checking...”
JOUR