Formalization of Advanced VOs semantics and VO Refinement

Sebastian Stock,Fabian Vu,David Geleßus,Atif Mashkoor,Michael Leuschel,Alexander Egyed

arxiv（2022）

引用 0|浏览3

暂无评分

摘要

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.

查看译文

关键词

advanced vos semantics,refinement

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要