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

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

筛选
英文 中文
CoxR: open source development history search system 开源发展史搜索系统
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.56
M. Matsushita, Kei Sasaki, Katsuro Inoue
{"title":"CoxR: open source development history search system","authors":"M. Matsushita, Kei Sasaki, Katsuro Inoue","doi":"10.1109/APSEC.2005.56","DOIUrl":"https://doi.org/10.1109/APSEC.2005.56","url":null,"abstract":"In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking systems for process management. All of these systems store development histories of the products that show significant information of problems during the development. However, it would be a hard job to retrieve useful information related to a current problem faced by developers. In this paper, we describe a software development supporting system CoxR that is capable of crawling the development histories. CoxR creates software development information Web which consists of developers, emails, and program deltas, and provides an interface to search, navigate, browse, and retrieve past development results. Through a case study, we confirmed that CoxR helps developers to solve their problems by making it easier to search development history.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"88 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":"126204006","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}
引用次数: 6
Bio-ontology construction using object-oriented paradigm 使用面向对象范式构建生物本体
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.47
Kyung-Ah Yang, Jaedong Yang, Ki-Heon Kim
{"title":"Bio-ontology construction using object-oriented paradigm","authors":"Kyung-Ah Yang, Jaedong Yang, Ki-Heon Kim","doi":"10.1109/APSEC.2005.47","DOIUrl":"https://doi.org/10.1109/APSEC.2005.47","url":null,"abstract":"In this paper we propose a bio-ontology construction method using object-oriented paradigm. This method is simple yet shows powerful semantic expressiveness. The sophisticated bio-ontology is built by an intuitive manner reasoning subtle semantics inherently existing between complicated and informative terms. The result of the reasoning is used not only to recommend candidate terms to be linked by relationships but also to answer user queries against the bio-ontology. Its recommendation facility based on inheritance makes it possible to incrementally refine relationships between terms. The method is supported by object-oriented ontology manager (OOM) which treats terms as objects, and thus sub objects inherit properties from super objects. The constructed bio-ontology can be translated into a standard ontology language, RDF/RDFS by a translator in OOM to be easily extended, modified, and reused blending with other external ontologies.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"49 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":"121356266","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
Role and owner based business domain analysis 基于角色和所有者的业务域分析
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.96
Takako Nakatani, Terunobu Fujino
{"title":"Role and owner based business domain analysis","authors":"Takako Nakatani, Terunobu Fujino","doi":"10.1109/APSEC.2005.96","DOIUrl":"https://doi.org/10.1109/APSEC.2005.96","url":null,"abstract":"One of the purposes of analyzing the business domain is to reveal the background of customer requirements. The resulting artifact provides us the reason why the requirements arise and possibilities of other useful solutions to solve the customers' problems. We have developed RODAN as a business domain analysis method. RODAN improves the understandability of the background of the requirements by focusing on roles in the business domain and owners of the business goals. This paper is an attempt towards clarifying the notion of understanding the business domain and evaluating the method effectiveness of extracting undefined requirements and rationales of defined requirements.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"77 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":"122487322","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
AECM: an aspect enabled component model AECM:一个支持方面的组件模型
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.27
S. Jalili, S. Malakuti, Khah Olun Abadi
{"title":"AECM: an aspect enabled component model","authors":"S. Jalili, S. Malakuti, Khah Olun Abadi","doi":"10.1109/APSEC.2005.27","DOIUrl":"https://doi.org/10.1109/APSEC.2005.27","url":null,"abstract":"In this paper, we propose a new component model called AECM that combines CBSD and AOSD and proposes a component definition language and an assembly definition language to improve reusability of components and aspects. In this component model, aspects are kinds of component and all component concepts are applicable to them. AECM categorizes aspects of a component to two categories: built-in or extension aspects, inter-components aspects or intra-component aspects, and supports them in different ways. AECM supports definition of weave time and runtime aspect application rules and supports application and component reconfiguration at deployment time and during runtime.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"55 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132782476","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
Consistency and interoperability checking for component interaction rules 检查组件交互规则的一致性和互操作性
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.55
Yan Jin, Jun Han
{"title":"Consistency and interoperability checking for component interaction rules","authors":"Yan Jin, Jun Han","doi":"10.1109/APSEC.2005.55","DOIUrl":"https://doi.org/10.1109/APSEC.2005.55","url":null,"abstract":"In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viable system. A body of recent work has explored the use of formal languages in specifying component interaction protocols for interoperability checking, but lacks the practicality required by software practitioners for daily use. Faced with this, we have developed a lightweight specification approach to component interaction rules, which has the necessary expressiveness and employs event patterns in rule specification for easy adoption by practitioners. In this paper, we present a FSA-based semantic model for such rules and novel studies of rule consistency and system-wide protocol interoperability for components annotated with interaction rules. We also develop incremental approaches and tools to check these properties, which provide an effective means to discover errors in the design of component interaction rules and component-based system architectures.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"6 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":"134167845","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}
引用次数: 15
A user evaluation of synchronous collaborative software engineering tools 同步协同软件工程工具的用户评价
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.22
C. Cook, Warwick Irwin, N. Churcher
{"title":"A user evaluation of synchronous collaborative software engineering tools","authors":"C. Cook, Warwick Irwin, N. Churcher","doi":"10.1109/APSEC.2005.22","DOIUrl":"https://doi.org/10.1109/APSEC.2005.22","url":null,"abstract":"Collaborative software engineering (CSE) is a rapidly growing field. Tools such as IDEs are now beginning to incorporate new collaborative features. We have developed several real-time CSE tools which support fine-grained collaboration. In this paper we present an empirical evaluation to investigate the potential benefits of our tools for collaborative source code development. Our results show that for the two typical types of collaborative programming scenarios studied, users of CSE tools achieve task completion rates at least twice as fast as those obtained from their single-user counterparts. Additionally, participants indicated strong support for the concept of CSE tools. These results encourage us to continue developing our CSE tools, and to investigate their use in other software engineering contexts.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"37 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":"123515776","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}
引用次数: 20
Please STeP/spl I.bar/IN: a socio-technical platform for in situ networking 请STeP/spl .bar/IN:现场联网的社会技术平台
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.88
Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yamamoto, Y. Ye
{"title":"Please STeP/spl I.bar/IN: a socio-technical platform for in situ networking","authors":"Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yamamoto, Y. Ye","doi":"10.1109/APSEC.2005.88","DOIUrl":"https://doi.org/10.1109/APSEC.2005.88","url":null,"abstract":"This paper describes a system called STeP/spl I.bar/IN (standing for socio-technical platform for in situ networking) that assists software developer to find and learn Java API libraries. It provides individualized search interface for Java developers, examples that illustrate the usage, and more distinctively a facilitating mechanism that connects Java developers to exchange expertise based on their expertise and social relations. STeP/spl I.bar/IN is designed and developed based on the dynamic community theory, a new collaboration form that we have proposed.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"207 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":"122680877","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
Tool support for invariant based programming 工具支持基于不变量的编程
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.104
R. Back, Magnus O. Myreen
{"title":"Tool support for invariant based programming","authors":"R. Back, Magnus O. Myreen","doi":"10.1109/APSEC.2005.104","DOIUrl":"https://doi.org/10.1109/APSEC.2005.104","url":null,"abstract":"Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code itself. This approach allows us to construct a program and its correctness proof hand in hand. We describe here an extension to an existing mathematics editor that supports this style of program construction. The main help that the tool provides is automatic simplification of verification conditions that are generated in the programming process. The tool shows the user a check list of those conditions that it was not able to prove automatically. The user can use this check list to complete the proof (either manually or using an interactive theorem prover) or to find errors in the program.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"34 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":"123948401","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
Integrating generalized Weibull-type testing-effort function and multiple change-points into software reliability growth models 将广义威布尔型测试工作函数和多变化点集成到软件可靠性增长模型中
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.74
Chu-Ti Lin, Chin-Yu Huang, Jun-Ru Chang
{"title":"Integrating generalized Weibull-type testing-effort function and multiple change-points into software reliability growth models","authors":"Chu-Ti Lin, Chin-Yu Huang, Jun-Ru Chang","doi":"10.1109/APSEC.2005.74","DOIUrl":"https://doi.org/10.1109/APSEC.2005.74","url":null,"abstract":"In modern societies, software is everywhere and we need software to be reliable. In practice, during software development processes, software reliability assessment can greatly help managers to understand effectiveness of consumed testing-effort and deploy testing-resource. In the 1970s-2000, many software reliability growth models (SRGMs) have been proposed for estimation of reliability growth of software products. In this paper, the concept of multiple change-points is incorporated into Weibull-type testing-effort dependent SRGM because the consumption phenomenon of testing resource may vary at some moments. The performance and application of proposed models are demonstrated through one real data set. The experimental results show that the models give an excellence performance on failure prediction. Besides, we also discuss the optimal release time problems based on reliability requirement and cost criteria.","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":"131378905","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}
引用次数: 13
A tool for constructing syntax-directed editors 用于构造指向语法的编辑器的工具
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.20
Yung-Shen Chang, Nai-Wei Lin
{"title":"A tool for constructing syntax-directed editors","authors":"Yung-Shen Chang, Nai-Wei Lin","doi":"10.1109/APSEC.2005.20","DOIUrl":"https://doi.org/10.1109/APSEC.2005.20","url":null,"abstract":"Syntax-directed editors can perform syntax analysis during program editing. This capability allows programmers to correct syntax errors in a much more efficient way. Because of this, syntax-directed editors have become an integral component in current integrated development environments. This paper describes a tool that is designed to facilitate the construction of syntax-directed editors. This tool consists of two components: a generator for incremental parsers and a simple application program interface that facilitates the integration of incremental parsers and editors. The application program interface is based on a simple editing model that can be applied in most editors.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"63 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":"128876024","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
首页 上一页 下一页 尾页
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学术官方微信