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

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

筛选
英文 中文
Realizability of Collaboration-based Service Specifications 基于协作的服务规范的可实现性
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.79
Humberto Nicolás Castejón Martínez, Rolv Bræk, G. Bochmann
{"title":"Realizability of Collaboration-based Service Specifications","authors":"Humberto Nicolás Castejón Martínez, Rolv Bræk, G. Bochmann","doi":"10.1109/APSEC.2007.79","DOIUrl":"https://doi.org/10.1109/APSEC.2007.79","url":null,"abstract":"This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: given a global specification, can we construct a set of communicating state machines whose joint behavior is precisely the specified one? We approach the problem by looking at how collaboration behaviors may be composed using UML activity diagrams. We classify realizability problems from the point of view of each composition operator, and discuss their nature and possible solutions. This brings a new look at already known problems: we show that given some conditions, some problems can already be detected at an abstract collaboration level, without needing to look into detailed interactions.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"87 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":"123026605","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}
引用次数: 32
Distributed Collaborative Modeling Support System for UML diagrams UML图的分布式协作建模支持系统
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.44
Dongmei Xu, Junko Kurogi, Yoshihide Ohgame, A. Hazeyama
{"title":"Distributed Collaborative Modeling Support System for UML diagrams","authors":"Dongmei Xu, Junko Kurogi, Yoshihide Ohgame, A. Hazeyama","doi":"10.1109/APSEC.2007.44","DOIUrl":"https://doi.org/10.1109/APSEC.2007.44","url":null,"abstract":"The dramatic growth of e-commerce and the reliance of organizations’ success on quality of their Web systems have required the need for building high quality Web-based applications with minimum time and effort. Therefore, Web application’s quality measurements and metrics are becoming increasingly important. Although many quality metric models for Webbased applications have been proposed, they introduced a set of (relatively) ambiguous guidelines and rules and were not validated theoretically and empirically. We propose a Time-Quality metric model for Web-based systems quality measurement that:","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"32 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":"126584659","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
Experiment-Driven Approach to Building Support for Distributed Agile Teams 为分布式敏捷团队构建支持的实验驱动方法
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.52
J. Dajda, G. Dobrowolski
{"title":"Experiment-Driven Approach to Building Support for Distributed Agile Teams","authors":"J. Dajda, G. Dobrowolski","doi":"10.1109/APSEC.2007.52","DOIUrl":"https://doi.org/10.1109/APSEC.2007.52","url":null,"abstract":"Supporting agile methodologies in distributed setting requires a suitable tool support, which, at the moment, does not meet the expectations. Presented paper proposes an iterative and experimental approach to developing discussed support aimed at continuous enhancement of the supporting system and tailoring it to the needs. As a verification of these assumptions a dedicated environment called Agile Studio is developed. The paper gives an overview over its two implemented elements: agile server and distributed pair programmers editor. This includes a presentation of architectural design and provided features with reference to iteratively elaborated requirements. In addition, the results of conducted evaluating experiment are reported.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"09 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":"127364383","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
A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics 面向对象内聚度量的大规模经验比较
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.7
R. Barker, E. Tempero
{"title":"A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics","authors":"R. Barker, E. Tempero","doi":"10.1109/APSEC.2007.7","DOIUrl":"https://doi.org/10.1109/APSEC.2007.7","url":null,"abstract":"Cohesion is an attribute of software design quality for which many metrics have been proposed. The different proposals have been made largely on theoretical grounds, with little evidence of actual use. This makes it difficult to provide advice to software developers as to how to interpret the measurements any given metric produces. This paper presents the first large-scale empirical study of object- oriented cohesion metrics. We apply 16 metrics from the literature, as well as a number of variations, to 92 open source and industry Java applications ranging in size from a few classes to several thousand, over 100,000 classes in all. Our results show that by and large applications have similar distributions of measurements according to any given metric, but that the distributions can be quite different across metrics. This provides useful information for the ongoing empirical validation efforts for cohesion metrics.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"10 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":"122244846","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}
引用次数: 11
Toward Efficient Aspect Mining for Linux 面向Linux的高效方面挖掘
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.95
Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen
{"title":"Toward Efficient Aspect Mining for Linux","authors":"Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen","doi":"10.1109/APSEC.2007.95","DOIUrl":"https://doi.org/10.1109/APSEC.2007.95","url":null,"abstract":"Code implementing a crosscutting concern spreads over many parts of the Linux code. Identifying these code automatically can benefit both the maintainability and evolvability of Linux. In this paper, we present a case study on how to identify aspects in the Linux code. First, we analyze four typical crosscutting concerns in Linux and show how to apply existing mining approaches to identify these concerns. We then propose three new mining approaches and compare their performance with the original methods. Experiments show that the proposed mining approaches can find these concerns more efficiently in Linux.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"35 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":"133375232","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
The Validation and Verification of WSCDL WSCDL的验证与验证
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.93
G. Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
{"title":"The Validation and Verification of WSCDL","authors":"G. Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He","doi":"10.1109/APSEC.2007.93","DOIUrl":"https://doi.org/10.1109/APSEC.2007.93","url":null,"abstract":"This paper presents an approach to validation and verification of the WSCDL specification. In order to validate whether the CDL document is well defined or not, we introduce OCL to precisely describe the constraints which was expressed by natural language, and design a simple validator to check the static properties of the CDL document. The validator is created based on a Java model and the Java model is generated according to the UML diagrams with OCL constraints which is used to describe CDL specification. To verify the dynamic properties of CDL document, we model the behavior of CDL document with Java, so that Java Pathfinder model checker can be applied to check the desired properties. The assert activity is introduced to the CDL specification for describing the logic properties, to facilitate the verification process. A case study is given and it shows that our approach is both effective and practical. Moreover, this approach can check almost every kinds of CDL document, even the documents including exception block or finalize block.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"38 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":"114766289","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}
引用次数: 10
A Method for Early Requirements Triage and Selection Utilizing Product Strategies 利用产品策略进行早期需求分类和选择的方法
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.8
Mahvish Khurum, K. Aslam, T. Gorschek
{"title":"A Method for Early Requirements Triage and Selection Utilizing Product Strategies","authors":"Mahvish Khurum, K. Aslam, T. Gorschek","doi":"10.1109/APSEC.2007.8","DOIUrl":"https://doi.org/10.1109/APSEC.2007.8","url":null,"abstract":"In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requirements aligned with the overall business goals and discard others as early as possible. This paper presents a method that utilizes strategies for early requirements triage. The method presented is based on good practices from management literature customized for technical product strategy formulation. The creation of the method was also inspired by industry needs through exploratory interviews covering requirements triage and selection processes as well as strategy formulation. After creation, the method was subsequently validated in industry where the aspects of usability and usefulness were investigated, yielding promising initial results.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"39 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":"126888052","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}
引用次数: 27
A Novel Approach of Prioritizing Use Case Scenarios 确定用例场景优先级的新方法
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.11
D. Kundu, D. Samanta
{"title":"A Novel Approach of Prioritizing Use Case Scenarios","authors":"D. Kundu, D. Samanta","doi":"10.1109/APSEC.2007.11","DOIUrl":"https://doi.org/10.1109/APSEC.2007.11","url":null,"abstract":"Modern softwares are very large and complex. As the size and complexity of software increases, software developers feel an urgent need for a better management of different activities during the course of software development. In this paper, we present an approach of use case scenario prioritization suitable for project planning at an early phase of the software development. We consider only use case model in our work. For prioritization, we focus on how critical a scenario path is, which essentially depends on density of overlapping of sub path of a scenario path with other scenario path(s) of a use case. Our proposed approach provides an analytical solution on use case scenario prioritization and is very much effective in project management related activities as substantiated by our experimental results.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"35 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":"126874997","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}
引用次数: 11
Analysis of the factors of influencing parent's confidence on the internet by associating rules mining 基于关联规则挖掘的互联网家长信心影响因素分析
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.23
Sheng-Fei Hsu, Hui-Ling Yu
{"title":"Analysis of the factors of influencing parent's confidence on the internet by associating rules mining","authors":"Sheng-Fei Hsu, Hui-Ling Yu","doi":"10.1109/APSEC.2007.23","DOIUrl":"https://doi.org/10.1109/APSEC.2007.23","url":null,"abstract":"The Internet is filled with opportunities for learning, communicating, and sharing information. It is a valuable resource for children and adults alike. Like any large community, however, the online world presents some underlying risks, especially for children. Parents need to be aware of some of the potential problems their children could encounter, and try to take adequate measures to protect their children from injury. In this paper, research will try to explore the relationship between parent’s information literary, the confidence in child’s ability of self-defense on the internet, and adequate measures to promote child using the internet more effectively. Association rules, a kind of data mining strategies, will be the main tool to manipulate the dataset. Apriori, a classic algorithm for learning association rules, is designed to operate on databases containing transactions.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"17 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":"121853159","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
Field Escape Analysis for Data Confidentiality in Java Components Java组件中数据机密性的字段转义分析
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.56
Aiwu Shi, G. Naumovich
{"title":"Field Escape Analysis for Data Confidentiality in Java Components","authors":"Aiwu Shi, G. Naumovich","doi":"10.1109/APSEC.2007.56","DOIUrl":"https://doi.org/10.1109/APSEC.2007.56","url":null,"abstract":"This paper presents an extension of escape analysis for static detection of threats to data confidentiality in Java components, called field escape analysis. We augment existing escape analyses, which are typically based on points-to analysis for reference (or pointer) type, with data and control dependence analyses with respect to primitive type. To meet the demand of security analysis, we propose a graph representation, called primitive value dependence graph (PVDG), and a novel semantics for dependence analysis. We have built a static analysis tool for Java components called SecDetector. In the experimental evaluation, using different combinations of underlying analysis techniques (e.g., points-to analysis, dependence analysis), we evaluated trades-offs between precision and performance on five publicly-available J2EE applications. On the benchmarks examined, there are few false positives in our study. It provides evidence of the usefulness of our approach.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"57 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":"122271103","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
首页 上一页 下一页 尾页
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学术官方微信