Sign in
Modularity Assessment Framework for Context-dependent Formal Specifications.
Naoyasu Ubayashi
Published in:
SPLC Workshops (2010)
Keyphrases
</>
context dependent
formal specification
context free
semantic level
object oriented design
databases
low level
source code
software development
user centric