Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
27
Computer software
13
Specifications
11
Model checking
9
Behaviour models
8
Software testing
8
Semantics
7
Abstracting
6
Computer aided software engineering
6
Embedded systems
6
Static analysis
6
Adaptive control systems
5
Adaptive systems
5
Alloy
5
Application programs
5
Computer simulation
5
Controllers
5
Real time systems
5
Specification languages
5
Algorithms
4
Computer programming languages
4
Controller synthesis
4
Formal logic
4
Mathematical models
4
Modal Transition Systems
4
Software architecture
4
Source codes
4
Alloying
3
Computer hardware description languages
3
Data structures
3
-
1Materias: “...Computer software maintenance...”
CONF -
2por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software engineering...”
CONF -
3Materias: “...Software engineering...”
CONF -
4Materias: “...Software specification...”
CONF -
5
-
6Materias: “...Software design...”
CONF -
7Materias: “...Software development...”
CONF -
8por Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Software architecture...”
CONF -
9Materias: “...Computer aided software engineering...”
CONF -
10Materias: “...Software architecture...”
CONF -
11A co-design methodology for processor-centric embedded systems with hardware acceleration using FPGAMaterias: “...Software coding...”
CONF -
12Materias: “...Software Adaptation...”
CONF -
13por 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 -
14Materias: “...Software verification...”
CONF -
15Materias: “...Software engineering...”
CONF -
16Materias: “...Software requirements...”
CONF -
17por 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 -
18por Guzmán, A., Supanitsky, A., Iwotschkin, E., Mernik, T., Fenu, F., Medina-Tanco, G., Santangelo, A.Materias: “...Computer aided software engineering...”
CONF -
19Materias: “...Software engineering...”
CONF -
20por Marré, M., Bertolino, A., Tracz W., Zeil S.J., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Software testing...”
CONF