退出可食用
发表于 2025-3-30 11:17:37
Evolving Logical Specification in Information Systems, to model evolution of object axioms..The Syntax and semantics of .OSL are given together with a translation of the specification language constructs into .OSL. The corresponding proof theory is discussed together with guidelines for formally certifying object properties. Additionally, we show the u