Sign in
Theory and methodology of assumption/commitment based system interface specification and architectural contracts.
Manfred Broy
Published in:
Formal Methods Syst. Des. (2018)
Keyphrases
</>
high level
formal methods
theoretical framework
user interface
theoretical basis
architectural design
direct manipulation
distributed systems
computational model
process model
theoretical foundation
design methodology
formal theory
asynchronous circuits