发布求助
文献互助 智能选刊 最新文献

12th Asia-Pacific Software Engineering Conference (APSEC'05)最新文献

筛选
英文 中文
Systematic use case interviews for specification of automotive systems 汽车系统规范的系统化用例访谈
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.102
Shariful Islam, H. Omasreiter
{"title":"Systematic use case interviews for specification of automotive systems","authors":"Shariful Islam, H. Omasreiter","doi":"10.1109/APSEC.2005.102","DOIUrl":"https://doi.org/10.1109/APSEC.2005.102","url":null,"abstract":"Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex systems calls for advanced techniques in requirements engineering. This paper is concerned with developing and validating a new concept in order to elicit and specify user requirements of automotive software functions. Text-based use cases are considered to represent the requirements. The goal of the developed approach is to make the use case creation process more systematic and thereby more efficient (increased quality, reduced time and cost). The concept is based on a systematic expert interview process. After the interview process is completed, use cases are generated automatically. After describing the approach theoretically we show and compare results of an experiment where we applied different parts of the concept in practice.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125083684","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}
引用次数: 8
Providing quality measurement for aspect-oriented software development 为面向方面的软件开发提供质量度量
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.92
M. Kassab, O. Ormandjieva, Constantinos A. Constantinides
{"title":"Providing quality measurement for aspect-oriented software development","authors":"M. Kassab, O. Ormandjieva, Constantinos A. Constantinides","doi":"10.1109/APSEC.2005.92","DOIUrl":"https://doi.org/10.1109/APSEC.2005.92","url":null,"abstract":"Adopting aspect-oriented technologies for software development requires revisiting the entire traditional software lifecycle in order to identify and represent occurrences of crosscutting during software requirements engineering and design, and to determine how concerns are composed. In this work, we propose sets of quality measurements to be associated with the activities of aspect-oriented software development (AOSD). The intended goal of the measurements is to assist stakeholders with quantitative evidences to better map or iterate system modules at different activities in the development process and to better set the design decisions for the analyzed requirements.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125398170","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}
引用次数: 5
An industrial case study on requirements volatility measures 一个关于需求波动度量的工业案例研究
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.38
A. Loconsole, J. Börstler
{"title":"An industrial case study on requirements volatility measures","authors":"A. Loconsole, J. Börstler","doi":"10.1109/APSEC.2005.38","DOIUrl":"https://doi.org/10.1109/APSEC.2005.38","url":null,"abstract":"Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industrial case study that investigated measures of volatility for a medium size software project. The goal of the study was twofold: 1) to empirically validate a set of measures associated with the volatility of use case models (UCM); 2) to investigate the correlation between subjective and objective volatility. Measurement data was collected in retrospect for all use case models of the software project. In addition, we determined subjective volatility by interviewing stakeholders of the project. Our data analysis showed a high correlation between our measures of size of UCM and total number of changes, indicating that the measures of size of UCMs are good indicators of requirements volatility. No correlations was found between subjective and objective volatility. These results suggest that project managers at this company should measure their projects because of the risk to take wrong decisions based on their own and the developer's perceptions.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116542266","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}
引用次数: 43
Using dynamic aspects for delegating fine-grained access rights 使用动态方面来委派细粒度的访问权限
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.111
Kung Chen
{"title":"Using dynamic aspects for delegating fine-grained access rights","authors":"Kung Chen","doi":"10.1109/APSEC.2005.111","DOIUrl":"https://doi.org/10.1109/APSEC.2005.111","url":null,"abstract":"This paper shows that a proper combination of instance-level aspects and dynamic deployment can be used to enhance an aspect-based access control system with dynamic and fine-grained delegation effectively in a highly modular manner. We developed a prototype implementation using the per instance interception mechanism of AspectWerkz. While workable, this mechanism still leaves much to be desired. We describe our implementation scheme and discuss the issues we encountered.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128274564","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}
引用次数: 4
A loose interaction pattern for asynchronous components 异步组件的松散交互模式
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.10
W. Dosch
{"title":"A loose interaction pattern for asynchronous components","authors":"W. Dosch","doi":"10.1109/APSEC.2005.10","DOIUrl":"https://doi.org/10.1109/APSEC.2005.10","url":null,"abstract":"The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt, a previous input history. The history abstraction extracts the components' control state and data state from the input history.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128363502","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
Integrating safety and security requirements into design of an embedded system 将安全和保安需求整合到嵌入式系统的设计中
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.75
Saad Zafar, R. Dromey
{"title":"Integrating safety and security requirements into design of an embedded system","authors":"Saad Zafar, R. Dromey","doi":"10.1109/APSEC.2005.75","DOIUrl":"https://doi.org/10.1109/APSEC.2005.75","url":null,"abstract":"Most modern embedded systems are now required to satisfy seemingly divergent critical properties like safety and security. It is therefore becoming increasingly important that any systems development methodology employed should support modeling of system requirements in a manner that it facilitates validation and verification of such critical properties. In the paper we present the result of applying the genetic software engineering (GSE) method to design an ambulatory infusion pump (AIP) which must satisfy a number of safety and security properties. The safety and security requirements are integrated with the rest of the systems requirements in the form of integrated behavior tree (IBT), which is systematically refined into a design behavior tree (DBT). The integrated behavioral view of the requirements provides a platform for requirements conflict resolution, defect detection and requirements validation. The formal semantics of the behavior tree (BT) notation, used to specify the requirements, makes formal verification of critical properties in the final design possible.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124328630","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}
引用次数: 39
Metrics for analyzing module interactions in large software systems 用于分析大型软件系统中模块交互的度量
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.77
S. Sarkar, A. Kak, N. S. Nagaraja
{"title":"Metrics for analyzing module interactions in large software systems","authors":"S. Sarkar, A. Kak, N. S. Nagaraja","doi":"10.1109/APSEC.2005.77","DOIUrl":"https://doi.org/10.1109/APSEC.2005.77","url":null,"abstract":"We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics would be important to any automatic or semi-automatic code modularization algorithm. The metrics are based on the rationale that code partitioning should be based on the principle of similarity of service provided by the different functions encapsulated in a module. Although module interaction metrics are necessary for code modularization, in practice they must be accompanied by metrics that measure other important attributes of how the code is partitioned into modules. These other metrics, dealing with code properties such as the approximate uniformity of module sizes, conformance to any size constraints on the modules, etc., are also included in the work presented here. To give the reader some insight into the workings of our metrics, this paper also includes some results obtained by applying the metrics to the body of code that constitutes the open-source Apache HTTP server. We apply our metrics to this code as packaged by the developers of the software and to the other partially and fully randomized versions of the code.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127723266","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}
引用次数: 19
A bipartite graph approach to generate optimal test sequences for protocol conformance testing using the Wp-method 使用wp方法生成协议一致性测试最优测试序列的二部图方法
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.5
Jun Wang, Jitian Xiao, C. Lam, Huaizhong Li
{"title":"A bipartite graph approach to generate optimal test sequences for protocol conformance testing using the Wp-method","authors":"Jun Wang, Jitian Xiao, C. Lam, Huaizhong Li","doi":"10.1109/APSEC.2005.5","DOIUrl":"https://doi.org/10.1109/APSEC.2005.5","url":null,"abstract":"Conformance testing using test sequences is used to ensure that a protocol implementation conforms to its specification. A commonly used technique to generate test sequences for specifications described by the finite state machines is the Wp-method with the reset technique, which frequently results in long test sequences. In this paper, we propose a bipartite graph approach to generate optimal test sequences for protocol conformance testing. Our approach significantly reduces the length of the test sequences required for conformance testing while maintaining the same fault detection capability.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126429523","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}
引用次数: 7
Aspect-oriented modularization of assertion crosscutting objects 断言横切对象的面向方面模块化
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.43
T. Ishio, S. Kusumoto, Katsuro Inoue, Toshihiro Kamiya
{"title":"Aspect-oriented modularization of assertion crosscutting objects","authors":"T. Ishio, S. Kusumoto, Katsuro Inoue, Toshihiro Kamiya","doi":"10.1109/APSEC.2005.43","DOIUrl":"https://doi.org/10.1109/APSEC.2005.43","url":null,"abstract":"Assertion checking is a powerful tool to detect software faults during debugging, testing and maintenance. Although assertion documents the behavior of one component, it is hard to document relations and interactions among several objects since such assertion statements are spread across the modules. Therefore, we propose to modularize such assertion as an aspect in order to improve software maintainability. In this paper, taking Observer pattern as an example, we point out that some assertions tend to be crosscutting, and propose a modularization of such assertion with aspect-oriented language. We show a limitation of traditional assertion and effectiveness of assertion aspect through the case study, and discuss various situations to which assertion aspects are applicable.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125731401","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}
引用次数: 5
Understanding the nature of collaboration in open-source software development 理解开源软件开发中协作的本质
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.108
K. Nakakoji, Kazuaki Yamada, E. Giaccardi
{"title":"Understanding the nature of collaboration in open-source software development","authors":"K. Nakakoji, Kazuaki Yamada, E. Giaccardi","doi":"10.1109/APSEC.2005.108","DOIUrl":"https://doi.org/10.1109/APSEC.2005.108","url":null,"abstract":"Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are inter-connected via a computational infrastructure demonstrating a socio-technical system. This paper presents a framework we have developed to describe a participative system, and discusses our hypothesis that the framework is capable of characterizing the evolution of an OSS community through changing the participants' perceived value and types of engagement. We report a preliminary result of our case study on the GIMP development mailing list as an initial step to test this hypothesis.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131805104","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}
引用次数: 22
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信