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

2006 13th Asia Pacific Software Engineering Conference (APSEC'06)最新文献

筛选
英文 中文
Goal Oriented Requirement Engineering: A Critical Study of Techniques 面向目标的需求工程:技术的批判性研究
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.38
Shahzad Anwer, N. Ikram
{"title":"Goal Oriented Requirement Engineering: A Critical Study of Techniques","authors":"Shahzad Anwer, N. Ikram","doi":"10.1109/APSEC.2006.38","DOIUrl":"https://doi.org/10.1109/APSEC.2006.38","url":null,"abstract":"The term \"Goal\" is increasingly being used in Requirement Engineering. Goal-Oriented requirement engineering (GORE) provides an incremental approach for elicitation, analysis, elaboration & refinement, specification and modeling of requirements. Various Goal Oriented Requirement Engineering (GORE) methods exist for these requirement engineering processes like KAOS, GBRAM etc. GORE techniques are based on certain underlying concepts and principles. This paper presents and synthesizes the underlying concepts of GORE with respect to coverage of requirement engineering activities. The advantages of GORE claimed in the literature are presented. This paper evaluates GORE techniques on the basis of concepts, process and claimed advantages.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126796837","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}
引用次数: 52
Genericity - a "Missing in Action" Key to Software Simplification and Reuse 通用性——软件简化和重用的关键
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.37
S. Jarzabek
{"title":"Genericity - a \"Missing in Action\" Key to Software Simplification and Reuse","authors":"S. Jarzabek","doi":"10.1109/APSEC.2006.37","DOIUrl":"https://doi.org/10.1109/APSEC.2006.37","url":null,"abstract":"In controlled lab experiments and industrial projects, we observed 50%-90% rates of repetitions that deliberately recurred in newly developed, well- designed programs. Most often, recurring program structures represented an important concept from software requirements or design spaces. Repetitions increased conceptual complexity and physical size of programs, and also signified unexploited reuse opportunities. Despite potential benefits, avoiding or explicating repetitions with conventional programming techniques was either impossible or would require developers to compromise other important design goals. We believe these problems are common in many program situations. We hypothesize that they have their roots in much similarity that is inherent in software, and not strong enough generic design mechanisms to represent repetitions in a unified, generic way. We discuss mixed-strategy approach that strengthens generic design capabilities of conventional programming techniques with help of a generative meta-programming technique.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127013186","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}
引用次数: 8
Building Scalable Failure-proneness Models Using Complexity Metrics for Large Scale Software Systems 使用复杂性度量为大型软件系统构建可扩展的故障倾向模型
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.25
Thirumalesh Bhat, Nachiappan Nagappan
{"title":"Building Scalable Failure-proneness Models Using Complexity Metrics for Large Scale Software Systems","authors":"Thirumalesh Bhat, Nachiappan Nagappan","doi":"10.1109/APSEC.2006.25","DOIUrl":"https://doi.org/10.1109/APSEC.2006.25","url":null,"abstract":"Building statistical models for estimating failure-proneness of systems can help software organizations make early decisions on the quality of their systems. Such early estimates can be used to help inform decisions on testing, refactoring, code inspections, design rework etc. This paper demonstrates the efficacy of building scalable failure-proneness models based on code complexity metrics across the Microsoft Windows operating system code base. We show the ability of such models to estimate failure-proneness and provide feedback on the complexity metrics to help guide refactoring and the design rework effort.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128184679","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}
引用次数: 7
Testing of Timer Function Blocks in FBD FBD中定时器功能块的测试
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.55
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, S. Cha, Junbeom Yoo, G. Park, K. Kwon
{"title":"Testing of Timer Function Blocks in FBD","authors":"Eunkyoung Jee, Seungjae Jeon, Hojung Bang, S. Cha, Junbeom Yoo, G. Park, K. Kwon","doi":"10.1109/APSEC.2006.55","DOIUrl":"https://doi.org/10.1109/APSEC.2006.55","url":null,"abstract":"Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on function block diagram (FBD) networks including timer function blocks. In order to test FBD networks including timer function blocks, we generate templates for timer function blocks and transform a unit FBD into a flow-graph using the proposed templates. We apply existing testing techniques to the generated flowgraph and describe how the characteristics of timer function blocks are reflected in the testing process. By the proposed method, FBD networks including timer function blocks can be tested thoroughly without the intermediate code which was essential in the previous FBD testing. To demonstrate the effectiveness of the proposed method, we use a trip logic of bistable processor of digital plant protection systems which is being developed in Korea.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125784258","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}
引用次数: 7
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications 实时多处理器片上系统应用中基于UML活动图的代码块级模型的时序验证
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.56
D. Das, Rajeev Kumar, P. Chakrabarti
{"title":"Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications","authors":"D. Das, Rajeev Kumar, P. Chakrabarti","doi":"10.1109/APSEC.2006.56","DOIUrl":"https://doi.org/10.1109/APSEC.2006.56","url":null,"abstract":"The UML activity diagram language is the de facto language for behavioral modeling capable of block level modeling of real time multiprocessor SoC applications where timing behavior is a critical aspect. Although there are several tools for timing verification of logics with branching time semantics, there are no known model checkers for timing verification of logics with linear time semantics as needed for many verification tasks. This work deals with timing verification of UML activity diagram models of applications. We propose a subset of TPTL (timed prepositional temporal logic) for specifying timing queries. We develop an automata based model checker for verifying such queries. We present a comparison of the proposed timing verification with the state of the art for random test-cases.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124871647","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
Integrating Stateful Services in Workflow 在工作流中集成有状态服务
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.40
Z. Laliwala, V. Sorathia, S. Chaudhary, Prateek Jain
{"title":"Integrating Stateful Services in Workflow","authors":"Z. Laliwala, V. Sorathia, S. Chaudhary, Prateek Jain","doi":"10.1109/APSEC.2006.40","DOIUrl":"https://doi.org/10.1109/APSEC.2006.40","url":null,"abstract":"Long running business processes require composition of services for task accomplishment. BPEL provide a mechanism to model business workflow among collaborating Web Services distributed across organizations. For effective execution and consistent outcomes from such composite services in a loosely coupled environment, management of state, transaction, notification and execution monitoring are the key requirements. After the emergence of WS-RF, stateful Web services have become integral part of Grid environment. Grid supports execution monitoring, resource sharing, integration and management of large-scale applications. Such capabilities are the backbone for any large-scale enterprise applications. Process oriented workflow execution in a grid environment with the support to manage state, transaction and notification is a challenging issue. In this paper we have proposed architecture to achieve integration of stateful services for a grid workflow. Development of stateful services is based on WS-RF specification to build services to support state management, transaction, notification and execution monitoring of a business process in a large-scale grid environment.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126824163","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}
引用次数: 7
Using Operational Architecture to Model Embedded Software 用操作体系结构对嵌入式软件建模
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.61
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
{"title":"Using Operational Architecture to Model Embedded Software","authors":"Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae","doi":"10.1109/APSEC.2006.61","DOIUrl":"https://doi.org/10.1109/APSEC.2006.61","url":null,"abstract":"Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the interaction with its environments, architectures that describe the dynamic aspects are also needed. Although such architectural view is significantly important in embedded software development, the existing approaches do not practically guide the architectural design based on the dynamic aspects. In this paper, we propose an operational architecture to represent the dynamic aspects of an embedded software. Also we explain how to use our operational architecture in the process of embedded software modeling. Our operational architecture effectively reflects interaction-based dynamic behavior of the system, and gives traceability between requirements and design model.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130173397","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
Safety Analysis for Dynamic Update of Object Oriented Programs 面向对象程序动态更新的安全性分析
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.49
Yogesh Murarka, U. Bellur, R. Joshi
{"title":"Safety Analysis for Dynamic Update of Object Oriented Programs","authors":"Yogesh Murarka, U. Bellur, R. Joshi","doi":"10.1109/APSEC.2006.49","DOIUrl":"https://doi.org/10.1109/APSEC.2006.49","url":null,"abstract":"Maintenance downtime and overheads for applying patches are major concerns for systems requiring round the clock availability. Hence, methods for carrying out dynamic updates are needed. However, correctness of the system during and after every dynamic update needs to be ensured. This paper defines two safety criteria, type consistency and isolation of process execution/or dynamic software update. Updates involving one or more insertions of new classes, removals of old classes and replacements of old classes are considered. The condition for producing a type safe update schedule is defined. The parts of the program whose executions have to be isolated from process update are annotated by the user. Conditions are also provided for ensuring isolation of the update process from execution of annotated parts of the program.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130228771","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
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 基于物理活动对象开发应用程序的模型驱动方法
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.58
L. Baresi, Paolo Beretta, Roberto Fraccapani, C. Ghezzi, F. Pacifici
{"title":"Towards a Model-driven Approach to Develop Applications based on Physical Active Objects","authors":"L. Baresi, Paolo Beretta, Roberto Fraccapani, C. Ghezzi, F. Pacifici","doi":"10.1109/APSEC.2006.58","DOIUrl":"https://doi.org/10.1109/APSEC.2006.58","url":null,"abstract":"The increasing diffusion of ubiquitous communication infrastructures and physical active objects-like sensors and smart tags-is motivating the integration of these devices into advanced distributed systems. The novelty of these technologies has imposed a \"code and fix\" approach; only a few methodologies have been developed to address the integration of heterogeneous technologies to provide the user with sophisticated and flexible abstractions of real world objects. To this end, the paper proposes the first results of a model-driven approach for the development of applications based on heterogeneous physical active objects. We propose a metamodel and a framework for automatic code generation based on Jini. The approach is exemplified on a simple case study in the domain of advanced logistics.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127529090","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
An Empirical Study of Factors and their Relationships in Outsourced Software Maintenance 外包软件维护影响因素及其关系的实证研究
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.21
Pankaj Bhatt, Gautam M. Shroff, K. Williams, A. Misra
{"title":"An Empirical Study of Factors and their Relationships in Outsourced Software Maintenance","authors":"Pankaj Bhatt, Gautam M. Shroff, K. Williams, A. Misra","doi":"10.1109/APSEC.2006.21","DOIUrl":"https://doi.org/10.1109/APSEC.2006.21","url":null,"abstract":"IT outsourcing, which commenced as a cost reduction operation, has now become an essential parameter for measuring the operational efficiency of an organization. An increasing number of operational IT systems are moving into the maintenance phase, becoming potential candidates for outsourcing. Human and organizational factors, typical to maintenance activities, such as organization climate, customer attitude, engineers' attitude, etc., have a significant influence on software maintenance effort and make the task of effort estimation complex. In this paper we present the results of an empirical study, carried out to identify and study the influence of such factors on software maintenance effort.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129777181","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
首页 上一页 下一页 尾页
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学术官方微信
小红书