Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software architecture
4
Specifications
Calculations
2
Codes (symbols)
2
Complex evolutions
2
Computational linguistics
2
Constraint Solving
2
Dynamic evolution
2
Dynamic models
2
Dynamic re-configuration
2
Event-based system
2
Fluents
2
Formal languages
2
Graph rewriting
2
Graph theory
2
Hyperedge replacement
2
Linear temporal logic
2
Logic model checking
2
Logic programming
2
Memory architecture
2
Model checking
2
Numerical values
2
Reactive system
2
Reconfigurable hardware
2
Software architecture style
2
Software engineering
2
System architectures
2
Temporal logic
2
Temporal logic specifications
2
-
1Publicado 2000Materias: “...Software architecture...”
-
2Materias: “...Software architecture...”
SER -
3Publicado 2015Materias: “...Software architecture...”
-
4por 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