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
-
1Materias: “...Formal logic...”
-
2
-
3
-
4Publicado 2015Materias: “...Temporal logic...”
-
5
-
6Publicado 2009Materias: “...Inductive logic programming...”
-
7Materias: “...Inductive logic programming...”
JOUR -
8Materias: “...Dynamic logic...”
-
9Materias: “...Dynamic logic...”
CONF -
10Materias: “...Dynamic logics...”
-
11Materias: “...Dynamic logics...”
SER -
12por 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 -
13Materias: “...First order logic...”
-
14por 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 -
15Publicado 2013Materias: “...Logic circuits...”
-
16
-
17por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF -
18Materias: “...Logic circuits...”
JOUR -
19Publicado 2016Materias: “...Formal logic...”
-
20Materias: “...Formal logic...”
CONF