Assured and correct dynamic update of controllers

Mostrar todas las versiones(2)

In many application domains, continuous operation is a desirable attribute for software-intensive systems. As the environment or system requirements change, so the system should change and adapt without stopping or unduly disturbing its operation. There is, therefore, a need for sound engineering te...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: 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)
Formato: CONF
Materias:
Adaptive systems
Controller synthesis
Dynamic update
Application programs
Controllers
Software engineering
Specifications
Continuous operation
Correctness criterion
Reactive system
Software intensive systems
Sound engineerings
System requirements
Adaptive control systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p96_Nahabedian
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares