2012年05月_shangdi765

05月 04月 03月

转载 xml和json解析

xml ：DOM SAX PULLhttp://www.cnblogs.com/zhangdongzi/archive/2011/04/14/2016434.html json 用FastJSON http://code.alibabatech.com/wiki/display/FastJSON/Home

2012-05-29 14:11:11 531

原创 event-b 语法基础

B context包括 sets 集合抽象类型 constants 常量逻辑变量，值是常量 axioms 公理限制常量，是一个逻辑谓词 B machine包括 variables 状态变量，值可变 invariants 不变式变量的约束式，约束式总为真，不变式是逻辑谓词 initialisation 初始值抽象变量的初始值 events 事件受监视的动作，动

2012-05-25 12:08:25 2317 1

翻译 event-B

第一章介绍在过去的30年，软件开发的许多领域引入并采用了形式化方法。近年来，软件工业使用VDM，Z，ASM，B和Event-B.然而这个领域的研究还在继续；尝试改进这些方法或获得益处。连接需求，详细说明和实现的工作还在继续。 1.1 背景和动机面临Hoare 和Misra在【72】中提出的验证软件挑战，我们陈述了理论，工具和实验是形式化验证方向的三个主要挑战性研究方面。现在，许多先进

2012-05-22 20:07:19 4740

Event-B Language

本文档是Event-B形式化方法的参考书，书中包含Event-B结构与语法介绍；数学证明；符合表示

2012-12-25

xml解析定时提醒

完成从后台异步读取xml文件，解析xml文件，用ListView显示新闻信息，定时提醒功能

2012-03-22

android http下载

这是一个在eclipse 下实现的，基于android 平台的，http 下载xml 文件功能

2011-03-04

java初学课件主要是JSP

主要是JSP页面编程,JSP与HTML共同生成动态页面，网页的布局！

2009-04-22

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人