Documentos de Bures T. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Palabras Claves: "Assume-guarantee"

Subtipo de publicación

Publisher

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

Área temáticas

Ciencias de la computación(1)

Área de conocimiento

Optimización matemática(1)

Objetivos de Desarrollo Sostenible

ODS 17: Alianzas para lograr los objetivos(1)

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

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

Año de Publicación

Origen

Palabras Claves

Architecture refinement(1)

requirements(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.