Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Software engineering
2
Alloy
1
Arbitrary sets
1
Automation
1
Clauses satisfiability
1
Computational complexity
1
Computational linguistics
1
Computer aided software engineering
1
Computer circuits
1
Computer hardware description languages
1
Computer programming languages
1
Computer software
1
Design notations
1
Didactic tools
1
DynAlloy
1
Dynamic logic
1
Dynamic programming
1
Ehrenfeucht-Fraïssé
1
First order logic
1
Formula size
1
Free software
1
Goal-oriented requirements engineering
1
Inductive learning
1
Information systems
1
Interactive tool
1
Interactivity
1
Inverse operators
1
Inverse problems
1
Iterative methods
1
-
1
-
2por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF -
3Materias: “...Formal logic...”
CONF -
4Materias: “...Formal logic...”
CONF -
5