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.
Formal specification
10
Semantics
8
Ciencias Informáticas
6
Formal methods
6
Computer hardware description languages
4
Formal Description
4
Requirements engineering
4
Software design
4
Specifications
4
ESPECIFICACIONES FORMALES
3
FORMAL SPECIFICATIONS
3
Formal Specifications
3
RECUPERACION EN TIEMPO DE EJECUCION
3
RUNTIME RECOVERY
3
SAT SOLVING
3
WORKAROUNDS
3
Algebra
2
Algebraic specifications
2
Automated code generation
2
Behavioral model
2
Behavioral modeling
2
C++ (programming language)
2
C++ template library
2
Calculations
2
Category theory
2
Codes (symbols)
2
Computational linguistics
2
Computer architecture
2
Computer circuits
2
Computer programming
2
-
1
-
2por Teyseyre, Alfredo RaúlMaterias: “...Formal Specifications...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Teyseyre, Alfredo RaúlMaterias: “...formal specifications...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4por Uva, Marcelo ArielMaterias: “...FORMAL SPECIFICATIONS...”
Publicado 2022
Tesis doctoral publishedVersion -
5por Uva, Marcelo ArielMaterias: “...FORMAL SPECIFICATIONS...”
Publicado 2022
Tesis doctoral publishedVersion -
6
-
7
-
8
-
9Materias: “...Formal Specifications...”
JOUR -
10por Pons, Claudia, Baum, Gabriel Alfredo, Felder, Miguel, Kutsche, Ralf-Detlef, Busse, SusanneMaterias: “...Formal Specification Techniques...”
Publicado 2000
Aportado por: SEDICI (UNLP)Objeto de conferencia -
11Publicado 2018Materias: “...Formal specification...”
-
12Materias: “...Formal specification...”
SER -
13Publicado 2001Materias: “...Formal specification...”
-
14Materias: “...Formal specification...”
CONF -
15Publicado 2015Materias: “...Formal specification...”
-
16Materias: “...Formal specification...”
JOUR -
17
-
18Publicado 2017Materias: “...Formal specification...”
-
19