Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates.

Min Zhang Kazuhiro Ogata Kokichi Futatsugi

Published in: APSEC (2015)

Keyphrases

user interface
software design
formal methods
modeling language
software architecture
case study
design concepts
hardware design
design process
dynamic environments
software development
modeling method
open source
design patterns
metamodel
embedded systems
simulation environment
product line
control unit
database