|
1.
|
形式化方法B的证明技术 被引次数：4
|
|
|
|
|
|
|
鹿蕾《现代电子技术》,2005年第28卷第23期
|
|
|
用形式化方法开发软件是提高软件可靠性和开发效率并实现其自动持从规约到实现的全过程开发工作.本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性.
|
|
2.
|
采用形式化技术的软件再工程 被引次数：4
|
|
|
|
|
|
|
周华 李少云 段清 何彦彬 沈勇《计算机工程与应用》,2003年第39卷第3期
|
|
|
形式化技术为软件再工程提供了完备的理论基础，该文对基于软件再工程的形式化方法进行了探讨，提出了一个统一的面向软件再工程的形式化方法。
|
|
3.
|
用于通信网络协议开发的形式化方法
|
|
|
|
|
|
|
李新宇《中国新通信》,2014年第15期
|
|
|
随着形式化方法和技术日趋完善，网络协议开发也逐渐向形式化描述方法过渡和发展，并逐渐渗透到网络协议分析、综合及测试的各个环节中，形成应用于各个环节的软件工程方法。本文通过对通信网络协议的要素进行分析，并对网络协议形式化方法、形式化模型及描述进行阐述，在此基础上对通信网络协议的形式化方法进行了探究，并给出了一些自己的看法和建议。
|
|
4.
|
深基坑逆作法施工初探
|
|
|
|
|
|
|
李雪飞 郁雯 袁风来《河北建筑工程学院学报》,2005年第23卷第2期
|
|
|
近年来支护技术的发展非常迅速，出现了不少新的方法，其中逆作法在我国也逐渐兴起，它适用于较深基坑且对围护结构的水平变形有严格限制的工程，从逆作法的技术特点和施工方法出发，结合工程实例，对逆作法施工进行了研究与探讨。
|
|
5.
|
一种嵌入式实时系统软件的形式化开发方法
|
|
|
|
|
|
|
杨捷 毋国庆《计算机工程与应用》,2002年第38卷第13期
|
|
|
领域特征突出的嵌入式实时系统软件开发，既需要严格地保证可靠性又要充分反映实时和交互行为特征，针对这种需要，该文提出了一种从需求分析到体系结构建模直至使用组技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以有各软件开发阶段中的形式化模型和工具的现状和特点后，引入需求分析的模型和体系结构建模的描述语言，分析其长处和不足，最后对该方法与移动组件组合的前景进行了展望。
|
|
6.
|
浅析形式化描述方法的应用
|
|
|
|
|
|
|
冯松军《电子游戏软件》,2014年第10期
|
|
|
形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规格、设计和实现等。使用这种描述方法可以帮助开发者发现软件系统的设计、实现和程序中的问题和缺陷,能够较好的提高软件系统的正确性和可靠性。本文介绍了形式化方法的基本内容、分类以及应用等方面,分析了其思想和应用情况,以及形式化方法在软件工程中的优势和可靠性,并列举了一个简单的实例。
|
|
7.
|
软件形式化开发方法的选择策略研究
|
|
|
|
|
|
|
彭成 王盼卿《电子设计工程》,2014年第15期
|
|
|
随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
|
|
8.
|
基于实时语言和面向方面的形式化开发方法
|
|
|
|
|
|
|
陈生庆 张立臣 陈广明《计算机应用》,2006年第26卷第1期
|
|
|
面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL，它基于经面向方面扩展的形式化方法AO RT Z，在编码阶段应用实时语言PEARL，实现了软件开发各个阶段对面向方面的无缝支持。
|
|
9.
|
工程逆施法技术与实践应用 被引次数：1
|
|
|
|
|
|
|
郭亦军《山西建筑》,2008年第34卷第35期
|
|
|
对逆施法技术进行了介绍,结合具体工程实例,介绍了基坑施工方案的选择,阐述了逆作法施工的步骤,分析了逆作法施工的技术优点和经济优点,从而积累逆作法施工经验,推广逆作法施工在工程中的应用.
|
|
10.
|
基于Pi-演算的工作流模式描述 被引次数：1
|
|
|
|
|
|
|
薛岗 姚绍文 Joan Lu《计算机科学》,2008年第35卷第7期
|
|
|
工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法.Pi-演算是一种进程代数,可以应用于业务流程的形式化建模.本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力.
|
|
11.
|
逆作法施工技术在高层建筑施工中的应用
|
|
|
|
|
|
|
董昀《山西建筑》,2010年第36卷第6期
|
|
|
结合某金融中心逆作法施工工程，对逆作法施工工艺的具体应用进行了介绍，详细说明了逆作法的设计和施工技术，以积累逆作法施工经验，推广逆作法在高层建筑工程中的应用。
|
|
12.
|
形式化技术在软件工程中的作用
|
|
|
|
|
|
|
闻寅啸《电子游戏软件》,2013年第21期
|
|
|
本文主要介绍了形式化技术的一些基本的理论，重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向，并且对形式化技术在软件工程中的作用进行了评价。
|
|
13.
|
深基坑逆作法土方开挖技术研究
|
|
|
|
|
|
|
范定明《云南建材》,2014年第17期
|
|
|
逆作法在深基坑工程中的应用越来越广泛，在施工经验和方法上已经取得了很多成熟的经验。由于逆作法施工工艺的特殊性和复杂性，深基坑逆作施工对基坑开挖等方面的控制标准越来越严格，本文主要结合工程实例来分析深基坑逆作法土方开挖技术，为逆作法在地下深基坑开挖工程中的应用提供一定的借鉴作用。
|
|
14.
|
CIMS中形式化面向对象软件开发方法研究
|
|
|
|
|
|
|
宋国新 虞慧群 邵志清《高技术通讯》,1997年第8期
|
|
|
提出了CIMS中形式化面向对象软件开发的方法。使用RAISE（工业软件工程的严格方法）规范语言，建立了MRPⅡ系统的形式化模型，并且实现了该系统。同时．还研究了对象系统的相容性检查技术。基于经典的Kunth-Bendix算法，提出了对象系统的相容性检查方法。
|
|
15.
|
基于B方法的组件开发
|
|
|
|
|
|
|
高丽萍 褚伟《微机发展》,2007年第17卷第7期
|
|
|
现有的组件开发技术的规格说明是非形式化的,这导致了逻辑的非严密性和理解的歧义性,将会严重影响组件复用的效率。B方法是形式化方法之一,已经有功能强大的工具支持软件的形式化开发过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此,将B方法应用于学生信息管理系统的开发,提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出,B方法增强了组件的规范性,对于提高组件复用的可靠性有重大的意义。
|
|
16.
|
基于B方法的组件开发 被引次数：1
|
|
|
|
|
|
|
高丽萍 褚伟《计算机技术与发展》,2007年第17卷第7期
|
|
|
现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方法之一，已经有功能强大的工具支持软件的形式化开发过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此，将B方法应用于学生信息管理系统的开发，提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出，B方法增强了组件的规范性，对于提高组件复用的可靠性有重大的意义。
|
|
17.
|
基于形式化方法的需求分析 被引次数：7
|
|
|
|
|
|
|
塔维娜 何积丰《计算机工程》,2003年第29卷第18期
|
|
|
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。
|
|
18.
|
从形式化式样出发的实时控制软件开发
|
|
|
|
|
|
|
齐学智 陈金水《工业控制计算机》,2004年第17卷第8期
|
|
|
形式化语言能够对软件的功能进行精确的描述，在实时控制软件中引入形式化语言描述是必要的也是可能的本文介绍了形式化式样语言VDM-SL(Vienna Development Method-Specification Language)，用VDM-SL给出了一个小型控制软件的形式化描述。基于形式化式样描述，提出了从形式化式样出发的控制软件开发最后就形式化语言应用于软件描述的前景进行了分析，同时指出了形式化语言和工具的不足。
|
|
19.
|
工作流集成中基于代数表达式的语义匹配机制
|
|
|
|
|
|
|
齐军 张月菊 王涛《计算机应用》,2011年第31卷第8期
|
|
|
针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题,给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件pre/post的完全匹配模式下,以高级程序设计语言中的代数表达式为基础,提出了匹配原则,并给出了具体的算法,并且用实例进行分析说明。该算法适用于工作流集成中的功能匹配,同时基于严格的形式化方法,便于分析和验证。该算法局限于初等代数性的前提。
|
|
20.
|
软件形式化方法与应用专题前言
|
|
|
|
|
|
|
詹乃军 王戟 李宣东《软件学报》,2016年第27卷第3期
|
|
|
形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专刊收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.
|
