Login / Signup
On relating functional specifications to architectural specifications: A case study.
Flavio Corradini
Paola Inverardi
Alexander L. Wolf
Published in:
Sci. Comput. Program. (2006)
Keyphrases
</>
high level
delay insensitive
formal specification
formal language
test bed
neural network
social networks
information systems
decision making
expert systems
specification language
architectural design
concurrent systems
attribute grammars