Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
Software engineering
2
Alloy analyzers
1
Alloy languages
1
Alloying
1
Alloys
1
Analysis costs
1
Automation
1
Computational complexity
1
Computer hardware description languages
1
Computer programming languages
1
DynAlloy
1
Dynamic logic
1
Dynamic programming
1
Experimental evaluation
1
First order logic
1
Formal logic
1
Parallel analysis
1
Propositional formulas
1
SAT
1
Semantics
1
Software specification
1
Software specifications
1
Software validation
1
Standards
1
Static analysis
1
Syntactics
1
-
1Materias: “...Dynamic logic...”
CONF -
2por Rosner, N., Siddiqui, J.H., Aguirre, N., Khurshid, S., Frias, M.F., IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASAMaterias: “...First order logic...”
CONF