formal methods; software engineering; UML;
机译:并发重复过程的稳态行为设计:一种代数方法
机译:一种为高度自动化的生产系统设计和开发可重构控制软件的方法
机译:基于UML / Petri Net的面向对象的软件体系结构设计,用于防止实时系统死锁
机译:从UML处理代数和返回:一种自动化的模型检查软件设计伪像的自动化方法
机译:数据密集型软件系统中自动数据处理的软件架构设计
机译:哈佛大学脑电图自动处理管道(HAPPE):用于发育和高伪像数据的标准化处理软件
机译:基于分辨率的自动定理证明 ud使用并行处理方法的系统
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm