2013 20th Asia-Pacific Software Engineering Conference (APSEC)最新文献_第2页

Safe Substitution of Components in Self-Adaptive Web Applications 自适应Web应用程序中组件的安全替换

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.59

S. Nakajima

引用次数: 2

Bidirectional Translation between OCL and JML for Round-Trip Engineering 面向双向工程的OCL与JML双向转换

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.111

Hiroaki Shimba, Kentaro Hanada, Kozo Okano, S. Kusumoto

引用次数: 8

Towards Requirements Change Decision Support 面向需求变更决策支持

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.30

Sanjay Ghosh, S. Ramaswamy, R. Jetley

{"title":"Towards Requirements Change Decision Support","authors":"Sanjay Ghosh, S. Ramaswamy, R. Jetley","doi":"10.1109/APSEC.2013.30","DOIUrl":"https://doi.org/10.1109/APSEC.2013.30","url":null,"abstract":"Our experiences with industrial software development projects have often revealed that requirements change even after their formal approvals. Although the requirements are never stable, proactive identification of potentially changeable or deferrable requirements, and estimation of their impacts early in a project can be useful in minimizing the risks and cost overruns. In practice, the decisions to change or defer certain requirements are based on experience, and are mostly driven by business needs and product release timelines. There are no techniques available which could foresee such changes early in the project. In this work, we perform exploratory analysis of the requirement artifacts from thirty three industrial software development projects and shared our observations on different requirement change attributes. Through empirical analysis, we evolve the relative weights of each of these attributes in terms of their impacts on the project schedule and effort. Based on the analysis, a model is developed to predict the impact due to requirement changes and it is validated. This model can be used to develop a requirement change decision support tool to assist decision makers.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"358 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131879635","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}

引用次数: 12

Packaged Software Implementation Requirements Engineering by Small Software Enterprises 小型软件企业的打包软件实现需求工程

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.18

Issam Jebreen, Robert Wellington, Stephen G. MacDonell

{"title":"Packaged Software Implementation Requirements Engineering by Small Software Enterprises","authors":"Issam Jebreen, Robert Wellington, Stephen G. MacDonell","doi":"10.1109/APSEC.2013.18","DOIUrl":"https://doi.org/10.1109/APSEC.2013.18","url":null,"abstract":"Small to medium sized business enterprises (SMEs) generally thrive because they have successfully done something unique within a niche market. For this reason, SMEs may seek to protect their competitive advantage by avoiding any standardization encouraged by the use of packaged software (PS). Packaged software implementation at SMEs therefore presents challenges relating to how best to respond to mismatches between the functionality offered by the packaged software and each SME's business needs. An important question relates to which processes small software enterprises - or Small to Medium-Sized Software Development Companies (SMSSDCs) - apply in order to identify and then deal with these mismatches. To explore the processes of packaged software (PS) implementation, an ethnographic study was conducted to gain in-depth insights into the roles played by analysts in two SMSSDCs. The purpose of the study was to understand PS implementation in terms of requirements engineering (or 'PSIRE'). Data collected during the ethnographic study were analyzed using an inductive approach. Based on our analysis of the cases we constructed a theoretical model explaining the requirements engineering process for PS implementation, and named it the PSIRE Parallel Star Model. The Parallel Star Model shows that during PSIRE, more than one RE process can be carried out at the same time. The Parallel Star Model has few constraints, because not only can processes be carried out in parallel, but they do not always have to be followed in a particular order. This paper therefore offers a novel investigation and explanation of RE practices for packaged software implementation, approaching the phenomenon from the viewpoint of the analysts, and offers the first extensive study of packaged software implementation RE (PSIRE) in SMSSDCs.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117269922","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}

引用次数: 9

Strategies for Aligning Variability Model and Architecture 调整可变性模型和体系结构的策略

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.73

Iris Groher, R. Weinreich

引用次数: 2

Lehman's Laws and the Productivity of Increments: Implications for Productivity 雷曼定律与增量的生产率:对生产率的启示

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.84

Ramin Moazeni, Daniel Link, B. Boehm

引用次数: 6

Mining Attribute Lifecycle to Predict Faults and Incompleteness in Database Applications 挖掘属性生命周期预测数据库应用中的故障和不完整性

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.39

K. Liu, Hee Beng Kuan Tan

引用次数: 0

Architecture Security Evaluation Method Based on Security of the Components 基于组件安全性的体系结构安全性评估方法

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.75

Changxiao Du, Xiaohong Li, H. Shi, Jing Hu, Ruitao Feng, Zhiyong Feng

引用次数: 2

On the Use of Software Quality Standard ISO/IEC9126 in Mobile Environments 软件质量标准ISO/IEC9126在移动环境中的应用

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.12

A. Idri, Karima Moumane, A. Abran

{"title":"On the Use of Software Quality Standard ISO/IEC9126 in Mobile Environments","authors":"A. Idri, Karima Moumane, A. Abran","doi":"10.1109/APSEC.2013.12","DOIUrl":"https://doi.org/10.1109/APSEC.2013.12","url":null,"abstract":"The capabilities and resources offered by mobile technologies are still far from those provided by fixed environments, and this poses serious challenges, in terms of evaluating the quality of applications operating in mobile environments. This article presents a study to help quality managers apply the ISO 9126 standard on software quality, particularly the External Quality model, to mobile environments. The influence of the limitations of mobile technologies are evaluated for each software quality characteristic, based on the coverage rates of its external metrics, which are themselves influenced by these limitations. The degrees of this influence are discussed and aggregated to provide useful recommendations to quality managers for their evaluation of quality characteristics in mobile environments. These recommendations are intended for mobile software in general and aren't targeted a specific ones. The External Quality model is especially valuable for assessing the Reliability, Usability, and Efficiency characteristics, and illustrates very well the conclusive nature of the recommendations of this study. However, more study is needed on the other quality characteristics, in order to determine the relevance of evaluating them in mobile environments.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124888910","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}

引用次数: 31

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration 通过无状态显式状态探索利用基于smt的有界模型检查

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.55

W. Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, K. Hisazumi, Akira Fukuda

{"title":"Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration","authors":"W. Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, K. Hisazumi, Akira Fukuda","doi":"10.1109/APSEC.2013.55","DOIUrl":"https://doi.org/10.1109/APSEC.2013.55","url":null,"abstract":"We propose a hybrid approach to improving the verification performance of SMT-based bounded model checking for LTL properties. In this approach, stateless explicit-state exploration is utilized to traverse, under the constraints of bounded context switches, the state space of a system design and memorize legal execution paths. These paths are classified according to certain predicates into path clusters, which are then encoded into propositional formulas representing, together with the encoded formula for an LTL property, independent BMC instances. Such BMC instances are solved with SMT solvers running on mutilcores in parallel. Once a counterexample is found for one of the instances, the entire model checking terminates. This hybrid checking procedure progresses in an incremental fashion until either a counterexample is found or the user-specified bound is reached. We have implemented this proposed hybrid approach in a tool called Garakabu2 with CVC4 as its backend solver. The experimental results show that Garakabu2 often outperforms the state-of-the-art pure BMC methods implemented in SAL infinite bounded model checker for both safety and liveness properties.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129734637","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}

引用次数: 2