Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Software engineering
10
Computer software
6
Model checking
6
Temporal logic
6
Alloy languages
4
Atomic transition
4
Autopilot systems
4
Calculations
4
Cerium alloys
4
Dynamic logic
4
Dynamic models
4
Dynamic re-configuration
4
Example based
4
Inductive logic programming
4
Linear temporal logic
4
Linguistics
4
Logic programming
4
Operational languages
4
Program translators
4
Requirements specifications
4
SAT-solving
4
Software architecture
4
Specification languages
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Abductive reasoning
2
Abstracting
2
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3Publicado 2009Materias: “...Inductive logic programming...”
-
4Materias: “...Inductive logic programming...”
JOUR -
5Materias: “...Dynamic logics...”
-
6Materias: “...Dynamic logics...”
SER -
7Publicado 2011Materias: “...Inductive logic programming...”
-
8Materias: “...Inductive logic programming...”
CONF -
9Materias: “...Logical language...”
-
10Materias: “...Logical language...”
SER -
11
-
12Materias: “...Temporal logic...”
SER -
13Publicado 1998Materias: “...Formal logic...”
-
14por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF -
15Publicado 2000Materias: “...Logic programming...”
-
16Materias: “...Logic programming...”
SER -
17
-
18Materias: “...Dynamic logic...”
Artículo publishedVersion -
19Materias: “...Dynamic logic...”
Artículo publishedVersion -
20Materias: “...Dynamic logic...”
SER