Formalization of invariant patterns for the invariant refinement method

Article

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

Palabras claves:

Architecture refinement, Assume-guarantee, requirements

Autores:

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

Fuentes:

scopus