论智慧城市的知识云建设

建设智慧城市应以什么为抓手?智慧城市与知识城市的概念是否有冲突?走向知识经济时代的我们如何建设知识架构?公共知识服务平台如何纳入当前的云计算服务环境?智慧城市如何获得知识服务架构的支持?这些问题将在专家视点《论智慧城市的知识云建设》一文中为您解答。     

一种移动平台儿童教育游戏的最终用户编程语言

针对现有移动教育游戏无法满足快速增长的移动教育需求这个问题,利用领域工程的方法和最终用户编程(EUP)的技术,研究和设计了一种最终用户编程语言Kids。首先通过对移动平台儿童教育领域进行分析识别出儿童教育游戏的游戏元素,在此基础上对该领域进行特征的提取,得到该领域的特征模型。Kids语言以特征模型为基础进行设计,能够允许老师和家长为学龄前的儿童编写移动教育游戏。同时,开发了一个Kids的编程工具,包括可视化编辑器和代码生成引擎。该工具能够支持用户更加有效地使用Kids进行可视化编程,并自动生成Android代码。实验结果表明,Kids相比其他通用语言更加简洁,大部分最终用户能够很好地利用Kids开发工具开发出简单的儿童教育游戏。     

面向对象CASE工具评价模型

ＣＡＳＥ工具的评价是一直迫切需要解决尚未很好解决的课题，本文分析了以往的研究成果，在此基础上引入了面向对象的概念，提出了一种以软件质量评价的三级模型为基本构架，以工具类格为核心，面向对象的工具评价模型，该模型既能遵循通用的软件质量评价标准，又能根据评价目标，应用要求，工具特色进行调整，还允许以后的发展和扩充，为ＣＡＳＥ工具提供了一个较系统的评价方法。     

一个柔性的形式化过程建模语言

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.     

敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化，个性化，快速化，高质量新格局的先进开发模式，它能够帮助软件企业快速响应市场赢得竞争，针对这一趋势，系统分析软件开发的敏捷性需求，总结出敏捷软件过程的5种典型特征，如并行，轻载，基于时间，正好策略，基于组件等，然后设计了FLEX语言，从3个不同抽象导 上形式化定义了敏捷软件过程的功能模型，合作模型，资源模型和产品模型，基于过程模型，同时提出了9种静态分析和动态模拟技术，支持软件过程面向敏捷性的优化。     

动静结合的攻击代码检测方法

缓冲区溢出攻击是近年来最主要的安全问题之一,攻击者利用缓冲区溢出漏洞执行远程代码,从而达到攻击的目的。Shelleode作为攻击的载体,是缓冲区攻击检测的主要对象。随着检测技术的发展,攻击者更倾向于使用多态技术对Shellcode进行加密来绕过IDS的检测。针对MS Windows操作系统下的Shellcode,提出了一种将静态检测和动态执行相结合的新的攻击代码检测方法。在判断依据上做了新的定义,既使用动态模拟技术提高了对使用多态技术的Shellcode的检侧率,也兼顾了检测的效率。基于该方法,设计和实现了一套原型系统,并进行了检测率、误报率和吞吐率等方面的测试。测试结果表明,该系统在检测Shellcode的准确率和性能方面都达到了令人满意的效果。     

模型驱动的业务流程建模工具

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模工具。     

面向方面软件动态耦合的度量

耦合性是两个模块间相互作用的测度。面向方面编程是一种新的编程范型,它支持关注点的分离。目前,对于面向方面软件耦合度量的常用方法是对软件进行结构分析和静态代码分析。然而,由于系统中的动态绑定以及代码中大量无用的方面代码导致静态度量结果无法精确地反映程序运行时的实际耦合。首先提出适用于面向方面软件的动态耦合度量框架。接着,在该框架的基础上,根据不同的耦合关系类型,形式化定义了动态耦合度量指标集,并验证数学属性。最后,讨论了动态耦合度量工具的实现。     

解读软件工程知识体系SWEBOK V3

<正>2014年2月20日,IEEE计算机协会发布了软件工程知识体系SWEBOK(Software Engineering Body of Knowledge)指南第3版。第3版标志着SWEBOK项目到达了一个新的里程碑。作为本指南的联合主编之一,笔者将介绍SWEBOK V3的目标、项目组成员、制订过程以及内容上的重大变化。1 SWEBOK V3的目标软件工程是一门独立的学科,有自己的职业体系和教育课程体系。软件工程职业化是软件工程成熟的标志。1993年,IEEE计算机协会和ACM职合发起为软件工程职业化制定相应的准则和规范,作为产业决策、职业认证和课程教     

软件企业的知识管理

本文从知识经济时代知识管理的高度和观点,重新系统地思考和审视了软件企业的若干重要管理问题,提出了软件企业实施知识管理的七个基本内容和方面,可作为软件企业管理上台阶的一个参考框架,它也补充了CMM模型中尚未涉及的技术管理方面。