形式化转换相关论文
目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在软件复杂性增加的情况......
针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语......
基于模型驱动的嵌入式软件测试方法是近几年国内外研究的热点。它利用模型描述软件的功能,解决了嵌入式软件硬件方面的制约,降低了......
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述......