specification languages; software tools; visual languages; timing; live sequence charts; sequence diagrams; timing constructs; specification languages; behavioral requirements; time-intensive systems; single clock object; play-engine tool; visual lan;
机译:使用模型驱动的工具链为面向组件的规范生成执行基础结构:MARTE GCM和实时注释的案例研究
机译:暴露于BMP信号的时间在离体嗅觉和晶状体斑的规格中起关键作用。
机译:利用程序执行时间不一致来逃避记录/重放法医分析
机译:使用时间:关于规范和执行富裕的LSC
机译:用于多媒体显示规范的SQL扩展:其语法,体系结构和语义基于非马尔可夫行为语言
机译:数据密集型科学工作流程的参数化规范配置和执行
机译:与时间一起玩:关于时间丰富的LSC的规范和执行
机译:实时系统的要求和设计的规范,分析和执行