王黎霞
- 作品数：29 被引量：61H指数：5
- 供职机构：云南大学更多>>
- 发文基金：云南省自然科学基金国家自然科学基金云南省应用基础研究基金更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 形式化软件功能分解的交互式规则被引量：1
- 2000年
- 形式化功能分解是软件形式化设计的基本手段。文章基于前后断言形式定义的软件功能，提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则，并证明了这组分解规则的正确性。分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分。
- 李彤王黎霞柳青孔兵
- 关键词：面向对象形式化软件
- 软件过程活动中的并行性延拓被引量：1
- 2001年
- 提高软件过程的并行度是提高软件生产率的重要手段。由于活动内部并行化后并行性较为局部,本文提出了一种将这种并行性向活动外全局方向延拓的技术。通过划分块之间的相关性判别,重构Petri网表示的软件过程模型,将活动内的并行性延拓到了活动间,提高了软件过程的并行度。
- 李彤王黎霞
- 关键词：PETRI网
- 交互式环境下基于知识的形式化软件设计技术被引量：2
- 2000年
- 提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止。设计过程由分解树来描述。
- 李彤柳青孔兵王黎霞
- 关键词：知识库分解树
- Linux应用软件开发技术研究
- 李彤张思信孙玉芳吴健柳青赵振华欧阳鑫郝林孔兵王黎霞张国生
- 目前，国内外尚未见到从Windows到Linux的自动移植工具软件，亦未见到类似的辅助移植工具软件和较为系统的类似技术的报道。该项目的实施有效缓解了国产Linux操作系统上优秀应用软件缺乏与进一步推广国产Linux操作系...
- 关键词：
- 关键词：LINUX软件开发技术
- 基于协同过滤的可信Web服务推荐方法被引量：3
- 2014年
- 为了实现对可信Web服务的推荐,在分析了Web服务推荐技术与电子商务推荐技术的不同的基础上,提出了一种基于协同过滤的可信Web服务推荐方法。首先,根据已有成果对待组装应用的可信需求进行评估,根据此需求对相似用户进行首次筛选;然后在首次筛选的用户中,根据用户使用服务后的评分数据和用户信息来对相似用户进行二次筛选,经过两次筛选得到最终推荐用户。在根据用户对服务的评分数据计算用户之间的相似性时,考虑了不同服务对于用户间相似性的贡献值;在根据用户信息计算用户之间的相似性时,考虑到用户信息之间非线性的特点,引入了欧几里得距离公式来计算其相似值;在产生推荐的过程中还考虑了不诚实用户和用户数不足的问题。模拟实验结果表明该方法能够有效地对可信Web服务进行推荐。
- 张璇刘聪王黎霞赵倩杨帅
- 关键词：WEB服务协同过滤非功能需求
- 形式并行需求规约向Java程序框架的转换
- 2000年
- 提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术．Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题。
- 王黎霞李彤
- 关键词：形式化开发需求规约程序框架JAVA语言
- 近现代我国主要国防经济思想及对国防建设的影响研究
- 本文以我国近现代主要国防经济思想及其对国防建设的影响为研究对象，以历史唯物主义和辩证唯物主义为指导，采取例证分析与规范分析相结合，历史与逻辑相统一的研究方法。对近现代我国国防建设的几个主要时期的国防经济思想及对国防建设的...
- 王黎霞
- 关键词：国防经济国防建设
- 文献传递
- 面向对象的ORACLEPRO*C应用软件开发工具被引量：4
- 1996年
- ＯＯ—ＨＬＬ是我们设计的一个ＯＲＡＣＬＥＰＲＯ＊Ｃ应用软件开发工具，它以面向对象和第四代语言面向问题的非过程化方式定义用户需求，生成可嵌入ＳＱＬ语句到Ｃ程序中的ＰＲＯ＊Ｃ程序。本文介绍了ＯＯ－ＨＬＬ的基本思想、结构、工作流程、类和对象的定义方式，讨论了它的实现技术。
- 李彤王黎霞
- 关键词：面向对象软件开发工具应用程序
- 一种验证软件演化过程行为的代数推导方法
- 2013年
- 针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.
- 代飞王黎霞谢仲文张璇朱锐
- 关键词：PETRI网ACP公理系统
- CCM系统的设计与实现
- 1999年
- CCM模型是一个基于Petri网的用于软件并行开发控制的模型．本文对实现该模型的CCM系统进行了讨论．CCM系统对用CCM语言描述的CCM模型进行识别，利用可达树作为分析工具对所识别的CCM模型的活性进行分析，将其转换为屏幕可视的图形形式．开发人员可根据需要对CCM模型进行修改和执行，并可利用它进行软件开发的并行控制．
- 王黎霞李彤杨亚平
- 关键词：PETRI网软件开发
