Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Software engineering
4
Specifications
4
Artificial intelligence
3
Automated approach
3
Computation theory
3
Learning systems
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
Inductive learning
2
Iterative process
2
Operational requirements
2
Requirements engineering
2
Abstract reachability trees
1
Architecture
1
Automata theory
1
Behavior analysis
1
Building systems
1
Composition of services
1
Computer software
1
Computer software reusability
1
Concurrent interactions
1
Declarative goals
1
Engineering
1
Engineers
1
-
1Materias: “...Goal-oriented requirements engineering...”
CONF -
2Materias: “...Goal-oriented requirements engineering...”
JOUR -
3Materias: “...Software engineering...”
Artículo publishedVersion -
4Materias: “...Software engineering...”
Artículo publishedVersion -
5Materias: “...Software engineering...”
SER -
6por 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 -
7Materias: “...Reliability engineering...”
JOUR -
8Materias: “...Model-based engineering...”
JOUR