Verification of evolving software via component substitutability analysis

This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniques for checking correctness of software upgrades: (1) a technique based on simultaneous use of over-and under-approximations obtained via existential and universal abstractions; (2) a dynamic assume-guarantee reasoning algorithm—previously generated component assumptions are reused and altered on-the-fly to prove or disprove the global safety properties on the updated system. When upgrades are found to be non-substitutable, our solution generates constructive feedback to developers showing how to improve the components. The substitutability approach has been implemented and validated in the ComFoRT reasoning framework, and we report encouraging results on an industrial benchmark. This is an extended version of a paper, Dynamic Component Substitutability Analysis, published in the Proceedings of the Formal Methods 2005 Conference, Lecture Notes in Computer Science, vol. 3582, by the same authors. This research was sponsored by the National Science Foundation under grant nos. CNS-0411152, CCF-0429120, CCR-0121547, and CCR-0098072, the Semiconductor Research Corporation under grant no. TJ-1366, the US Army Research Office under grant no. DAAD19-01-1-0485, the Office of Naval Research under grant no. N00014-01-1-0796, the ICAST project and the Predictable Assembly from Certifiable Components (PACC) initiative at the Software Engineering Institute, Carnegie Mellon University. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, the US government or any other entity.     

Advanced product planning: a comprehensive process for systemic definition of new product requirements

This paper reports results of research into the definition of requirements for new consumer products––specifically, electro-mechanical products. The research dealt with the derivation of design requirements that are demonstrably aligned with stakeholder needs. The paper describes a comprehensive process that can enable product development teams to deal with statements of product requirements, as originally collected through market research activities, in a systematic and traceable manner from the early, fuzzy front end, stages of the design process. The process described has been based on principles of systems engineering. A case study from its application and evaluation drawn from the power sector is described in this paper. The case study demonstrates how the process can significantly improve product quality planning practices through revision of captured product requirements, analysis of stakeholder requirements and derivation of design requirements. The paper discusses benefits and issues from the use of the process by product development teams, and identifies areas for further research. Finally, the conclusions drawn from the reported research are presented.

A case study validation of a knowledge-based approach for the selection of requirements engineering techniques

Requirements engineering (RE) is a critical phase in the software engineering process and plays a vital role in ensuring the overall quality of a software product. Recent research has shown that industry increasingly recognizes the importance of good RE practices and the use of appropriate RE techniques. However, due to the large number of RE techniques, requirements engineers find it challenging to select suitable techniques for a particular project. Unfortunately, technique selection based on personal experience has limitations with regards to the scope, effectiveness and suitability of the RE techniques for the project at hand. In this paper, a Knowledge-based Approach for the Selection of Requirements Engineering Techniques (KASRET) is proposed that helps during RE techniques selection. This approach has three major features. First, a library of requirements techniques was developed which includes detailed knowledge about RE techniques. Second, KASRET integrates advantages of different knowledge representation schemata and reasoning mechanisms. Thus, KASRET provides mechanisms for the management of knowledge about requirements techniques and support for RE process development. Third, as a major decision support mechanism, an objective function evaluates the overall ability and cost of RE techniques, which is helpful for the selection of RE techniques. This paper makes not only a contribution to RE but also to research and application of knowledge management and decision support in process development. A case study using an industrial project shows the support of KASRET for RE techniques selection.

基于ComGIS的社区综合物业管理系统的设计与实现

在现代物业管理中引入ComGIS技术,可使得GIS真正从一种专家工具转变为大众化的信息获取技术。对基于ComGIS的社区物业管理地理系统进行了体系结构的设计分析及功能模块设计,并且利用ArcGIS Engine开发了社区综合物业GIS系统,取得了良好的效果。实践证明,将ComGIS应用于现代物业管理中是可行的,并且将成为小区信息化和智能化发展的新方向。     

软件项目任务分解的思考

WBS工作(任务)分解结构是软件工程项目管理的重要基础,针对当前一些中小软件企业在件项目任务分解过程中,可能产生或存在的若干问题进行分析与讨论,并提出一些建议,以期望能为国家的软件行业的发展出一份绵薄之力。     

软件工程发展过程中的一些重要创新

软件工程的内容反映出非常强烈的创新意识,这个特点决定了软件工程课程是实施创新教育的最佳载体。对软件工程理论发展过程中出现过的一些重要创新实例进行了分析,分析的目的是让学生了解软件工程知识创新的过程,启发学生的创新思维,增强学生的创新意识。     

浅析任务驱动教学法在软件工程教学中的应用

为了解决目前在软件工程教学中存在的问题,提出了在软件工程教学中采用任务驱动教学法,并对任务驱动教学法包含的五个环节作了较深的探索,实践证明:任务驱动教学法能体现软件工程教学的特点,适合培养技能型、应用型的高素质人才。这种教学方法不仅可以提高学生分析和解决问题的能力,而且可以充分调动学生的主动性和积极性,同时培养学生自主学习的能力。     

医学院校中计算机基础教学面临的问题及建议

论述了在医学院校中计算机文化基础教学中存在的一些问题,就如何提高教学效果、培养学生的能力,对大学计算机基础教学模式提出了一些切实可行的探索。从教学对象、教学方式等几个方面给出一些建议,力争提高计算机基础课程的教学质量和教学效果。     

表面改性四针状纳米ZnO结构与气敏性能研究

将4种质量分数(5%,10%,20%,30%)的Co(CH3COO)24H2O混合到四针状纳米ZnO原料里,采用超声化学浸泡法制备出表面改性四针状纳米ZnO颗粒。通过XRD和TEM分析了表面改性四针状纳米ZnO结构的物相和形貌特征。随着Co(CH3COO)24H2O质量分数增大,Co3O4相明显出现,Co3O4相沉积在ZnO表面上。研究表明:以表面改性四针状纳米ZnO粉末为原料制备的厚膜气敏元件,与纯ZnO气敏元件相比,Co(CH3COO)24H2O质量分数为5%的气敏元件对酒精和甲醇有较高的灵敏度,并讨论了表面改性对气敏性能的影响。     

一种自组装型SnO_2纳米线氢传感器

为了能够对低体积分数的氢气进行灵敏探测,提高氢气生产、使用、运输、存储的安全性,通过热蒸发SnO2和活性炭的混合粉末的自组装方式直接在Cr-Au梳状交叉电极上制备了一层SnO2纳米线气敏层,构成了SnO2纳米线气体传感器。经测试,发现此传感器对于体积分数范围为10×10-6~500×10-6的氢气具有良好的探测灵敏度。