UML; Formal methods; Graphical notations;
机译:非正式和正式的软件建模符号是否使软件架构建模的从业人员满意?
机译:使用通信X机和Z表示法对动态组织多Agent系统进行形式化建模
机译:UML-B:UML辅助的形式化建模和设计
机译:Casl-Mdl,使用正式基础和类似UML的表示法对动态系统建模
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:消除UMLS同义词库中的循环的方法:天真与正式
机译:UmL作为形式建模表示法