检索结果-维普期刊中文期刊服务平台

软件开发过程中的形式化方法被引量：7: 1; 作者朱冰梅宏杨芙清《计算机科学》 CSCD 北大核心 1995年第1期31-36,共6页; 本文简要介绍了软件开发过程中使用的形式化方法、典型的规范说明语言以及有关的实践活动。; 关键词软件开发规范说明语言形式化法程序自动生成; 在线阅读下载PDF 职称材料

MRPII系统开发的一种形式化方法: 2; 作者虞慧群宋国新邵志清《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 1998年第3期361-367,共7页; 研究了ＭＲＰＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。; 关键词 MRPII系统 RAISE 软件工程形式化法; 在线阅读下载PDF 职称材料

形式化物权法与物权习惯法之冲突与调适被引量：5: 3; 作者刘云生《社会科学家》 CSSCI 北大核心 2013年第12期103-109,共7页; 形式化物权法与物权习惯法虽有历史之并存与现实之相济,然二者内生性冲突却难以避免。探析此类冲突形态及其调适路径,不唯涉及习惯法之存在空间与实现路径,尚关系到成文法之传承、转型及现代化。传统物权习惯法于民间经济生活中有着广... 展开更多; 关键词形式化物权法习惯法冲突调适; 在线阅读下载PDF 职称材料

基于形式化方法的快速原型技术: 4; 作者王泽兵李赣生《浙江大学学报（自然科学版）》 EI CSCD 1997年第6期783-791,共9页; 本文从传统的软件生存周期模型的弊病出发，分析与综述了快速原型软件开发方法的原理、技术及其应用，并与其它模型作了比较，提出了明确的观点．然后，提出了正在开发中的一个基于形式化方法的快速原型软件工程环境（ＳＤＳ），介绍了... 展开更多; 关键词 VDM 软件开发快速原型技术形式化法; 在线阅读下载PDF 职称材料

资源循环共享的Petri网的形式化设计方法被引量：3: 5; 作者崔亚军王君英《计算机学报》 EI CSCD 北大核心 1995年第8期617-625,共9页; 资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一．为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基本子Ｐｅｔｒｉ网的设计，而后研究子Ｐｅｔｒｉ网的耦合．以往的研究多集中于竞争共享资源的... 展开更多; 关键词 PETRI网形式化设计法自动制造系统; 在线阅读下载PDF 职称材料

自动制造系统异常情况Petri网控制器的形式化设计方法被引量：1: 6; 作者崔亚军王君英《自动化学报》 EI CSCD 北大核心 1994年第6期702-709,共8页; ＣＩＭＳ，ＦＭＳ等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成．两者都可以用Ｐｅｔｒｉ网来实现．这里讨论用于异常情况处理的Ｐｅｔｒｉ网控制器的形式化设计方法，其基本思想是利用状态表作为异常情况... 展开更多; 关键词 FMS CIMS PETRI网控制器形式化设计法; 在线阅读下载PDF 职称材料

一种严格的软件开发方法框架被引量：4: 7; 作者陈火旺齐治昌 +2 位作者王兵山宁洪谭庆平《软件学报》 EI CSCD 北大核心 1996年第3期187-193,共7页; 本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该... 展开更多; 关键词软件开发形式化法软件规范程序设计; 在线阅读下载PDF 职称材料

题名软件开发过程中的形式化方法被引量：7: 1; 作者朱冰梅宏杨芙清; 机构北京大学计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 1995年第1期31-36,共6页; 文摘本文简要介绍了软件开发过程中使用的形式化方法、典型的规范说明语言以及有关的实践活动。; 关键词软件开发规范说明语言形式化法程序自动生成; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名MRPII系统开发的一种形式化方法: 2; 作者虞慧群宋国新邵志清; 机构华东理工大学计算机科学与工程系; 出处《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 1998年第3期361-367,共7页; 基金上海市科技发展基金国家自然科学基金; 文摘研究了ＭＲＰＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。; 关键词 MRPII系统 RAISE 软件工程形式化法; Keywords MRPII system RAISE formal method specification refinement verification; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名形式化物权法与物权习惯法之冲突与调适被引量：5: 3; 作者刘云生; 机构西南政法大学民商法学院; 出处《社会科学家》 CSSCI 北大核心 2013年第12期103-109,共7页; 基金刘云生教授主持司法部项目<我国土地银行法律制度构建研究>(12SFB2040) 中国法学会项目<农村土地股权制改革:现实表达与法律应对>(CLS(2013)D130)之阶段性成果; 文摘形式化物权法与物权习惯法虽有历史之并存与现实之相济,然二者内生性冲突却难以避免。探析此类冲突形态及其调适路径,不唯涉及习惯法之存在空间与实现路径,尚关系到成文法之传承、转型及现代化。传统物权习惯法于民间经济生活中有着广阔生存空间与顽强生命力,彰显其存在之合理性,亦要求成文法谨慎对待。二者虽于内在理念与外在制度规范两方面存在较大差异,但仍可于恪守公共利益原则、效益原则、自由原则、成文法优先适用原则等大前提下进行有效调适。; 关键词形式化物权法习惯法冲突调适; 分类号 D923.2 [政治法律—民商法学]; 在线阅读下载PDF 职称材料

题名基于形式化方法的快速原型技术: 4; 作者王泽兵李赣生; 出处《浙江大学学报（自然科学版）》 EI CSCD 1997年第6期783-791,共9页; 文摘本文从传统的软件生存周期模型的弊病出发，分析与综述了快速原型软件开发方法的原理、技术及其应用，并与其它模型作了比较，提出了明确的观点．然后，提出了正在开发中的一个基于形式化方法的快速原型软件工程环境（ＳＤＳ），介绍了它的组成，基本特点及应用实例．; 关键词 VDM 软件开发快速原型技术形式化法; Keywords software life cycle model software rapid prototyping VDM formal method specification; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名资源循环共享的Petri网的形式化设计方法被引量：3: 5; 作者崔亚军王君英; 机构清华大学国家CIMS工程研究中心; 出处《计算机学报》 EI CSCD 北大核心 1995年第8期617-625,共9页; 基金国家自然科学基金; 文摘资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一．为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基本子Ｐｅｔｒｉ网的设计，而后研究子Ｐｅｔｒｉ网的耦合．以往的研究多集中于竞争共享资源的方式上，很少涉及循环共享，本文在以往工作的基础上，提出了资源循环共享的Ｐｅｔｒｉ网设计的形式化方法，并给出了两个实例，举例说明了上述形式化设计方法．; 关键词 PETRI网形式化设计法自动制造系统; Keywords Automatic manufacturing system,loop-shared resource,Petri nets.; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名自动制造系统异常情况Petri网控制器的形式化设计方法被引量：1: 6; 作者崔亚军王君英; 机构清华大学国家CIMSI程研究中心; 出处《自动化学报》 EI CSCD 北大核心 1994年第6期702-709,共8页; 基金国家自然科学基金; 文摘ＣＩＭＳ，ＦＭＳ等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成．两者都可以用Ｐｅｔｒｉ网来实现．这里讨论用于异常情况处理的Ｐｅｔｒｉ网控制器的形式化设计方法，其基本思想是利用状态表作为异常情况处理的规格说明语言，然后将状态表形式化描述为ＭＯＯＲＥ自动机，最后结出构造与ＭＯＯＲＥ自动机行为等价的Ｐｅｔｒｉ网控制器的形式化设计方法．并且用一个实例说明其设计过程．该方法也适用于Ｐｅｔｒｉ网的自动建模．; 关键词 FMS CIMS PETRI网控制器形式化设计法; Keywords Automated manufacturing system exception handling Petri net controllers.; 分类号 TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名一种严格的软件开发方法框架被引量：4: 7; 作者陈火旺齐治昌王兵山宁洪谭庆平; 机构长沙工学院计算机系; 出处《软件学报》 EI CSCD 北大核心 1996年第3期187-193,共7页; 基金国家863高科技项目; 文摘本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具．; 关键词软件开发形式化法软件规范程序设计; Keywords Software development, formal method, design calculus.; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	软件开发过程中的形式化方法	朱冰梅宏杨芙清	《计算机科学》 CSCD 北大核心	1995	7	在线阅读下载PDF 职称材料
2	MRPII系统开发的一种形式化方法	虞慧群宋国新邵志清	《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心	1998	0	在线阅读下载PDF 职称材料
3	形式化物权法与物权习惯法之冲突与调适	刘云生	《社会科学家》 CSSCI 北大核心	2013	5	在线阅读下载PDF 职称材料
4	基于形式化方法的快速原型技术	王泽兵李赣生	《浙江大学学报（自然科学版）》 EI CSCD	1997	0	在线阅读下载PDF 职称材料
5	资源循环共享的Petri网的形式化设计方法	崔亚军王君英	《计算机学报》 EI CSCD 北大核心	1995	3	在线阅读下载PDF 职称材料
6	自动制造系统异常情况Petri网控制器的形式化设计方法	崔亚军王君英	《自动化学报》 EI CSCD 北大核心	1994	1	在线阅读下载PDF 职称材料
7	一种严格的软件开发方法框架	陈火旺齐治昌王兵山宁洪谭庆平	《软件学报》 EI CSCD 北大核心	1996	4	在线阅读下载PDF 职称材料