李景峰

作品数：9被引量：38H指数：4
导出分析报告
供职机构：西安电子科技大学计算机学院软件工程研究所更多>>
发文主题：统一建模语言UML序列图序列图语义分析软件工程更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《西安电子科技大学学报》《长安大学学报（自然科学版）》《系统工程与电子技术》《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Z规范的统一建模语言序列图语义分析方法被引量：3
《西安电子科技大学学报》2003年第4期519-524,共6页李景峰 陈平 
国家"九五"预研资助项目(6 2 1 4);"十五"预研资助项目(41306060106;413150501)
针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个...
关键词：Z规范 统一建模语言 序列图 语义分析 UML 
基于上下文约束的UML序列图语义分析方法被引量：1
《系统工程与电子技术》2003年第2期184-187,共4页李景峰 李琰 陈平 
国家"九五"军事预研项目 (No.6 .2.1.4) ;"十五"军事预研项目资助课题 (No.41315 0 5 1)
统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的...
关键词：统一建模语言 序列图 语义分析 约束 
UML序列图的Z形式规范被引量：5
《西安电子科技大学学报》2002年第6期772-775,795,共5页李景峰 李琰 陈平 
国家"十五"军事预研资助项目(413150501)
用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.
关键词：UML序列图 Z形式规范 统一建模语言 形式化 Z语言 
基于事件序的UML序列图语义规范被引量：2
《长安大学学报（自然科学版）》2002年第6期92-94,共3页李景峰 李琰 陈平 
国家"十五"军事预研项目 ( 4 1315 0 5 0 1)
UML缺乏准确的语义 ,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对 UML序列图 ,给出了形式定义、基于事件序的语义规范及其消息间关系 ;并定义了基本序列图 ,证明其具有全序的消息关系的性质 ,为序列图的语义分析与...
关键词：UML 统一建模语言 序列图 语义规范 事件序 语义分析 动态模型 面向对象 
UML顺序图的形式化描述被引量：6
《计算机科学》2002年第6期147-148,共2页李景峰 李琰 陈平 
1引言 统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义...
关键词：UML语言 统一建模语言 顺序图 形式化描述 
互联网软件工程的概念及关键问题被引量：1
《计算机科学》2001年第6期10-13,共4页李景峰 李琰 陈平 
1.引言 随着Web和Web技术的发展,互联网应用系统变得日益广泛.同时,其规模越来越大,结构变得越来越复杂.此外,对互联网应用系统的动态性、灵活性和易维护性的需求也使得其设计、开发和维护变得越来越困难.
关键词：互联网 软件工程 WWW WEB 
一种新的互联网应用体系结构被引量：1
《计算机科学》2001年第5期47-49,共3页李景峰 李琰 陈平 
1 引言 Internet, Intranet,Extranet和WWW的发展已经对工业、商业、金融业、娱乐业、教育、政府部门以及我们个人的工作和生活产生了巨大的影响.现在许多原有的信息系统和数据库系统正在被移植到Internet和互联网环境中,一些新的复杂...
关键词：互联网 应用系统 体系结构 WWW 
一种特定领域软件开发模型被引量：9
《西安电子科技大学学报》2000年第5期602-606,共5页李景峰 李琰 陈平 
国家部委"九五"预研资助项目!(6 2 1 4)
实际的应用系统都有其领域背景 ,而领域工程是对同一领域内系统的特性进行分析、归纳的软件过程 .将领域工程与应用工程相结合 ,给出了一种特定领域软件开发模型———双工程模型 ,并说明了特定领域软件体系结构和可重用构件的演化过程 ...
关键词：软件工程 软件开发模型 双工程模型 程序设计 
一种可重用构件模型——类属构件被引量：11
《计算机科学》1999年第9期83-86,80,共5页李景峰 刘西洋 陈平 
软件重用是在开发一个新的应用系统时,重复使用以前在别的应用系统开发活动中所建立和使用过的软件资源。这些软件资源不仅包括源代码,还包括软件开发方法、需求规格说明、设计结构、开发工具与支撑环境、测试分析数据和维护信息等。软...
关键词：类属构件 可重用构件模型 软件重用 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部