Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

We apply the scenario-based approach to modeling, via the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunication service, . It allows a user to call for help from a doctor, the fire brigade, a car maintenance service, etc. These kinds of services are built on top of an embedded platform, using both new and existing service components, and their complexity stems from their distributed architecture, the various time constraints they entail, and their rapidly evolving underlying systems. A well known problem in this class of telecommunication applications is that of feature interaction, whereby a new feature might cause problems in the execution of existing features. Our approach provides a methodology for high-level modeling of telecommunication applications that can help in detecting feature interaction at early development stages. We exhibit the results of applying the methodology to the specification, animation and formal verification of the Depannage service.

Utilizing Wiki-Systems in higher education classes: a chance for universal access?

Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis is free and easy access for end users: everybody can contribute, comment and edit—following the principles of Universal access. Consequently, wikis are ideally suited for collaborative learning and a number of studies reported a great success of wikis in terms of active participation, collaboration, and a rapidly growing content. However, the wikis success in education was often linked either to direct incentives or even pressure. This paper strongly argues that this contradicts the original intentions of wikis and, furthermore, weakens the psycho-pedagogical impact. A study is presented which focuses on investigating the success of wikis in higher education, when students are neither enforced to contribute nor directly rewarded similar to the principles of Wikipedia. Amazingly, the results show that, in total, none of the N = 287 students created new articles or edited existing ones during a whole semester. It is concluded that the use of Wiki-Systems in educational settings is much more complicated, and it needs more time to develop a kind of “give-and-take” generation.     

The Other Mathematical Bridge

This paper contextualises, describes and discusses a student project which takes a particular exploratory approach to using mathematical surface definition as a language and vehicle for co-rational design co-authorship for architecture and engineering. The project has two authors, one from an architectural and one from an engineering educational background. It investigates the metaphorical and operational role of mathematics in the design process and outcomes.     

民族院校软件工程专业建设的探索与实践

本文分析了软件工程专业建设中普遍存在的问题和民族院校面临的困难,提出了软件工程专业建设的思路,并给出了大连民族学院的具体做法。     

软件工程本科教学研究

本文根据国外软件工程本科教学的现状,指出我国软件工程本科教育改革的必要性,同时提出了软件工程教育改革的措施。     

A Framework for Integrating Non-Functional Requirements into Conceptual Models

The development of complex information systems calls for conceptual models that describe aspects beyond entities and activities. In particular, recent research has pointed out that conceptual models need to model goals, in order to capture the intentions which underlie complex situations within an organisational context. This paper focuses on one class of goals, namely non-functional requirements (NFR), which need to be captured and analysed from the very early phases of the software development process. The paper presents a framework for integrating NFRs into the ER and OO models. This framework has been validated by two case studies, one of which is very large. The results of the case studies suggest that goal modelling during early phases can lead to a more productive and complete modelling activity.       

A semiotic engineering approach to user interface design

Designing software involves good perception, good reasoning, and a talent to express oneself effectively through programming and interactive languages. Semiotic theories can help HCI designers increase their power to perceive, reason and communicate. By presenting some of the results we have reached with semiotic engineering over the last few years, we suggest that the main contributions of semiotic theory in supporting HCI design are: to provide designers with new perceptions on the process and product of HCI design; to bind together all the stages of software development and use, giving them a unique homogeneous treatment; and to pose innovative questions that extend the frontiers of HCI investigations.     

软件需求分析自动化支撑系统中的字典管理方法研究

软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件 需求分析自动化支撑系统NDRASS为背景,讨论字典管理系统的设计方法和实现技术。     

基于资源约束的并行活动优化调度方法

针对并行产品开发过程,提出了一种基资源约束的优化调度算法,首先给出了并行活动的三个定义,提出了一个使算法能够实现优化调度的综合函数,并研究了并行工程中的两个关键问题－－角色分配和反馈修改,仿真实例表明了算法的可行性。     

土木工程智能健康监测与诊断系统

土木工程智能健康监测与诊断系统由传感元件、信号采集、信号传输与处理、健康诊断与安全评估、结果输出等部分构成。引入智能传感器、信息融合、故障诊断、结构损伤探测理论等对结构健康监测与诊断系统进行探讨 ,最后指出必须解决的关键问题与存在的困难 ,指明其广阔的应用前景