Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
7
Specifications
7
Alloy
6
Computer software
6
SAT-solving
6
Dynamic logic
5
Alloy languages
4
Cerium alloys
4
Java programming language
4
Alloying
3
Atomic transition
3
Autopilot systems
3
Computer programming languages
3
DynAlloy
3
Example based
3
Formal logic
3
Linguistics
3
Model checking
3
Operational languages
3
Propositional formulas
3
Propositional variables
3
Requirements specifications
3
Static analysis
3
Tabular expressions
3
Tabular notation
3
Tabular specifications
3
Test harness
3
Abstracting
2
Algebra
2
Alloy analyzers
2
-
1Materias: “...Logical language...”
SER -
2Materias: “...Operational languages...”
Artículo publishedVersion -
3Materias: “...Operational languages...”
Artículo publishedVersion -
4Materias: “...Operational languages...”
SER -
5Materias: “...Computer programming languages...”
CONF -
6Materias: “...Java programming language...”
SER -
7Materias: “...Java programming language...”
JOUR -
8Materias: “...Computer programming languages...”
JOUR -
9Materias: “...Java programming language...”
JOUR -
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: “...Alloy languages...”
CONF -
11Materias: “...Specification languages...”
CONF -
12por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Specification languages...”
SER -
13Materias: “...Java programming language...”
CONF -
14Materias: “...Computer programming languages...”
CONF