concurrent engineering; formal specification; object-oriented design; cooperative engineering systems;
机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
机译:正式规格的计算机辅助验证
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:并行工程平台的计算机辅助正式规范
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:形式规范行为要求和实现映射要求的计算机辅助发现
机译:使用各种软件和平台集成CaD / CaE / Cam(计算机辅助设计/计算机辅助工程/计算机辅助制造)。