Finding Models in Model-Based Development
Model-based development focuses on creating and manipulating domain models. We present the formula language and its tool environment for specifying, documenting, and analyzing models.
Model-based development focuses on creating and manipulating domain models. We present the formula language and its tool environment for specifying, documenting, and analyzing models.