Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Specifications
12
Computer software
10
Alloy languages
6
Dynamic logic
6
Linguistics
6
Semantics
6
Specification languages
6
Alloy
4
Application programs
4
Atomic transition
4
Autopilot systems
4
Cerium alloys
4
Computer programming languages
4
Example based
4
Formal methods
4
Model checking
4
Operational languages
4
Requirements specifications
4
SAT-solving
4
Static analysis
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Abstracting
2
Adaptation scenarios
2
Algebra
2
Algebraic properties
2
Alloy analyzers
2
-
1Publicado 2017Materias: “...Language levels...”
-
2Materias: “...Language levels...”
CONF -
3Publicado 2011Materias: “...Coordination language...”
-
4Materias: “...Coordination language...”
SER -
5
-
6Materias: “...Scenario-based languages...”
CONF -
7
-
8Materias: “...Operational languages...”
Artículo publishedVersion -
9Materias: “...Operational languages...”
Artículo publishedVersion -
10Materias: “...Operational languages...”
SER -
11Materias: “...Computer programming languages...”
-
12Materias: “...Computer programming languages...”
CONF -
13Materias: “...Java programming language...”
-
14Materias: “...Java programming language...”
SER -
15Materias: “...Language semantics...”
-
16Materias: “...Language semantics...”
CONF -
17Materias: “...Alloy languages...”
-
18por 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 -
19Publicado 2017Materias: “...Query languages...”
-
20por Garbervetsky, D., Pavlinovic, Z., Barnett, M., Musuvathi, M., Mytkowicz, T., Zoppi, E., Zisman A., Bodden E., Schafer W., van Deursen A., Special Interest Group on Software Engineering (ACM SIGSOFT)Materias: “...Query languages...”
CONF