Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Dynamic logic
5
Software engineering
5
Specifications
5
Computer software
4
Alloy languages
3
Atomic transition
3
Autopilot systems
3
Cerium alloys
3
Example based
3
Linguistics
3
Operational languages
3
Requirements specifications
3
SAT-solving
3
Tabular expressions
3
Tabular notation
3
Tabular specifications
3
Test harness
3
Abstracting
2
Alloy
2
Automation
2
Computer programming languages
2
Formal logic
2
Algebra
1
Atomic actions
1
Automatic analysis
1
Case studies
1
Component based
1
Component based systems
1
Computational complexity
1
Computer hardware description languages
1
-
1Materias: “...Requirements specifications...”
Artículo publishedVersion -
2Materias: “...Requirements specifications...”
Artículo publishedVersion -
3Materias: “...Requirements specifications...”
SER -
4Materias: “...Generic specifications...”
SER -
5Materias: “...Software specification...”
CONF -
6Materias: “...Relational specifications...”
JOUR -
7Materias: “...Specifications...”
SER