Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
6
Linguistics
Software engineering
6
Specifications
Alloy languages
4
Atomic transition
4
Autopilot systems
4
Cerium alloys
4
Dynamic logic
4
Example based
4
Operational languages
4
Requirements specifications
4
SAT-solving
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Behaviour models
2
Case-based approach
2
Case-based approaches
2
Flowcharting
2
Graphic methods
2
Information theory
2
Language semantics
2
Live sequence chart
2
Live sequence charts
2
MTS
2
Mathematical models
2
Modal Transition Systems
2
Partial behaviour models
2
-
1
-
2
-
3Artículo publishedVersion
-
4Artículo publishedVersion
-
5
-
6