Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Labeled transition systems
Specifications
4
Animation
2
Flowcharting
2
Goal-oriented requirements engineering
2
Labelled transition systems
2
MTS
2
Mathematical models
2
Method integration
2
Modal Transition Systems
2
Operational behavior
2
Partial behavior models
2
Requirements analysis
2
Requirements animation
2
Requirements engineering
2
Scenario-based languages
2
Scenario-based specifications
2
Scenarios
2
Semantics
2
Software engineering
2
Specification languages
2
Synthesis (chemical)
2
partial behavior models
2
synthesis
2
-
1
-
2
-
3
-
4