机译:迈向基于UML的基于组件的实时软件的正式规范
CEFRIEL, Via Fucini, 2, Milano 20133, Italy;
机译:基于组件的软件系统的非功能属性的正式规范
机译:通过使用基于UML的正式语言来规范信息系统中的完整性维护操作
机译:基于UML的软件产品线规格的可理解性受控实验
机译:迈向基于组件的实时软件的基于UML的形式规范
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:基于UML的软件开发中的可靠性建模和评估
机译:走向基于UML的正式规范的基于组件的实时软件
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件