Sign in
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.
Flávio Oquendo
Published in:
ICSOFT (1) (2009)
Keyphrases
</>
formal specification
software architecture
object oriented design
specification languages
description language
specification language
model checking
reverse engineering
artificial intelligence
software systems
data model
software engineering
business rules
formal methods