您的位置： 专家智库 > >

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

作品数：6 被引量：3H指数：1
相关作者：李彤王黎霞柳青孔兵刘剑更多>>
相关机构：云南大学更多>>
发文基金：云南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 3篇形式化
  • 3篇规约
  • 2篇软件开发
  • 2篇软件开发方法
  • 2篇面向对象
  • 2篇开发方法
  • 1篇形式化规约
  • 1篇形式化开发
  • 1篇形式化软件
  • 1篇需求规约
  • 1篇应用生成器
  • 1篇知识库
  • 1篇软件规约
  • 1篇设计技术
  • 1篇生成器
  • 1篇网络
  • 1篇网络并行
  • 1篇网络并行环境
  • 1篇基于知识
  • 1篇计算机

机构

  • 6篇云南大学

作者

  • 6篇李彤
  • 4篇王黎霞
  • 2篇刘剑
  • 2篇孔兵
  • 2篇柳青

传媒

  • 3篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机应用研...
  • 1篇计算机科学

年份

  • 5篇2000
  • 1篇1999
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
交互式环境下基于知识的形式化软件设计技术被引量：2
2000年
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止。设计过程由分解树来描述。
李彤柳青孔兵王黎霞
关键词：知识库分解树
形式并行需求规约向Java程序框架的转换
2000年
提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术．Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题。
王黎霞李彤
关键词：形式化开发需求规约程序框架JAVA语言
一种并发系统的规约方法被引量：1
2000年
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
刘剑李彤
关键词：并发系统形式化规约面向对象软件开发方法
一种并发软件规约方法的构架
2000年
1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块。
刘剑李彤
关键词：软件开发方法PETRI网
一个面向网络并行环境的需求规约语言
2000年
提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法，可以定义并行成分一进程，可以使用前后断言来表达用户的功能需求，允许将非形式化和半形式化的需求定义嵌入形式化的需求定义中。因此，ＯＯＲＳＬ语言是一个半形式化的语言，它为网络并行环境下的软件自动化和软件形式化开发提供了支持。介绍了ＯＯＲＳＬ的设计思想和主要语法成分，给出了一个实例。
李彤王黎霞柳青孔兵
关键词：计算机网络
一个面向对象的应用生成器OO-HLL
1999年
OO-HLL是一个ORACLE Pro*C应用生成器,它以面向对象和第四代语言面向问题的非过程化方式定义用户需求,生成可嵌入SQL语句到C程序中的Pro*C程序,然后通过Pro*C预编译程序和Microsoft C编译器将其翻译为可执行的目标代码。本文介绍了OO-HLL的基本思想,给出了OO-HLL语言主要语法成分的形式定义,讨论了它的代码生成技术。
李彤王黎霞
关键词：面向对象应用生成器程序设计
全选 清除 导出
共1页<1>
聚类工具0