国家自然科学基金(69773038)

作品数：9被引量：6H指数：1
导出分析报告
相关作者：缪淮扣李莉朱关铭刘玲童頫更多>>
相关机构：上海大学更多>>
相关期刊：《计算机应用与软件》《应用科学学报》《计算机工程》《上海大学学报（自然科学版）》更多>>
相关主题：Z规格说明Z语言软件开发INTERNETB方法更多>>
相关领域：自动化与计算机技术经济管理文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用UML描述组件规格说明
《计算机应用与软件》2002年第6期10-12,59,共4页李莉 缪淮扣 
国家自然科学基金(编号:69773038)
在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需...
关键词：UML 组件规格说明 Object-Z语言 软件开发 
一个基于Web技术的网络银行系统的B方法设计与实现被引量：4
《计算机工程》2001年第10期65-66,121,共3页李莉 缪淮扣 
国家自然科学基金资助项目(69773038)
方法作为少数几种具有较强商业化工具支持的形式化方法之一支持规格说明到代码生成的全部开发周期。文章将方法应用于网B,B络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及...
关键词：形式化方法 B方法 网络银行系统 WEB INTERNET 
An Analysis of Two Formal Methods: RSL and Z
《Journal of Shanghai University(English Edition)》2001年第z1期172-176,共5页CHEN Yi-hai 
Supported by The National Natural Science Foundation (No. 69773038) and American Applied Material Foundation
Z规格说明构造方法被引量：1
《计算机工程》2000年第2期39-41,共3页刘玲 缪淮扣 
国家自然科学基金(编号69773038);上海市教委科技发展基金(编号97A42)
比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。
关键词：规格说明 Z模式 初始化定理证明 前置条件简化 
语法制导的Z规格说明检查器
《应用科学学报》1999年第4期450-456,共7页李刚 缪淮扣 童頫 
国家自然科学基金!(69773038);上海市高校科技发展基金!(97A42)
Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言． 作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查， 它通过自顶向下和自底向上相结合的方法，实现了Ｚ语言的语法分析功能； 此外，还结合Ｚ语言的...
关键词：Z语言 语法制导 检查器 Z规格说明 软件开发 
页面置换算法的Z规格说明被引量：1
《上海大学学报（自然科学版）》1999年第S1期149-155,共7页张阁 朱关铭 缪淮扣 
国家自然科学基金资助项目(69773038);上海市教委科技发展基金资助项目(97A42)
虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言...
关键词：先进先出算法(FIFO) 最近最少使用算法(LRU) 规格说明 Z语言 
Microsoft组件对象模型的形式化描述
《上海大学学报（自然科学版）》1999年第S1期142-148,共7页余川江 缪淮扣 
国家自然科学基金自助项目(69773038)
基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995...
关键词：组件 COM 形式化 Z规格说明 
Z规格说明的系统不变式及其抽取
《上海大学学报（自然科学版）》1999年第S1期135-141,共7页明继军 朱关铭 缪淮扣 
国家自然科学基金(69773038);上海教委科技发展基金资助项目(97A12)
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,...
关键词：规格说明 系统不变式 系统状态空间 系统状态转换空间 操作空间 操作不变式 
关于Z规格说明语言中模式的剖析
《计算机科学》1998年第6期24-27,共4页高晓雷 缪淮扣 
国家自然科学基金(编号:69773038);上海市教委科技发展基金(编号:97A42)
1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目...
关键词：规格说明语言 形式语言 Z语言 模式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部