机译:键化广义草图的变量集语义:用于对象标识的形式语义和用于概念建模的抽象语法
15075 Lincoln Street #620, Oak Park, MI 48237, USA;
conceptual modeling; object-oriented visual modeling; ER; UML; object identity; entity; relationship; association; aggregation; composition; generalization; formal semantics; category theory; variable set; keyed sketch;
机译:从概念上讲,持久抑制性语义上下文对对象命名的影响必不可少:词汇语义编码模型的含义
机译:丰富的元对象设施正式集成平台:语法,语义和实现
机译:丰富的元对象设施正式集成平台:语法,语义和实现
机译:表示语义角色和建模语法-语义接口的抽象架构
机译:自动构建概念模型,支持软件开发的早期阶段:语义对象模型方法
机译:基于广义概率自动机的语义计算形式模型
机译:名义技术的基础:抽象语法中变量的逻辑和语义
机译:GspmL语言的形式语法和语义