Model-Based Specification for System Development with Suppliers.

Phanikrishna Thota Simon Hancock Mario Noriega-Fogliani Rodrigo Jimenez

Published in: CSDM (2019)

Keyphrases

formal specification
specification language
code generation
case study
high level
software engineering
knowledge based systems
learning objects
development process
future development