Login / Signup
Formal Derivation of Functional Architectural Design.
Ridha Khédri
Imen Bourguiba
Published in:
SEFM (2004)
Keyphrases
</>
architectural design
design decisions
software architecture
functional analysis
detailed design
case study
expert systems
formal model
formal language
functional properties
data sets
formal specification
formal models