Topological Functioning Modelling; Functional Characteristics; Objects; Object States;
机译:面向对象和面向属性的多尺度形式概念分析的理论研究
机译:基于统一的CGA形式表达时空拓扑关系计算和分析地理对象
机译:带有活动对象的铁路运营的形式化建模和分析
机译:对象的正式分析状态改变和转换
机译:正式的面向对象的设计和分析。
机译:基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
机译:用于静态分析Java中对象调用上限的工具的正式设计
机译:使用形式化方法和面向对象分析逆向工程穿梭软件