从广义上讲,形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动.狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述.模型推理和验证的方法.软件规格说明是软件对软件系统对象,对象的操作方法,以及对象行为的描述.软件的设计过程就是一个建立形式规约的过程.当规格说明用非形式化方法描述时可称之为“规格说明”:规格说明用形式化方法描述时可称之为“形式规格”.形式证明与验证技术主要包括模型测试和定理证明.程序求精是将自动推理和形式化方法相结合,从…

接前文:http://www.cnblogs.com/Kassadin/p/4091040.html 1.Before We Start: 在开始图书管理系统需求定义之前,需要先进行一些说明. 1.1 输入,输出定义 输入:用户需求文字说明 输出:基于VDM++的需求规格说明文档 任何问题只有明确它的输入和输出,才会有一个明确的预期,才有可能获得预期的结果.在这里明确问题的输入输出更加重要.特别需要指出的是,VDM++作为一种形式化方法语言,它主要用于需求分析,而不是代码实现.虽然它的产出是一段…

1.前言 今天开始上课学习软件需求分析与VDM++,经过一节课的学习,我又增长了见识. 软件需求工程在软件工程中处于十分核心的地位:需求分析的好坏直接决定软件工程的成败.这一点是我之前对需求工程的理解和认识,然而今天的学习又进一步扩展了我的认识. 2.需求分析的发展阶段 说起需求分析,首先想到的是用例,然后就是各种各样的用例图,功能描述:接下来我会想到产品原型,业务流程描述等等:然而这些其实都只是需求工程的某一阶段的一小部分.实际上,需求分析大致可划分为以下3个阶段: (1)上世纪70年代兴起的…

又有将近2个月没更新博客了啊!winter holiday简直玩儿疯了的说!结果假期前学习的形式化方法已经忘了大半!面对期末作业,大脑一片空白.于是,赶快复习了一下之前学习的姿势! 这次的主要任务是完成一个费用计算程序. 1.问题 Make a model to calculate train fare from a station to another station by using functions and the following table. 使用函数计算两个车站之前的铁路费用.基…

接前文:http://www.cnblogs.com/Kassadin/p/3975853.html 上次讲了软件需求分析的演化过程,本次进入正题——VDM开发环境的搭建 (自从发现能打游戏以来,居然有将近1个月没有写博客了!真是越来越颓废了..) 其实VDM++已经学习了很多,近几天应该会逐渐更新. 1.VDM开发环境介绍 需要使用的环境主要有2个:(1)VDMTools (2)Overture Tool 官方网站:[VDMTools]http://www.vdmtools.jp/en/ [O…

Chapter 13. Miscellaneous PerlTk Methods PerlTk 方法杂项: 到目前为止,这本书的大部分章节 集中在特定的几个部件, 这个章节覆盖了方法和子程序 可以被任何部件调用. 你可能从来不需要那些方法, 但有一些 你会经常使用,特别是配置和cget: 大多数方法是基于Tcl winfo 命令( 窗口信息). 一般来说, 命令只是信息, 意思是你没有传入参数给它们, 你只是拿回一个值. 本章 也记录剪贴板和选择的方法用于剪切和粘贴操作 在应用之间, 关注和获取…

一.基本信息 标题:浅析软件工程中的UML建模技术 时间:2018 出版源:电子世界 领域分类:软件工程:UML建模技术:需求分析 二.研究背景 问题定义:软件工程中UML建模技术的研究 难点:明确软件系统的架构与体系,多种图例的分析,各个图例的功能性.掌握软件工程中UML的建模技术应用流程. 相关工作:通过视图的应用进行软件开发,对常用的四种图进行分析,进行需求分析环节.设计环节.实现环节.测试与匹配环节. 三.创新方法 1.用UML技术提供的图,从而实现软件开发的可视化以及模型化,以此获取软…

wiki 在软件工程中,CI/CD或CICD通常是指持续集成以及持续交付或持续部署的组合实践 持续集成 在软件工程中,持续集成(CI)是每天将所有开发人员的工作副本合并到共享主线中的一种做法.[1] Grady Booch在1991年的方法中首次提出了CI术语,[2]尽管他不主张每天进行多次积分.极限编程(XP)采纳了CI的概念,并提倡每天进行多次集成-每天可能进行多达数十次. 基本原理: 着手进行更改时,开发人员会获取当前代码库的副本以作为工作基础.随着其他开发人员向源代码存储库提交更改的代码…

虽说现在很多的服务提供商都会提供 JSON 接口供我们使用,但是,还是有不少的服务依然必须使用 XML 作为接口格式,这就需要我们来对 XML 格式的数据进行解析转换.而 PHP 中并没有像 json_encode() . json_decode() 这样的函数能够让我们方便地进行转换,所以在操作 XML 数据时,大家往往都需要自己写代码来实现. 今天,我们介绍的是使用 SPL 扩展库中的一些对象方法来处理 XML 数据格式的转换.首先,我们定义一个类,就相当于封装一个操作 XML 数据转换的类…

[问题]Asp.net MVC 的cshtml页面中调用JS方法传递字符串变量参数. [解决]直接对变量加引号,如: <button onclick="deleteProduct('@product.Id');">删除</button>…