形式化开发相关论文
本课题来源于陕西省自然科学基金项目《信息系统的形式化开发方法研究》。随着信息化的发展,要求不断运用新技术和新思想解决软件......
随着软件系统需求的不断增长,软件界的问题也越来越多,导致项目延期、超出预算或质量低劣的问题不断发生,被业内人士称之为“软件......
随着计算机软件的飞速发展,提高软件开发的效率已成为一个非常重要的问题。采用软件形式化技术,不仅可以极大地减少软件设计早期阶......
UML是一个通用的可视化的对象建模语言，经过了近十多年的发展和完善，在软件工业中已成为占支配地位的建模语言。UML在对系统进行建模......
近年来,可信构件的研究逐渐引起软件工程领域的重视.可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,......
近年来，可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程（CⅨ汇）提供坚实的基础，而......
提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术，Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换......
软件求精是形式化开发方法中的一种新技术。本文介绍了软件求精的基本思想和理论基础，并结合一种广谱语言“扩展Ｇｕａｒｄｅｄ Ｃｏｍｍａｎｄｓ”介绍了其一般方......
安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤。同时,形式化开发方法也是......
