云南省自然科学基金(98F005G)

作品数：6被引量：0H指数：0
导出分析报告
相关作者：李彤王黎霞柳青孔兵刘剑更多>>
相关机构：云南大学更多>>
相关期刊：《计算机工程》《计算机应用与软件》《计算机应用研究》《计算机科学》更多>>
相关主题：面向对象软件开发方法分解树形式化软件基于知识更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式并行需求规约向Java程序框架的转换
《计算机工程》2000年第8期31-32,119,共3页王黎霞 李彤 
云南省自然科学基金项目!(98F005G);云南省中青年学术技术带头人培养基金!(1998-37)
提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术．Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系...
关键词：形式化开发 需求规约 程序框架 JAVA语言 
一种并发软件规约方法的构架
《计算机科学》2000年第7期85-87,共3页刘剑 李彤 
云南省自然科学基金(98F005G);云南省中青年科技带头人培养基金(1998-37)
1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块。
关键词：软件开发方法 并发软件规药 PETRI网 
一种并发系统的规约方法
《计算机应用研究》2000年第5期15-17,共3页刘剑 李彤 
云南省自然科学基金!(98F005G);云南省中青年科技带头人培养基金!(1998-37)
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
关键词：并发系统 形式化规约 面向对象 软件开发方法 
交互式环境下基于知识的形式化软件设计技术
《计算机工程》2000年第4期41-43,共3页李彤 柳青 孔兵 王黎霞 
云南省自然科学基金项目"基于公理语义的面向对象并行软件自动化研究"!(98F005G);云南省青年学术技术带头人培养基金!(19
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代...
关键词：交互式环境 知识库 形式化软件设计 分解树 
一个面向网络并行环境的需求规约语言
《计算机工程》2000年第1期24-26,共3页李彤 王黎霞 柳青 孔兵 
云南省自然科学基金项目!基于公理语义的面向对象并行软件自动化研究(98F005G); 云南省中青年学术技术带头人培养基金!19
提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法，可以定义并行成分一进程，可以使用前后断言来表达用户的功能需求，允许将非形式化和半形式化的需求定义嵌入形式化的需求定义中。因此，ＯＯ...
关键词：需求规约语言 OORSL语言 计算机网络 
一个面向对象的应用生成器OO-HLL
《计算机应用与软件》1999年第2期8-14,51,共8页李彤 王黎霞 
云南省自然科学基金(项目编号:98F005G);云南省中青年学术和技术带头人培养经费(编号:1998-37)联合资助
OO-HLL是一个ORACLE Pro*C应用生成器,它以面向对象和第四代语言面向问题的非过程化方式定义用户需求,生成可嵌入SQL语句到C程序中的Pro*C程序,然后通过Pro*C预编译程序和Microsoft C编译器将其翻译为可执行的目标代码。本文介绍了OO-HL...
关键词：面向对象 应用生成器 HLL语言 程序设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部