面向对象技术与实时系统的开发

面向对象技术,由于可以大大提高编制软件的可理解性、可适应性和可修改性，已逐 渐被广大软件设计人员和用户所接受，成为目前开发人工智能、知识工程、数据库等常规领 域软件最流行的程序设计手段之一。但是，对于实时领域，人们往往不使用面向对象方法， 而侧重于常规的程序设计方法。该文从分析目前面向对象技术未能广泛应用于实时领域的重 要原因入手，讨论了使用面向对象技术开发实时系统的可能性和必要性，并阐述了面向对象 实时系统的一般概念和基本原理。     

逆向工程在汽车产品设计中的应用

首先介绍了知识反求技术以及在汽车工业中的应用，然后介绍了在汽车设计过程中采用逆向工程必须的硬件和软件条件。阐述了逆向工程在汽车产品设计中实施的步骤和必须注意的问题。     

面向对象的软件逆向工程数据库系统设计

通过分析软件逆向工程数据的特点,提出了建立面向对象的软件逆向工程数据库系统,介绍了针对软件逆向工程数据而构造的数据类的形式,最后讨论了软件逆向工程数据库的结构和维护等技术。     

领域知识的表示及UML建模

领域模型是领域知识的一种图形化表示形式，是领域知识各组成部分的抽象。通过对5种领域模型的讨论，展示了不同角度和不同层次的领域知识，这些不同层次的领域知识对于认识领域内的各相关系统的特征和行为是十分有用的。此外，通过对领域知识的UML建模，提高了领域内系统的软件重用层次，以便在面向对象的软件开发过程中获得最佳的软件重用时机。     

面向对象技术与实时系统的开发

近几年来，面向对象技术，由于可以大大地提高编制软件的可理解性，可适应性和可修改性，已逐渐被广大软件设计人员和用户所接受，成为目前开发人工智能、知识工程、数据库等常规领域软件最流行的程序设计手段之一。但是，对于实时领域，人们往往不使用面向对象方法，而侧重于常规的程序设计方法。本文从分析目前面向对象技术未能广泛应用于实时领域的主要原因入手，讨论了使用面向对象技术开发实时系统的可能性和必要性，并阐述了面     

软件重用的实现

软件重用是指在构造新的软件系统的过程中利用已有的软件成分，本文从实现，设计和体系一个层次上讨论了几种软件重用方法。文中指出，抽象是软件重用技术的基础；面向对象的一些机制可以有效地支持软件成分的重；面向对象的程序设计技术是目前最成功的软件重用技术。建立丰富的软件可重用成分库和建造用于管理可重用成分的软件开发环境，就可以形成基于软件重用的新的软件开发范型。     

高职院校网络报名系统领域驱动建模

UML是统一建模语言的简称,可使用它对软件领域进行面向对象的分析和设计。领域模型是指软件领域中具有静态特征和动态行为的事物。该文首先讲述UML的相关内容,然后具体描述如何使用UML建模方法完成网络报名系统的分析与设计,最后阐述建立系统领域模型的过程。     

面向对象软件的形式规格说明技术

本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。     

基于多agent的程序理解方法研究

一、引言软件逆向工程的研究是软件工程领域的一个重要而实用的研究内容。逆向工程是在给定源代码的情况下理解软件结构的一个途径,其目的是标识软件系统中的构造块,抽取结构依赖关系,为系统创造另一种更高抽象形式的表示。软件逆向工程是基于以下的假设:构造软件系统的过程是从问题域到实现域的映射过程,这种映射是在正向工程中完成的,而且也是一个可逆的过程,可以在不同的抽象级别上被重构。程序理解是软件逆向工程的一个重要组成部分,程序理解技术的研究具有广阔的应用前景:如1)对软件复用的支持,用于标识可复用的软构件;2)对软件测试的支持,有助于选择测试用例;3)用于设计验证和错误检测等;4)对软件维护的支     

面向对象可复用软件设计思想分析

软件复用技术是有效利用已有的软件资源，提高软件开发效率，降低开发成本的技术．但是如何才能设计出一个可以复用的软件，这是我们大家都很关心的问题，Erich Gamma博士在这方面进行了有益的尝试，他的研究方法是总结前人在面向对象软件开发过程中所积累的经验，即模式，但是模式是如何总结出来的，在总结模式时，或者说在设计可复用的软件时应该如何思考问题，这比总结模式本身更重要．本文主要从软件复用的关键——隔离变化入手，深入探讨和分析了面向对象的软件系统构造过程中可能发生变化的点，并给出了屏蔽这些变化点的方法，并提出了一个设计面向对象可复用软件的新的可操作的思路、     

面向对象的组合软件工程研究

组合软件工程技术是当今软件工程技术发展的主流。本文综述了作者在基于对象的组合软件工程研究方面的最新进展，包括语义模型、描述语言、设计方法学和支持环境等方面。     

Agents in object‐oriented software engineering

Software engineers of multi‐agent systems (MASs) are faced with different concerns such as autonomy, adaptation, interaction, collaboration, learning, and mobility, which are essentially different from classical concerns addressed in object‐oriented software engineering. MAS developers, however, have relied mostly on object‐oriented design techniques and programming languages, such as Java. This often leads to a poor separation of MAS concerns and in turn to the production of MASs that are difficult to maintain and reuse. This paper discusses software engineering approaches for MASs, and presents a new method for integrating agents into object‐oriented software engineering from an early stage of design. The proposed approach encourages the separate handling of MAS concerns, and provides a disciplined scheme for their composition. Our proposal explores the benefits of aspect‐oriented software development for the incorporation of agents into object‐oriented systems. We also illustrate our aspect‐oriented approach through the Portalware multi‐agent system, a Web‐based environment for the development of e‐commerce portals. Copyright © 2004 John Wiley & Sons, Ltd.     

软件开发实践中工程技术的探究

经过多年的发展与创新,软件工程技术取得了一定的成就。本文通过对面向过程和面向对象的软件工程方法、现在工程技术的发展和应用现状进行分析,提出了两种软件工程方法的整合、软件复用、软件构件、软件生产线技术的发展趋向,并将它们应用于软件开发实践中,对软件产业的发展具有一定的指导意义     

软件工程方法在高校教学管理系统中的应用

针对CEMIS应用软件开发中存在的问题,比较了传统的软件工程方法学和面向对象的软件工程方法学的优劣。论述了如何将面向对象的软件工程方法的思想应用到CEMIS系统应用软件的开发中,用面向对象的软件工程的方法指导软件开发,并给出了相应的需求模型和模型分析。     

面向Agent软件工程:现状、挑战与展望

面向Agent软件工程是近年出现的一种新颖软件开发范型,它借助于Agent技术来支持软件系统的工程化开发,被视为是支持复杂软件系统开发的一种重要方法和手段,受到了学术界和工业界的高度关注和重视。尽管在过去十年多的时间里面向Agent软件工程的研究取得了诸多进展,但其技术潜力尚有待进一步发挥,走向大规模工业化应用仍面临诸多问题和挑战。在分析面向Agent软件工程产生背景和技术特点的基础上,从方法、过程和工具三个不同的角度,综述了面向Agent软件工程的研究现状,识别和分析了它当前所面临的一组关键挑战,展望和讨论了其未来的研究方向。     

面向对象的软件构造

面向对象技术的发展改变了传统软件系统的结构和设计方法学．本文作者提出一种称为ＳＣＯＰ的面向对象的软件系统结构模式，即软件是对象模块的复合，而软件设计则是对象模块经过程控制进行复合的构造生成．本文从语义模型、描述语言、设计方法学和支持环境等几方面对ＳＣＯＰ进行扼要的介绍．     

覆盖件产品CEG集成知识模型及表达

产品集成知识模型是对几何模型，特征模型及其相应建模技术进一步的综合和扩展，是实现产品生命周期内信息综合表达的关键，在分析覆盖件产品对象类层次的基础上，提出了几何特征，规则对象和约束方法的面向对象表达策略，建立了集成构形、工程和几何知识描述的覆盖件产品模型，利用基于STEP标准的EXPRESS语言和KBE开发语言，通过语言联编实现产品特征信息和工艺设计知识的高度集成来支持智能化工艺设计过程。     

Theories, tools and research methods in program comprehension: past, present and future

Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers understand software, as well as the tools that are used to assist in comprehension tasks. In this paper, I review some of the key cognitive theories of program comprehension that have emerged over the past thirty years. Using these theories as a canvas, I then explore how tools that are commonly used today have evolved to support program comprehension. Specifically, I discuss how the theories and tools are related and reflect on the research methods that were used to construct the theories and evaluate the tools. The reviewed theories and tools are distinguished according to human characteristics, program characteristics, and the context for the various comprehension tasks. Finally, I predict how these characteristics will change in the future and speculate on how a number of important research directions could lead to improvements in program comprehension tool development and research methods. Dr. Margaret-Anne Storey is an associate professor of computer science at the University of Victoria, a Visiting Scientist at the IBM Centre for Advanced Studies in Toronto and a Canada Research Chair in Human Computer Interaction for Software Engineering. Her research passion is to understand how technology can help people explore, understand and share complex information and knowledge. She applies and evaluates techniques from knowledge engineering and visual interface design to applications such as reverse engineering of legacy software, medical ontology development, digital image management and learning in web-based environments. She is also an educator and enjoys the challenges of teaching programming to novice programmers.     

Field experience with obfuscating million-user iOS apps in large enterprise mobile development

In recent years, mobile apps have become the infrastructure of many popular Internet services. It is now common that a mobile app serves millions of users across the globe. By examining the code of these apps, reverse engineers can learn various knowledge about the design and implementation of the apps. Real-world cases have shown that the disclosed critical information allows malicious parties to abuse or exploit the app-provided services for unrightful profits, leading to significant financial losses. One of the most viable mitigations against malicious reverse engineering is to obfuscate the apps. Despite that security by obscurity is typically considered to be an unsound protection methodology, software obfuscation can indeed increase the cost of reverse engineering, thus delivering practical merits for protecting mobile apps. In this paper, we share our experience of applying obfuscation to multiple commercial iOS apps, each of which has millions of users. We discuss the necessity of adopting obfuscation for protecting modern mobile business, the challenges of software obfuscation on the iOS platform, and our efforts in overcoming these obstacles. We especially focus on factors that are unique to mobile software development that may affect the design and deployment of obfuscation techniques. We report the outcome of our obfuscation with empirical experiments. We additionally elaborate on the follow-up case studies about how our obfuscation affected the app publication process and how we responded to the negative impacts. This experience report can benefit mobile developers, security service providers, and Apple as the administrator of the iOS ecosystem.     

嵌入式机载软件安全性分析标准、方法及工具研究综述

嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行综述.首先,对机载软件领域所采用的软件安全性相关的标准进行简介,并给出机载软件安全性分析框架;其次,从机载软件安全性分析框架出发,将机载软件安全性保障方法划分为3个方面,即,机载软件安全需求的提取与规约、面向标准的机载软件开发、机载软件安全需求验证.对这3个方面的现有研究工作以及工业应用进行了综述;然后,针对当前适航标准的要求对机载软件安全性保证过程中软件安全证据的收集方面的研究工作进行了总结;最后,提出机载软件安全性领域存在的挑战和未来的研究方向.