刘剑

作品数：3被引量：0H指数：0
导出分析报告
供职机构：云南大学更多>>
发文主题：并发系统规约软件开发方法工程质量形式化规约更多>>
发文领域：自动化与计算机技术经济管理理学建筑科学更多>>
发文期刊：《计算机应用研究》《云南大学学报（自然科学版）》《计算机科学》更多>>
所获基金：云南省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种并发软件规约方法的构架
《计算机科学》2000年第7期85-87,共3页刘剑 李彤 
云南省自然科学基金(98F005G);云南省中青年科技带头人培养基金(1998-37)
1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块。
关键词：软件开发方法 并发软件规药 PETRI网 
一种移植串行系统到并行环境的MSP方法
《云南大学学报（自然科学版）》2000年第3期172-176,共5页金钊 李彤 柳青 和伟民 刘剑 
云南省自然科学基金资助项目!( 98F0 2 3M );云南省中青年学术和技术带头人培养基金资助项目!( 1998-3 7)
提出一种把串行系统移植到并行处理环境的工程化方法MSP(MigratingSequentialsystemtoParallelenvironments) .它分为 3个阶段 :分析阶段获取串行系统的设计描述 ,综合阶段根据分析阶段获得的设计描述生成程序相关图 ,转换阶段根据分析...
关键词：串行系统 移植 并行处理环境 工程化方法 MSP 
一种并发系统的规约方法
《计算机应用研究》2000年第5期15-17,共3页刘剑 李彤 
云南省自然科学基金!(98F005G);云南省中青年科技带头人培养基金!(1998-37)
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
关键词：并发系统 形式化规约 面向对象 软件开发方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部