Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Specifications
9
Formal logic
6
Alloy languages
5
Computer software
5
Dynamic logic
5
Alloy
4
Computational complexity
4
Goal-oriented requirements engineering
4
Linear temporal logic
4
Model checking
4
Program translators
4
Requirements engineering
4
Temporal logic
4
Atomic transition
3
Autopilot systems
3
Cerium alloys
3
Example based
3
Linguistics
3
Operational languages
3
Requirements specifications
3
SAT-solving
3
Tabular expressions
3
Tabular notation
3
Tabular specifications
3
Test harness
3
Abductive reasoning
2
Abstracting
2
Adaptive control systems
2
Adaptive systems
2
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3Publicado 2009Materias: “...Inductive logic programming...”
-
4Materias: “...Inductive logic programming...”
JOUR -
5Materias: “...Dynamic logic...”
-
6Materias: “...Dynamic logic...”
CONF -
7Materias: “...Formal logic...”
-
8
-
9Materias: “...First order logic...”
-
10por 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 -
11Publicado 2013Materias: “...Logic circuits...”
-
12
-
13por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF -
14Materias: “...Logic circuits...”
JOUR -
15Publicado 2016Materias: “...Formal logic...”
-
16Materias: “...Formal logic...”
CONF -
17
-
18Materias: “...Dynamic logic...”
Artículo publishedVersion -
19Materias: “...Dynamic logic...”
SER -
20Materias: “...Dynamic logics...”