Software engineering; Software component; Formal specification; Reflection;
机译:正式设计和实现软件组件中的约束
机译:严格的机器人软件设计:基于组件的正式方法
机译:正式的代理设计方法:基于约束的代理概述
机译:指定具有时序约束的软件组件的反射设计的正式方法
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:自我选择的明暗周期和社会约束对人类睡眠和昼夜节律的影响:一种建模方法
机译:Robot软件的严格设计:基于正式的组件方法
机译:使用正式的逆向工程和设计恢复方法来支持软件重用