论文部分内容阅读
<正>形式化方法的研究和应用已有近川年的历史了,其产生是D伽tra和HOars在程序验证方面的工作和＆。ti,stratchey以及其他学者在程序语义方面的工作基础上发展起来的,从最简单的形式化方法,即用一阶逻辑和等式组成的规范语言,至80
形式化方法的发展及展望
【摘 要】
：
<正>形式化方法的研究和应用已有近川年的历史了,其产生是D伽tra和HOars在程序验证方面的工作和＆。ti,stratchey以及其他学者在程序语义方面的工作基础上发展起来的,从最简单
【机 构】
：
丹东师范高等专科学校计算机系
【出 处】
：
计算机科学
【发表日期】
：
1998年2期
【基金项目】
：
国家教委职教项目
其他文献
<正>面向对象程序设什方法起源于六十年代末期的语言SIMULA’67,到了七十年代末期,软件行业正受到软件危机的困扰,结构化的开发方法不能够很好地解决软件危机。面向对象语言S
<正> Web是全球范围的信息浏览系统,建立在“客户机/服务器”模型之上。Web服务器具有高度的集成性,能把各种类型的信息(如文本、图像、声音、动画等)和服务(如News,FTP,Goph
State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri N
<正>BP神经网络以其结构简单、工作状态稳定等特点,成为当前应用最广的一种神经网络模型,应用范围包括识别分类、非线性映射、复杂系统仿真等方面。但是,BP网络也存在局部极
<正> 1 引言当前,随着多数据库系统中成员数据库数目的不断增大,需要提供一个世界范围内的互操作环境,以实现大量自治和异构的成员数据库之间文件系统、电子数据表等格式中存
<正>软件休系结构是由 Edsger Dtikston于1968年首次提出的,当时他正在描述一个操作系统,井第一次提出层次结构,他指出,人们更应关注软件系统是如何划分与组合的,而不是仅仅
<正> 1.引言工作流通常包含一系列支持特定业务流程的活动。如质量管理中的工作流包括产品的开发研究、设计、生产计划、产品质量测试,直至产品的销售、技术服务等一连串生产
<正> 1.引言机器学习是人工智能领域的一个长期的研究热点,其研究目标,就是利用计算机来模拟、实现各种形式的学习行为。学习涉及两方面的内容:知识获取和技能获取。前者是从
多媒休系统中通常包括各种媒休类型,例如,文本、语音、图象、音频和视频。保持和维护各种媒对象的同步关系是多媒体技术的一个重要研究领
<正> 1 引言 Petri网是一种系统模拟和系统分析的工具,能够深刻和简洁地描述动态系统、分布式系统的特性和网络竞争、网络碰撞以及网络阻塞等各种现象。这在许多领域中已得到