软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
调用页面（NewList） 被调用页面（弹出的页面UPLoadPage.aspx） 大爷的 名字： ...
分类：
其他好文 时间：
2015-02-25 14:07:30
阅读次数：
138
会用easyUI的模态对话框会是我们的开发更加简洁，只需下载这个插件，把需要的文件拖到项目中，下面展示一个easyUI的模态对话框，以及使用方法和属性。这里是一个常用功能小展示，试试上easyUI自带的说明文档非常全面，*****学会查看文档很重要，看几次就会熟练***** ...
分类：
Web程序 时间：
2015-02-15 21:49:52
阅读次数：
225
首先说明一点，onpaint 是更新面板用的，作图的话应在控件上进行。
新建 MFC 对话框工程，面板上添加按钮 IDC_START , IDC_SHOW , IDC_STOP
添加两个对话框，ID 分别设为（简写）ld 和 cd。
ld 上添加三个图片控件，并且每一个均关联一个 CSTATIC 型变量。
cd 上添加一个图片控件，操作如上。
分别为两个对话框添加类，名称自己设，我的是 ...
分类：
编程语言 时间：
2015-02-15 16:43:09
阅读次数：
230
这是一款非常实用的基于bootstrup的jQuery多功能模态对话框插件。该jQuery模态对话框集警告框、确认框和对话框于一体。是一款不可多得的多功能、多用途的模态对话框插件。
它的主要特点有：
可以通过AJAX直接将调用内容到对话框中。
可以在指定的时间后自动关闭对话框。
可以设置为点击模态背景不关闭对话框。
拥有丰富的回调函数。
在线演示：http://www.html...
分类：
Web程序 时间：
2015-02-15 13:33:20
阅读次数：
170
一、最普通的视图控制器UIViewContoller 一个普通的视图控制器一般只有模态跳转的功能（ipad我不了解除外，这里只说iPhone），这个方法是所有视图控制器对象都可以用的，而实现这种功能，有两种方法。 1、通过方法- (void)presentViewController:(UIVi.....
分类：
移动开发 时间：
2015-02-09 22:48:23
阅读次数：
72889
第八章 Qt GUI之对话框使用对话框可以是模态（modal）的或非模态（modeless）两种。当我们在一个用户界面程序里面对一个对话框（比如选择文件对话框）的操作没有结束前，界面的其他窗口无法操作，遇到的这个对话框就是模态对话框，而当我们在一个字处理软件中利用查找和替换对话框时，可以在字处理软件...
分类：
其他好文 时间：
2015-02-09 10:43:16
阅读次数：
137
模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式。一阶线性时态逻辑（FOLTL）是一阶谓词逻辑的扩展。计算树逻辑（CTL）是一种离散、分支时间、命题时态逻辑。Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入，输出和状态。Z语言表示抽象的要素总体上可分为两类：基于集合理论的集合、关系、函数、...
分类：
其他好文 时间：
2015-02-07 11:32:40
阅读次数：
112
这是一款基于bootstrap的超酷jQuery开关按钮插件。该开关按钮插件可以将复选框和单选按钮转换为安卓样式的开关按钮。该插件可以设置开关按钮的颜色、是否可用、显示文本等属性，还可以将开关按钮放置到模态窗口中显示。
该开关按钮可以基于 Bootstrup3，也可以基于Bootstrup2，使用非常方便。
在线演示：http://www.htmleaf.com/Demo/201502...
分类：
Web程序 时间：
2015-02-06 13:14:03
阅读次数：
208
