UML时序图相关论文
实时系统中任何一点错误都可能导致灾难性的后果,故保障实时系统的正确性和可靠性是建立实时系统的首要问题。实时系统建模无疑是......
随着计算机科学与技术的快速发展,实时系统的应用范围越来越广,其规模也越来越大,如何在系统设计阶段保障实时系统的可靠性逐渐成......
信息化建设是财务管理工作的重要改革方向,当前的财务快报系统数据上报过程繁琐、审核效率不高,不符合信息化需求。本文采用Java语......
逆向工程在软件维护和软件再工程中占据着重要的地位.在逆向工程中,遗产系统的静态结构信息容易恢复,而获取动态行为特征则较为困......
系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序......
随着计算机技术的发展,自动化测试已经是软件测试行业重要的一部分。在软件规模和复杂程度的日益增加的同时,手工测试面临着巨大的......
引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间......
随着软件规模及其复杂度的不断增长,软件系统存在的潜在错误也越来越多。尽管编程语言、编程模型以及软件工程方法在逐步改进、程......
随着现代信息化社会的建设与发展,各种应用软件和系统软件在各种领域中都发挥着不可替代的作用。在各种软件系统被应用到各行各业......
