Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
5
SAT-solving
3
Alloy
2
Alloying
2
Automated test generation
2
Automated test generations
2
Bounded exhaustive testing
2
Category theory
2
Computational linguistics
2
Formalisation
2
Korat
2
SAT solving
2
Semantics
2
Software engineering
2
Software testing
2
Structuring mechanisms
2
System specification
2
Transcoping
2
Abstract notions
1
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis problems
1
Boolean satisfiability problems
1
Bounded verification
1
Bounded verifications
1
Calculations
1
Communication device
1
Communication mechanisms
1
Component based design
1
-
1Materias: “...Heterogeneous specifications...”
JOUR -
2Materias: “...System specification...”
SER -
3
-
4Materias: “...Z specifications...”
SER -
5Materias: “...Specifications...”
JOUR -
6por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Specification languages...”
SER -
7Materias: “...Specifications...”
CONF