14th Asia-Pacific Software Engineering Conference (APSEC'07)最新文献_第8页

Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software 结合信息流图和分析矩阵对ESIM(嵌入式系统改进方法)进行改进，以有效分析嵌入式软件中的意外障碍

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.49

Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani

{"title":"Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software","authors":"Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani","doi":"10.1109/APSEC.2007.49","DOIUrl":"https://doi.org/10.1109/APSEC.2007.49","url":null,"abstract":"In order to improve the quality of embedded software, this paper proposes an enhancement to the ESIM (embedded systems improving method) by combining an IFD (information flow diagram) with an Analysis Matrix to analyze unexpected obstacles in the software. These obstacles are difficult to predict in the software specification. Recently, embedded systems have become larger and more complicated. Theoretically therefore, the development cycle of these systems should be longer. On the contrary, in practice the cycle has been shortened. This trend in industry has resulted in the oversight of unexpected obstacles, and consequently affected the quality of embedded software. In order to prevent the oversight of unexpected obstacles, we have already proposed two methods for requirements analysis: the ESIM using an Analysis Matrix and a method that uses an IFD. In order to improve the efficiency of unexpected obstacle analysis at reasonable cost, we now enhance the ESIM by combining an IFD with an Analysis Matrix. The enhancement is studied from the following three viewpoints. First, a conceptual model comprising both the Analysis Matrix and IFD is defined. Then, a requirements analysis procedure is proposed, that uses both the Analysis Matrix and IFD, and assigns each specific role to either an expert or non-expert engineer. Finally, to confirm the effectiveness of this enhancement, we carry out a description experiment using an IFD.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126905794","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Improving Effort Estimation Accuracy by Weighted Grey Relational Analysis During Software Development 利用加权灰色关联分析提高软件开发过程中工作量估算的准确性

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.63

Chao-Jung Hsu, Chin-Yu Huang

引用次数: 32

An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics 考虑结构特性的军用航电软件维护概率工作量估算方法

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.19

Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae

引用次数: 12

A Middleware-based Approach to Model Refactoring at Runtime 运行时基于中间件的模型重构方法

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.10

Ling Lan, Gang Huang, Weihu Wang, Hong Mei

引用次数: 9

A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes 基于通信进程的AIBO OPEN-R程序中并发对象的同步流分析

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.15

R. Suetsugu, Shoji Yuen, K. Agusa

{"title":"A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes","authors":"R. Suetsugu, Shoji Yuen, K. Agusa","doi":"10.1109/APSEC.2007.15","DOIUrl":"https://doi.org/10.1109/APSEC.2007.15","url":null,"abstract":"We propose a compositional analysis method for synchronization flow in AIBO OPEN-R programs based on communicating processes. Concurrent objects of AIBO programs with the OPEN-RAPI are synchronized by two types of signals: ready and notify. Focusing on these signals, we describe abstract behavior of AIBO programs in the pi-calculus preserving the source code structure. We model-check deadlock freeness and interactions order of AIBO programs based on this abstract behavior. Since a primary issue in model-checking is the state space explosion in the behavioral model, we present a decomposing method to reduce the combination of states of concurrent objects. Since our translation to the pi-calculus preserves the syntactical structure of source code, when a counter-example is pointed out, our method enables not only to detect the violation of property of the whole system, but also to point out which component may cause the violation. We developed a prototype translator from AIBO OPEN-R programs to abstract description in the pi-calculus. We show that an application of our decomposing method enables to practically model- check properties by existing tools in two examples of AIBO programs.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"262 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133805022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Accountability and Traceability in Global Software Engineering (ATGSE2007) 全球软件工程中的责任和可追溯性(ATGSE2007)

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.16

Katsuro Inoue, Mike Barker

引用次数: 3

The Problem Frames Approach to Software Engineering 软件工程的问题框架方法

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.91

M. Jackson

{"title":"The Problem Frames Approach to Software Engineering","authors":"M. Jackson","doi":"10.1109/APSEC.2007.91","DOIUrl":"https://doi.org/10.1109/APSEC.2007.91","url":null,"abstract":"Software-intensive systems are those in which the computer executing the software is only one of the parts of the system. Problem frames offer a conceptual structure for the development of such systems: that is, a coherent way of analysing the problem to be solved, identifying the concerns and difficulties that it poses, and working towards a solution. This tutorial present the basic ideas of problem frames, illustrating them in the context of a small software-intensive system. The basic ideas of the approach are: 1. to attend both to the hardware/software machine, which is to be developed, and to the other system parts, which constitute the problem world; 2. to distinguish the given properties of the problem world from the requirements, which are the properties that the machine must establish and maintain in the world; 3. to pay careful attention to the phenomena of the problem world; 4. to structure the development problem as a set of subproblems, and to consider each subproblem in isolation before considering the composition of the subproblems and their solutions; 5. so far as possible, to recognise each subproblem as a member of a recognised class for which a solution method is known and whose most important concerns have been identified. Problem frames are not a notation or a calculus or a formalism; nor are they a development method or a process. They can fit with, into, or around specific techniques (such as agile or RUP) and specific notations (such as UML, Petri nets, or DFDs). Problem frames do not promise a prescription for every problem; nor do they promise a complete prescription for any problem. They remind you of things you know already, but may not always pay enough attention to.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122886634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

Statechart-based Verification of Object-Oriented Design Models 基于状态图的面向对象设计模型验证

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.86

Toshiaki Aoki, T. Katayama

引用次数: 0

Aligning the Map Requirements Modelling with the B-method for Formal Software Development 形式化软件开发中的映射需求建模与b方法的结合

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.17

A. Babar, V. Tosic, John Michael Potter

引用次数: 3

Towards Instant Automatic Model Refinement Based on OCL 基于OCL的即时自动模型细化

14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.96

Hui Song, Yanchun Sun, Li Zhou, Gang Huang

引用次数: 8