Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
16
Automata theory
9
Computer software
9
Real time systems
9
Specifications
9
Abstracting
7
Model checking
7
Semantics
7
Computer architecture
6
Timed automata
6
Adaptive control systems
5
Adaptive systems
5
Behaviour models
5
Controller synthesis
5
Mathematical models
5
Specification languages
5
Controllers
4
Distributed computer systems
4
Graph theory
4
Model-checking
4
Software testing
4
Verification
4
Behavioral research
3
Computation theory
3
Computer aided software engineering
3
Data structures
3
Design
3
Distributed timed model-checker
3
Level of abstraction
3
Matrix algebra
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: “...Computer software...”
JOUR -
4por Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D'Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.Materias: “...Software development process...”
JOUR -
5por Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Software architecture...”
CONF -
6Materias: “...Software architecture...”
CONF -
7Materias: “...Software verification...”
CONF -
8Materias: “...Software engineering...”
JOUR -
9por 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 -
10Materias: “...software testing...”
JOUR -
11Materias: “...Computer aided software engineering...”
SER -
12Materias: “...Software engineering...”
CONF -
13Materias: “...Computer software...”
SER -
14Materias: “...Computer software...”
CONF -
15Materias: “...Software testing...”
CONF -
16Materias: “...Software engineering...”
CONF -
17por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.Materias: “...Software engineering...”
SER -
18Materias: “...Software Specification...”
JOUR -
19por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Software testing...”
CONF -
20Materias: “...Software engineering...”
JOUR