On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.

Flvio Oquendo

Browse the full ICSoft paper archive.