Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Software engineering
28
Model checking
16
Computer software
12
Specification languages
12
Abstracting
8
SAT-solving
8
Behaviour models
6
Computational linguistics
6
Formal languages
6
Formal methods
6
Linguistics
6
Program translators
6
Requirements engineering
6
Scenario-based specifications
6
Semantics
6
Temporal logic
6
Verification
6
Alloy
4
Alloy languages
4
Alloying
4
Application programs
4
Artificial intelligence
4
Atomic transition
4
Automata theory
4
Automated approach
4
Automated test generation
4
Automated test generations
4
Autopilot systems
4
Behavioral properties
4
-
1
-
2Materias: “...Software engineering...”
CONF -
3Materias: “...Computer software...”
-
4Materias: “...Computer software...”
SER -
5Publicado 2015Materias: “...Software architecture...”
-
6por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Software architecture...”
CONF -
7
-
8Materias: “...Software verification...”
CONF -
9Publicado 2012Materias: “...Software engineering...”
-
10Materias: “...Software engineering...”
Artículo publishedVersion -
11Materias: “...Software engineering...”
Artículo publishedVersion -
12Materias: “...Software engineering...”
SER -
13Materias: “...Computer aided software engineering...”
-
14Materias: “...Computer aided software engineering...”
SER -
15
-
16por Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S., Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)Materias: “...Software engineering...”
CONF -
17Publicado 2017Materias: “...Software design patterns...”
-
18
-
19Publicado 2000Materias: “...Software architecture...”
-
20Materias: “...Software architecture...”
SER