Model-based software design generation techniques

Abstract

Behavior models can be used to support specification, transformation, and verification of behavior designs in software development. Designers can specify their design in behavior models. In this research, we investigated model-based software design generation techniques to generate software designs from behavior models. We focused on designs in FSM, control… (More)

3 Figures and Tables

Topics

  • Presentations referencing similar topics