Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Specifications
10
Alloy languages
6
Computer software
6
Dynamic logic
6
Formal logic
6
Alloy
4
Atomic transition
4
Autopilot systems
4
Cerium alloys
4
Computational complexity
4
Example based
4
Goal-oriented requirements engineering
4
Linear temporal logic
4
Linguistics
4
Model checking
4
Operational languages
4
Program translators
4
Requirements engineering
4
Requirements specifications
4
SAT-solving
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Temporal logic
4
Test harness
4
Abductive reasoning
2
Abstracting
2
Adaptive control systems
2
Adaptive systems
2
-
1
-
2Publicado 2015Materias: “...Temporal logic...”
-
3
-
4Publicado 2009Materias: “...Inductive logic programming...”
-
5Materias: “...Inductive logic programming...”
JOUR -
6Materias: “...Dynamic logic...”
-
7Materias: “...Dynamic logic...”
CONF -
8por Casanova Pietroboni, Carlos Antonio, Rottoli, Giovanni Daián, Schab, Esteban Alejandro, Bracco, Luciano Joaquín, Pereyra Rausch, Fernando Nahuel, De Battista, Anabella CeciliaMaterias: “...Fuzzy logic...”
Publicado 2020
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Documento de conferencia publishedVersion -
9Materias: “...Formal logic...”
-
10
-
11Materias: “...First order logic...”
-
12por 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 -
13Publicado 2013Materias: “...Logic circuits...”
-
14
-
15por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF -
16Materias: “...Logic circuits...”
JOUR -
17Publicado 2016Materias: “...Formal logic...”
-
18Materias: “...Formal logic...”
CONF -
19
-
20Materias: “...Dynamic logic...”
Artículo publishedVersion