Login / Signup
Formal Specification for Design Diversity: Two Case Histories, One Approach.
Cydney Minkowitz
Published in:
ADBIS (Local Proceedings) (2010)
Keyphrases
</>
formal specification
object oriented design
specification languages
design methodology
case study
reverse engineering
software architecture
design methodologies
data abstraction
formal methods
databases
model checking
design process
knowledge based systems
user interface
expert systems
real world