搜索资源列表
suanfuyiuxian
- 算符优先 根据形式化算法，编制程序实现一个算符优先分析器，能对常见的算术表达式语句进行分析。 要求实现以下功能： 1) 组织算术表达式的输入； 2) 组织算符优先关系表或者优先函数的输入； 3) 若输入的符号串是一个算术表达式语句，则输出一个分析树骨架（既每一步规约用到的最左素短语），否则输出一个错误信息。 -operator priorities under formal algorithm, the development process of achieving a
eatting
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 假设有5个哲学家，他们花费一生中的时光思考和吃饭。这些哲学家共用一个圆桌，每个哲学家都有一把椅子。在桌子中央是一碗通心面，在桌子上放着5只筷子。（如图所示）当一个哲学家思考时，他与其他同事不交互
zhexuejiaeatting
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 假设有5个哲学家，他们花费一生中的时光思考和吃饭。这些哲学家共用一个圆桌，每个哲学家都有一把椅子。在桌子中央是一碗通心面，在桌子上放着5只筷子。（如图所示）当一个哲学家思考时，他与其他同事不交互
WebjetChecker
- 这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具
FLoyrC
- 在图论中经常会遇到这样的问题，在一个有向图里，求出任意两个节点之间的最短距离。我们在离散数学、数据结构课上都遇到过这个问题，在计算机网络里介绍网络层的时候好像也遇到过这个问题，记不请了... 但是书本上一律采取的是Dijkstra算法，通过Dijkstra算法可以求出单源最短路径，然后逐个节点利用Dijkstra算法就可以了。不过在这里想换换口味，采取Robert Floyd提出的算法来解决这个问题。下面让我们先把问题稍微的形式化一下
The_B_Language_and_Method
- < B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
communication_software
- 本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.并以设计一个微型交换机软件为例,说明如何运用这些形式化语言进行通信软件的需求分析,概要设计和详细设计。-The book for the characteristics of communication software, introduced several applied to communic
SDLDesignSIP
- 会话初始协议SIP 作为推荐的Internet 会议和VoIP 应用层信令控制协议,在RFC 中没有严格地给出其行为的 形式化模型。介绍了SIP 协议,简要阐述了SDL(specification and descr iption language) 的基本概念及使用它描述网络协议的优 点,并利用SDL 给出了SIP 协议的形式化描述,为进一步的协议实现和验证奠定了基础。-SIP Session Initiation Protocol, as recommended by Intern
philosopher
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。-Dining philosophers problem is that the Dutch scholars Dijkstra classic one of the issues raised, it
uml
- 发都通常都使用典型场景(scenarios)来理解一个系统的需要是什么和系统是怎样工作的。不幸的是，尽管开发都已经这样做了，但它极少用有效的形式归档。用例(Use Cases)就是将这些场景获取正式化、形式化的技术。 用例是Jacobson在面象对象的软件工程中提出的，但它实际上是独立于面象对象的。用例是获取业务过程和系统需求的有效方式。而且技术本身是非常简单易学的。 使需求可被浏览 形式化场景获取是为了使用户和开发者都可以浏览-This article is the firs
chengxushejishiyan4
- 一、实验题目： 实验4 程序的形式化推导 二、实验内容： （1） 根据给定的问题，建立前置谓词和后置谓词。 （2） 根据条件语句的推导策略，建立程序中的条件语句。 （3） 构造循环不变式，确立界函数。 （4） 根据循环语句的推导策略，建立程序中的循环语句。 （5） 面向目标，退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略，基于最弱前置条件的概念，用比较形式化的方法，从设计要求达到的目标一步步推导出程序。 四、实验要求： 运用
Z
- 软件工程语言Z.pdf。软件工程中的形式化方法是一种基于数学的软件开发方法，它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言，或者说是一种表示法，它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组（PRG）的学者在80年代初设计开发的。 -Software Engineering Language Z.pdf. Software Engineering is a formal method of software developme
spin517.tar
- 最流行的并发模型检测器SPIN，是并发系统的形式化设计中的重要工具-Concurrent model of the most popular detector SPIN, is a formal design of concurrent systems in an important tool
Znotation
- Z语言在形式化的规格说明语言中有重要的地位，这篇文档主要介绍了Z语言的产生和发展的过程。-Z language in the formal specification language has an important role, this document introduces the Z language production and development process.
CChess
- 形式化软件开发技术------中国象棋的RSL语义描述 -Formal software development technology------ Chinese Chess semantic descr iption of the RSL
workflow-role
- 基于角色的工作流建模研究 从角色及其交互角度出发,考察了现有的 基于角色的工作流过程建模方法,提出了一种基于Petri 网的工作流角色建模方法。利用这种建模方法,可以清楚的描述出角色 的外部接口,突出角色之间的协作关系,Petri 网的形式化语义方便进行模型的验证和分析-Research on Role-Based Workflow Modeling Abstract: The traditional process-based workflow modeling ignores
ASM
- 从概念的角度分析了活动图并非结构的不足，系统地研究了时序模糊状态下的语音描述，以工作流的循环模式鉴别器作为实例，提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型，从分支、合并、事件捕获等方面定义了详尽的规则，提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the
FormalMethod
- 形式化技术 适合软件工程系学生 我上大学时帮了我不小的忙-Suitable for beginners software engineering students, university data structures courseware.
xiaobo
- 小波分析是当前应用数学和工程学科中一个迅速发展的新领域，经过近10年的探索研究，重要的数学形式化体系已经建立，理论基础更加扎实。与Fourier变换相比，小波变换是空间(时间)和频率的局部变换，因而能有效地从信号中提取信息。-Wavelet analysis is currently applied mathematics and engineering disciplines in a rapidly developing new fields, after almost 10 years o
Ontology1.ppt
- Ontology1.ppt.rarStuder 等人的 Ontology 定义包含四层含义：概念模型(Conceptualization)、明确(Explicit)、形式化(Formal)和共享(Share)。“-Natural Language Processing (NLP) addresses the problems of automated understanding and generation of natural human languages. The former ident