formal methods; software engineering; UML;
机译:哈佛大学脑电图自动处理管道(HAPPE):用于发育和高伪像数据的标准化处理软件
机译:并发重复过程的稳态行为设计:一种代数方法
机译:并发动作推理的过程代数方法
机译:从UML处理代数和返回:一种自动化的模型检查软件设计伪像的自动化方法
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:哈佛大学脑电图自动处理管道(HAPPE):用于发育和高伪像数据的标准化处理软件
机译:软件架构设计的过程代数方法
机译:自动化生成的软件工件的可追溯性