Documentos de Keznikl J. | REDI

Regresar

Mostrando 3 resultados de: 3

Filtros aplicados

Año de Publicación: "2015"

Subtipo de publicación

Publisher

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(3)

Área temáticas

Ciencias de la computación(2)

Artes decorativas(1)

Instrumentos de precisión y otros dispositivos(1)

Métodos informáticos especiales(1)

Área de conocimiento

Ciencias de la computación(1)

Ingeniería de software(1)

Inteligencia artificial(1)

Optimización matemática(1)

Objetivos de Desarrollo Sostenible

ODS 17: Alianzas para lograr los objetivos(3)

ODS 9: Industria, innovación e infraestructura(3)

ODS 8: Trabajo decente y crecimiento económico(2)

ODS 4: Educación de calidad(1)

Origen

Palabras Claves

Adaptive systems(2)

Autonomic Systems(2)

Architecture refinement(1)

Assume-guarantee(1)

Formalization of invariant patterns for the invariant refinement method

Abstract: Refining high-level system invariants into lower-level software obligations has been successfully em

Palabras claves:

Architecture refinement, Assume-guarantee, requirements

Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.

Supporting performance awareness in autonomous ensembles

Abstract: The ASCENS project works with systems of self-aware, selfadaptive and self-expressive ensembles. Per

Palabras claves:

Adaptive systems, Autonomic Systems, Modeling, Monitoring, performance

Bulej L., Bures T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Petr Tůma, Tribastone M., Tschaikowski M.

Tools for ensemble design and runtime

Abstract: The ASCENS project deals with designing systems as ensembles of adaptive components. Among the outpu

Palabras claves:

Adaptive systems, Autonomic Systems, Software development, tools

Abeywickrama D.B., Combaz J., Horký V., Keznikl J., Kofroň J., Lafuente A.L., Loreti M., Margheri A., Mayer P., Monreale V., Montanari U., Petr Tůma, Pinciroli C., Vandin A., Vassev E.