Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Abstracting
1
Admissible sequences
1
Alloy
1
Automation
1
Behaviour models
1
Computational complexity
1
Computer hardware description languages
1
Computer programming languages
1
DynAlloy
1
Dynamic logic
1
Dynamic programming
1
Formal logic
1
Level of abstraction
1
Non-trivial
1
Semantics
1
Software specification
1
Software specifications
1
Software validation
1
Source codes
1
Standards
1
Syntactics
1
automated abstraction
1
behaviour model synthesis
1
source code validation
1
-
1Materias: “...Software validation...”
CONF -
2Materias: “...source code validation...”
CONF