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

11th Asia-Pacific Software Engineering Conference最新文献

筛选
英文 中文
Self adaptive software technology for robotics 机器人的自适应软件技术
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.92
Jaesun Kim, S. Park
{"title":"Self adaptive software technology for robotics","authors":"Jaesun Kim, S. Park","doi":"10.1109/APSEC.2004.92","DOIUrl":"https://doi.org/10.1109/APSEC.2004.92","url":null,"abstract":"Software systems are operating in an environment that is not well defined or predictable. Therefore, the software systems should be robustly performed to meet various user requirements in the complex and often hostile environment. The problem is significant in robot applications. The robot has to serve without human's interrupt without trouble caused by unexpected situations. Thus, this paper at first presents a self adaptive approach for software robustness and proposes the research framework for self adaptive robot.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134005903","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
Binary-level lightweight data integration to develop program understanding tools for embedded software in C 二进制级轻量级数据集成，开发用于嵌入式软件的程序理解工具
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.36
K. Gondow, Tomoya Suzuki, Hayato Kawashima
{"title":"Binary-level lightweight data integration to develop program understanding tools for embedded software in C","authors":"K. Gondow, Tomoya Suzuki, Hayato Kawashima","doi":"10.1109/APSEC.2004.36","DOIUrl":"https://doi.org/10.1109/APSEC.2004.36","url":null,"abstract":"In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-referencers or call graph extractors, are not mature still today. In this paper, we introduce a novel technique for developing program-understanding tools, based on binary-level lightweight data integration. To verify this idea, we first propose a new markup language for DWARF2 debugging information, and then, using the technique, we experimentally developed two cross-referencers (called dxref and rxref) and a call graph extractor (called bscg) for C. Our preliminary evaluation shows that the technique enabled us to efficiently develop practical and flexible tools.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124276672","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
Weaving multiple viewpoint specifications in goal oriented requirements analysis 在面向目标的需求分析中编织多个视点规范
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.109
H. Kaiya, M. Saeki
{"title":"Weaving multiple viewpoint specifications in goal oriented requirements analysis","authors":"H. Kaiya, M. Saeki","doi":"10.1109/APSEC.2004.109","DOIUrl":"https://doi.org/10.1109/APSEC.2004.109","url":null,"abstract":"Goal oriented requirements analysis is one of the useful method to bridge the gaps between stakeholders needs and a requirements specification. Goals are structured as a directed graph, and its upper parts show the needs and its lower parts show the requirements. Although goals come from several different viewpoints, such viewpoints are not separated explicitly in such a goal graph. As a result, following kinds of problems can be occurred. First, we cannot easily remove or modify one viewpoint which affects several different goals. Second, it is difficult to analyze several different viewpoints separately and/or incrementally. For example, we cannot analyze a family of products simultaneously. Third, such a graph is not intrinsically scalable. In this paper, we propose a method to weave several goal graphs each of which represents a viewpoint. Several candidates of a weaved graph are systematically generated based on the structural characteristics of graphs for each viewpoint. By using this method, we can overcome the problems above, and we can easily propose alternative requirements specification if a specification is rejected by stakeholders.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1991 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131131330","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}
引用次数: 17
Reasoning about semantic Web in Isabelle/HOL 关于Isabelle/HOL中语义网的推理
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.82
Yue Tang, J. Dong, Jing Sun, Brendan P. Mahony
{"title":"Reasoning about semantic Web in Isabelle/HOL","authors":"Yue Tang, J. Dong, Jing Sun, Brendan P. Mahony","doi":"10.1109/APSEC.2004.82","DOIUrl":"https://doi.org/10.1109/APSEC.2004.82","url":null,"abstract":"Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the Web but also meaningful semantics for the information presented. To make semantic Web services understandable for distributed agents, formal definitions of the ontologies and their consistencies are essential. However, the existing tools for reasoning about semantic Web ontologies are still primitive. We believe that mature software engineering tools, such as theorem provers, can contribute to the reasoning phase. In this paper, we present an approach of encoding the semantic Web ontology (DAML+OIL) into the generic theorem prover Isabelle/HOL for automatic reasoning. Furthermore, a translation tool was developed to transform semantic Web ontologies into their extended Isabelle theories. With additional intermediate lemmas, Isabelle can be used to perform both subsumption (class) level and instantiation (instance) level reasoning of the semantic Web ontologies.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121626943","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
Architecture modeling language based on UML2.0 基于UML2.0的体系结构建模语言
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.32
Sunghwan Roh, Kyungrae Kim, Taewoong Jeon
{"title":"Architecture modeling language based on UML2.0","authors":"Sunghwan Roh, Kyungrae Kim, Taewoong Jeon","doi":"10.1109/APSEC.2004.32","DOIUrl":"https://doi.org/10.1109/APSEC.2004.32","url":null,"abstract":"Existing ADLs (architecture description languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture, and ADLs do not address all stakes of development process that is becoming diversified everyday. On the other hand, UML is a de facto standard general modeling language for software developments as UML provides a consistent notation and various supporting tools during the whole software development cycle. A number of researches on architecture modeling based on UML have been progressed. In particular, many research results have been introduced that specialize UML by its extension mechanism in order to explicitly represent core architecture concepts that UML does not fully support. UML2.0 embraces much more concepts that are important to architecture modeling than UML1.x. In this paper, we examine architecture modeling elements that can be represented in UML2.0 and discuss how to extend and specialize UML2.0 in order to make it more suitable for representing architectures.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121364097","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
Implementation-based approach for designing practical sensor network systems 基于实现的传感器网络系统设计方法
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.59
M. Minami, S. Saruwatari, Takuya Kashima, T. Morito, H. Morikawa, T. Aoyama
{"title":"Implementation-based approach for designing practical sensor network systems","authors":"M. Minami, S. Saruwatari, Takuya Kashima, T. Morito, H. Morikawa, T. Aoyama","doi":"10.1109/APSEC.2004.59","DOIUrl":"https://doi.org/10.1109/APSEC.2004.59","url":null,"abstract":"Wireless sensor network technologies are expected to be a key technology to support various innovative applications in the future ubiquitous computing environment. So far, the mainstream of sensor network research has been focused on simulation-based development of battery-aware communication protocols. However, when we apply sensor network technologies to practical applications such as environmental monitoring or factory automation, we find a lot of practical problems that are not considered in simulation-based approach. We believe that finding and solving such practical problems are quite important for deploying sensor network technologies beyond laboratory use. From this point of view, we have been trying to find such problems through various implementations of sensor network system for several years. This paper describes our opinions of designing sensor network system and introduces our approaches for developing practical systems.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128768954","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
Reusable Formal Specification for Embedded Systems 嵌入式系统的可重用正式规范
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.87
Yuji Arichika, K. Araki
{"title":"Reusable Formal Specification for Embedded Systems","authors":"Yuji Arichika, K. Araki","doi":"10.1109/APSEC.2004.87","DOIUrl":"https://doi.org/10.1109/APSEC.2004.87","url":null,"abstract":"In embedded system development, software depends on hardware and we have to change software specification frequently because of hardware specification changes. Therefore in embedded software development, it is important to get reusable software. To get reusable software, it is important to divide common and variant features. To analyze features, FODA is effective. But because FODA uses natural languages, we can't validate the consistency of the models and can't solve interaction problems. To validate the consistency and solve interaction problems, we have to get strict model. Formal methods are effective methods to get strict model. Therefore, purpose of our research is to get reusable strict embedded systems specifications. We intend to use formal methods to solve feature interaction problem and get strict reusable embedded systems specifications.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128800466","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
Goal and scenario driven product line development 目标和场景驱动的产品线开发
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.56
Minseong Kim, S. Park
{"title":"Goal and scenario driven product line development","authors":"Minseong Kim, S. Park","doi":"10.1109/APSEC.2004.56","DOIUrl":"https://doi.org/10.1109/APSEC.2004.56","url":null,"abstract":"Product line development has proven a successful approach to achieve strategic and large-grained reuse and hence time-to-market and productivity. A key to successful software product lines is to identify and analyze the right functionality for reusable implementation, and thus perform detailed requirements analysis for product lines to exploit commonality and variability (C&V) within a family of related systems. In this paper, we describe the goal and scenario driven approach for developing software product lines, which elicits product line requirements and analyzes C&V in products of a product line, as well as supports developing a particular product in the product line. We also discuss our ultimate goal that is to develop a dynamic software product line, which can produce new products at runtime by dynamic reconfiguration of the product line based on goals and scenarios.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132865173","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
A transformation method of scenarios from different viewpoints 一种不同视点场景的转换方法
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.15
Hong Hui Zhang, A. Ohnishi
{"title":"A transformation method of scenarios from different viewpoints","authors":"Hong Hui Zhang, A. Ohnishi","doi":"10.1109/APSEC.2004.15","DOIUrl":"https://doi.org/10.1109/APSEC.2004.15","url":null,"abstract":"Scenarios that describe concrete situations of software operation play an important role in software development and especially in requirements engineering. Scenario details should vary in content when described from different viewpoints, but this presents a difficulty, because an informal scenario from one viewpoint can not easily be transformed into a scenario from another viewpoint with consistency and assurance. The authors have developed a language for describing scenarios in which simple action traces are embellished to include typed frames based on a simple case grammar of actions. This paper describes a transformation method to accomplish the transformation between scenarios from different viewpoints. An empirical investigation demonstrated the usefulness of the method by means of two experiments.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132086473","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
Handling nonfunctional and conflicting requirements with design patterns 用设计模式处理非功能性和冲突的需求
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.57
Nien-Lin Hsueh, Wen-Hsiang Shen
{"title":"Handling nonfunctional and conflicting requirements with design patterns","authors":"Nien-Lin Hsueh, Wen-Hsiang Shen","doi":"10.1109/APSEC.2004.57","DOIUrl":"https://doi.org/10.1109/APSEC.2004.57","url":null,"abstract":"In recent years, the influences of design patterns on software quality have attracted an increasing attention in the area of software engineering, as design patterns encapsulate valuable knowledge to resolve design problems, and more importantly to improve the design quality. One of the key challenges in object-oriented design is how to apply appropriate design patterns for addressing various design problems. In this paper, a design pattern is analyzed from quality and tradeoff perspectives for investigating its capability on handling nonfunctional and conflicting requirements. Based on the analysis, the application of design patterns is integrated with a goal-driven approach to guiding developers in constructing the object-oriented design model systematically. The major benefit of our approach is to provide a pattern-aided approach to handling the nonfunctional requirements and to assisting the resolution of conflicting requirements.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128432485","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信