Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
7
Learning systems
4
Specifications
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
Software engineering
3
Engineering education
2
Goal models
2
Goal-oriented requirements engineering
2
Iterative process
2
Requirements engineering
2
Architecture
1
Behavior analysis
1
Behavior model
1
Behaviour models
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
Formal Semantics
1
-
1Materias: “...Model checking...”
Artículo publishedVersion -
2Materias: “...Model checking...”
Artículo publishedVersion -
3Materias: “...Model checking...”
SER -
4Materias: “...model checking...”
JOUR -
5Materias: “...Model checking...”
JOUR -
6Materias: “...Model checking...”
CONF -
7Materias: “...Model checking...”
JOUR