Formalization of Advanced VOs semantics and VO Refinement
share
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
READ FULL TEXT