机译:代数图变换,用于形式化本体更改和不断发展的本体
机译:面向重用的表示模型,用于捕获和形式化不断发展的设计原理
机译:使用基于环境的设计(EBD)理论使设计链管理形式化
机译:移动环境编译器的设计及其使用演化代数的形式化
机译:探索用于建筑环境设计的移动研究实验室的复杂开发:用于跨学科建筑科学研究平台开发的设计构建研究的记录和分析
机译:同性恋移动应用程序和不断发展的虚拟风险环境:中国男同性恋者跨部门在线调查
机译:leanEa:精益进化的代数编译器
机译:多排演化代数的形式化。第1部分