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

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

筛选
英文 中文
Deriving Software Process Simulation Model from SPEM-based Software Process Model 从基于spem的软件过程模型推导软件过程仿真模型
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.40
Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae
{"title":"Deriving Software Process Simulation Model from SPEM-based Software Process Model","authors":"Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae","doi":"10.1109/APSEC.2007.40","DOIUrl":"https://doi.org/10.1109/APSEC.2007.40","url":null,"abstract":"It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, we consider the following issues: reducing the cost to develop a simulation model, reducing the simulation model complexity, and increasing the modularity of a simulation model. We propose an approach to deriving a discrete event system specification (DEVS)-Hybrid simulation model from a software process engineering meta-model (SPEM)-based software process model. We provide the mapping between the elements of SPEM and the DEVS-Hybrid formalism and the transformation rules for automatically deriving a simulation model from a descriptive process model. Our approach resolves the issues by the transformation rules and the hierarchical and modularized modeling properties of UML and DEVS.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"29 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":"133704804","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}
引用次数: 18
1st International workshop on software patterns and quality (SPAQu'07) 第一届软件模式与质量国际研讨会(spqu '07)
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.6
H. Washizaki, Nobukazu Yoshioka
{"title":"1st International workshop on software patterns and quality (SPAQu'07)","authors":"H. Washizaki, Nobukazu Yoshioka","doi":"10.1109/APSEC.2007.6","DOIUrl":"https://doi.org/10.1109/APSEC.2007.6","url":null,"abstract":"Although numbers of software pattern catalogues and languages have been published, little is known about quality of patterns, quality by patterns and quality aspects of pattern activities. This workshop seeks to gain an improved understanding on the theoretical, social, technological and practical issues related to quality aspects of patterns including security and safety.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"201 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":"133579054","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
SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost Estimation 第一届软件生产力分析和成本估算国际研讨会
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.84
J. Keung
{"title":"SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost Estimation","authors":"J. Keung","doi":"10.1109/APSEC.2007.84","DOIUrl":"https://doi.org/10.1109/APSEC.2007.84","url":null,"abstract":"Software project managers require reliable methods for estimating software project costs, and assessing software development productivity. For over 25 years, there has been considerable research effort directed towards software cost estimation and software productivity analysis, various algorithmic approaches developed and their performance reported in the research literature. But nevertheless, cost estimation and productivity analysis remains a complex problem in the software industry. The goal of the workshop on software productivity analysis and cost estimation, SPACE 2007, is to bring together practitioners and researchers for discussion and presentation on the emerging aspects pertaining to software cost estimation, productivity analysis, prediction models and techniques, and lessons learned. The workshop provides a forum to present new ideas and to explore future directions in these areas for software engineering and software project management.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"34 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":"115014944","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
Static Call Graph Generator for C++ using Debugging Information 使用调试信息的c++静态调用图生成器
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.87
Yui Terashima, K. Gondow
{"title":"Static Call Graph Generator for C++ using Debugging Information","authors":"Yui Terashima, K. Gondow","doi":"10.1109/APSEC.2007.87","DOIUrl":"https://doi.org/10.1109/APSEC.2007.87","url":null,"abstract":"In this paper, we present a novel method to detect virtual functions in C+ + programs using a light-weight binary-level analysis. We developed a tool, dcgg, that statically generates call graphs for C++ using DWARF2 debugging information based on this method. We use a combination of a binary analysis and debugging information to detect static function calls (including inline expanded functions) simply and precisely, and also virtual function calls (dynamic function calls in C++). Virtual function calls are detected by tracing types in registers and the stack. In a preliminary evaluation dcgg generated precise call graphs including inline expansions and virtual function calls. These techniques are important to C++ programmers as they help in creating efficient and maintainable code.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"1 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":"129349655","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
E-AoSAS++ and its Software Development Environment e - aosas++及其软件开发环境
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.45
Masami Noro, Atsushi Sawada, Yoshinari Hachisu, M. Banno
{"title":"E-AoSAS++ and its Software Development Environment","authors":"Masami Noro, Atsushi Sawada, Yoshinari Hachisu, M. Banno","doi":"10.1109/APSEC.2007.45","DOIUrl":"https://doi.org/10.1109/APSEC.2007.45","url":null,"abstract":"E-AoSAS+ + is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. We have identified such concerns as state transition, concurrency, fault-tolerance, real-time, and error-handling. We categorize those concerns into two classes and found the way we call universal modularization pattern to package them in an orderly fashion. From the experience we have had through the construction of E-AoSAS++, we realized that we needed model for style construction. We defined XCC model which is construction model of architecture style. Based on E-AoSAS++, architecture centered software development environment is designed.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"1 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":"116558419","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}
引用次数: 1
An Approach for Specifying Access Control Policy in J2EE Applications J2EE应用程序中指定访问控制策略的一种方法
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.18
H. Vo, Masato Suzuki
{"title":"An Approach for Specifying Access Control Policy in J2EE Applications","authors":"H. Vo, Masato Suzuki","doi":"10.1109/APSEC.2007.18","DOIUrl":"https://doi.org/10.1109/APSEC.2007.18","url":null,"abstract":"Most applications based on J2EE platform use role- based access control as an efficient mechanism to achieve security. The current approach for specifying access rule is based on methods of Enterprise JavaBeans (EJBs). In large-scale systems, where a large number of EJBs are used and the interactions between EJBs are complex, direct use of this method- based approach is error-prone and difficult to maintain. We propose an alternative approach for specifying access control policy based on the concept of business function.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"1 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":"128779463","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
Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel Correlation 利用Mantel相关性优化基于类比的软件成本估算项目特征权重
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.73
J. Keung, B. Kitchenham
{"title":"Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel Correlation","authors":"J. Keung, B. Kitchenham","doi":"10.1109/APSEC.2007.73","DOIUrl":"https://doi.org/10.1109/APSEC.2007.73","url":null,"abstract":"Software cost estimation using analogy is an important area in software engineering research. Previous research has demonstrated that analogy is a viable alternative to other conventional estimation methods in terms of predictive accuracy. One of the important research areas for analogy is how to determine suitable project feature weights. This can be achieved by using an extensive project feature weights search, where the quality measure is optimised. However, this approach suffers similar issues as the brute-force feature selection approach in analogy. We propose a novel method to deal with this issue based upon the use of the Mantel randomisation test. Specifically, we determine project feature weights based on the strength of correlation between the distance matrix of project features and the distance matrix of known effort values of the dataset. We demonstrate the procedure on a specific dataset, showing the use of the Mantel correlation to identify whether analogy is appropriate, and whether the project feature weights can be determined by statistical inference. Our results also show improved prediction accuracy when multiple project features are used with determined weights. Our method, thus, provides a sound statistical basis for analogy.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"11 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":"129773415","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}
引用次数: 26
Pseudo Software: a New Concept for Iterative Requirement Development and Validation 伪软件:迭代需求开发和验证的新概念
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.77
J. Jwo, Yu Chin Cheng
{"title":"Pseudo Software: a New Concept for Iterative Requirement Development and Validation","authors":"J. Jwo, Yu Chin Cheng","doi":"10.1109/APSEC.2007.77","DOIUrl":"https://doi.org/10.1109/APSEC.2007.77","url":null,"abstract":"Requirements development and validation are generally agreed to be a difficult task. Current software development methodologies rely on various forms of incremental and iterative strategies to complete the task. While regarded to be effective, the strategies become limited in software outsourcing, which often requires the outsourcer to complete and validate requirements before construction work by the supplier can begin. This article presents pseudo software, a conceptual framework for iterative requirements development and validation that facilitates wide stakeholder participation by realizing tangibility of the software under construction in the early stage through simulation. Requirements are recorded in highly readable forms, including GUI mockups for presentation and free-format text descriptions for computational logic. Tool support for pseudo software and its applications are discussed.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"65 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120851720","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
Disk Based Software Verification via Bounded Model Checking 基于有界模型检查的基于磁盘的软件验证
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.43
Fernando Brizzolari, I. Melatti, E. Tronci, G. D. Penna
{"title":"Disk Based Software Verification via Bounded Model Checking","authors":"Fernando Brizzolari, I. Melatti, E. Tronci, G. D. Penna","doi":"10.1109/APSEC.2007.43","DOIUrl":"https://doi.org/10.1109/APSEC.2007.43","url":null,"abstract":"One of the most successful approach to automatic software verification is SAT based bounded model checking (BMC). One of the main factors limiting the size of programs that can be automatically verified via BMC is the huge number of clauses that the backend SAT solver has to process. In fact, because of this, the SAT solver may easily run out of RAM. We present two disk based algorithms that can considerably decrease the number of clauses that a BMC backend SAT solver has to process in RAM. Our experimental results show that using our disk based algorithms we can automatically verify programs that are out of reach for RAM based BMC.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"44 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120901368","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
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems 安全关键软件系统中基于交互的事故建模与学习
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.71
Tariq Mahmood, E. Kazmierczak, T. Kelly, Dennis Plunkett
{"title":"Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems","authors":"Tariq Mahmood, E. Kazmierczak, T. Kelly, Dennis Plunkett","doi":"10.1109/APSEC.2007.71","DOIUrl":"https://doi.org/10.1109/APSEC.2007.71","url":null,"abstract":"Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as causal event analysis are insufficient in light of a growing trend of accidents involving complex interactions between components with and without the occurrence of failures. Furthermore, the reuse of accident knowledge in current practices relies heavily on human expert recall and interpretation. In this paper, we propose an ontological classification mechanism to acquire and reuse knowledge from past accidents that focuses on the interactions taking place in a system. A set of knowledge bases are constructed independently using a feature-based classification and a domain specific ontology to organize the term spaces of each feature. Similarity mechanisms are introduced to retrieve and integrate the acquired knowledge into the new system analyses. Our experiments show how our approach reuses accident knowledge to uncover potential safety concerns in future safety analysis that may otherwise have been incorrectly classified in traditional approaches.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"539 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":"132415925","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
首页 上一页 下一页 尾页
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学术官方微信