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

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003最新文献

筛选
英文 中文
Transforming quantities into qualities in assessment of software systems 在软件系统评估中将数量转化为质量
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245359
G. Canfora, L. Cerulo, L. Troiano
{"title":"Transforming quantities into qualities in assessment of software systems","authors":"G. Canfora, L. Cerulo, L. Troiano","doi":"10.1109/CMPSAC.2003.1245359","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245359","url":null,"abstract":"The assessment of software systems often requires to consider together qualitative and quantitative aspects. Because of the different nature, measures belong to different domains. The main problem is to aggregate such information into a derived measure able to provide an overall estimation. This problem has been traditionally solved trough the transformation of qualitative assessments into quantitative measures. Indeed, such a transformation implicitly assumes a conceptual equivalence between the terms quantitative and objective on one side, and qualitative and subjective on the other side. An alternative approach is to consider logical aggregation models, able to infer the overall evaluation based on the assessment of individual attributes. This approach requires an early transformation of quantitative measures in qualitative assessments. Such a transformation is possible trough the use of judgment functions. The aim of this paper is to introduce the judgment functions and to study their properties.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124468722","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
A synergistic interweaving of formal and informal methods 正式和非正式方法的协同交织
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245351
W. Yeung, Karl R. P. H. Leung
{"title":"A synergistic interweaving of formal and informal methods","authors":"W. Yeung, Karl R. P. H. Leung","doi":"10.1109/CMPSAC.2003.1245351","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245351","url":null,"abstract":"In most studies of bridging between informal specifications, formal specifications are transformed from informal specifications after completion of specification of the whole system. Most of these formal specifications are used for rigorous study of the system in question, consistency checking, verification of behavior or support system synthesis. During the process of system specification, the strength of formal and informal methods are not complementing to each other. We identified a new specification approach which makes formal methods and informal methods complement each other to a greater extent. This new method interweaves formal methods with informal methods. We find out that this method leads to better quality of specifications, facilitate better changes management and maintenance. This is particular useful during initial specification of systems which is the first stage of specifying informal world in some formal languages. We report our preliminary findings of this novel approach in this paper and exemplify our approach with an example in JSD and CSP.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128917170","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
A role-based metamodeling approach to specifying design patterns 用于指定设计模式的基于角色的元建模方法
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245379
Dae-Kyoo Kim, R. France, Sudipto Ghosh, Eunjee Song
{"title":"A role-based metamodeling approach to specifying design patterns","authors":"Dae-Kyoo Kim, R. France, Sudipto Ghosh, Eunjee Song","doi":"10.1109/CMPSAC.2003.1245379","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245379","url":null,"abstract":"Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support for incorporating patterns into UML models. The development of such tools requires patterns to be specified at the metamodel level. Patterns may be specified using roles, where a role is played by model elements. However, the notion of role in the object-oriented community is strictly based on objects, and does not allow the use of the word \"role\" in any other place where the context is not object-based. In this paper, we propose a notion of role that can be used to specify design patterns at the metamodel level. We survey the characteristics of object-based roles and generalize them. Based on the generalized notion of a role define a new notion of a model role which is played by a model element. We illustrate the use of model roles with a specification of a variant of the Observer design pattern.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116104729","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}
引用次数: 61
Determining granularity of independent tasks for reengineering a legacy system into an OO system 确定独立任务的粒度，以便将遗留系统重新设计为面向对象系统
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245363
R. Millham, Martin P. Ward, Hongji Yang
{"title":"Determining granularity of independent tasks for reengineering a legacy system into an OO system","authors":"R. Millham, Martin P. Ward, Hongji Yang","doi":"10.1109/CMPSAC.2003.1245363","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245363","url":null,"abstract":"Reengineering a COBOL legacy system is a difficult multi-step process, particularly when the COBOL legacy system is a sequential procedural-driven system which is being reengineered into an object oriented, event-driven system. In this scenario, it is necessary to analyse the legacy system in order to identify which tasks can be executed independently and which tasks must be executed sequentially. The focus of reengineering is too often based on theory rather than based on experience gained from real-world examples. This paper hopes to address this imbalance by providing a practical application of reengineering to an actual legacy telecommunications system.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116198049","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
A strategy for selecting synchronization sequences to test concurrent object-oriented software 面向对象并发软件测试的同步序列选择策略
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245341
Huo-yan Chen, Yu Xia Sun, T. H. Tse
{"title":"A strategy for selecting synchronization sequences to test concurrent object-oriented software","authors":"Huo-yan Chen, Yu Xia Sun, T. H. Tse","doi":"10.1109/CMPSAC.2003.1245341","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245341","url":null,"abstract":"Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventional programs. Although we proposed previously a method called TACCLE for testing object-oriented software at the class and cluster levels, it did not cover concurrent or non-deterministic situations. This paper puts forward a strategy for selecting synchronization sequences to test concurrent object-oriented software, including non-deterministic cases. It is based on OBJSA net/CLOWN specifications. Experiments have been carried out in a case study to verify the efficacy of the strategy.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125958653","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
An object-passing model for parallel programming 并行编程的对象传递模型
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245333
J. Al-Jaroodi, N. Mohamed
{"title":"An object-passing model for parallel programming","authors":"J. Al-Jaroodi, N. Mohamed","doi":"10.1109/CMPSAC.2003.1245333","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245333","url":null,"abstract":"This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful yet simple methods to distribute and exchange data and logic (objects) among processes. The model extends message passing, while exploiting the advantages of the object-oriented paradigm. In addition, the model provides a portable framework for executing applications across multiple platforms, thus effectively exploiting available resources to gain more processing power. A number of advantages aspects adopting object passing are discussed, in addition to highlighting the differences between message passing, represented by MPI, and object passing. Another advantage is the model's suitability for heterogeneous systems. When implemented with a portable language like Java, it can support parallel and distributed applications spanning a collection of heterogeneous platforms. This form of execution will eventually allow for full utilization of available resources for any given application written using this model.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127268689","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
Proactive views on concrete aspects: a pattern documentation approach to software evolution 对具体方面的前瞻性观点:软件演进的模式文档方法
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245348
T. H. Ng, S. Cheung
{"title":"Proactive views on concrete aspects: a pattern documentation approach to software evolution","authors":"T. H. Ng, S. Cheung","doi":"10.1109/CMPSAC.2003.1245348","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245348","url":null,"abstract":"A design pattern provides a structure to manage a design aspect by allowing the aspect to be changed without software redesign. For example, the command pattern allows a software design to be easily reconfigured to replace a receiver of a command request or issue a new command request. To prepare for everlasting demands in diverse requirement changes, multiple design patterns are typically deployed to manage various design aspects of a software program. However, this can complicate the underlying program structure, resulting in difficulties of succeeding program revisions to preserve effective management of aspects. In particular, when design aspects cut across each other, realizing changes in one aspect likely revokes the management of other aspects. To address this problem, we propose a documentation approach to govern program revisions. In the approach, a design aspect is associated with a set of proactive views. Each view specifies how an implementation of the aspect is organized so that other aspects can be managed at the same time. The views capture the class relationships that must be kept to preserve effective management of aspects. The approach is illustrated using a pattern-based hotel management system.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121915696","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
A pattern language model for framework development 用于框架开发的模式语言模型
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245414
Wudong Liu, K. He, Yingshi, Hui Xu, Yixin Jing
{"title":"A pattern language model for framework development","authors":"Wudong Liu, K. He, Yingshi, Hui Xu, Yixin Jing","doi":"10.1109/CMPSAC.2003.1245414","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245414","url":null,"abstract":"Pattern language has long been paid attention for its intrinsic characters such as its domain-orientation, problem-orientation and solution-orientation. Much of domain knowledge has been captured in well established pattern language. This paper, based on an investigation and study on patterns and relation between them, proposes a pattern relation model, to formalize the semantic structure of a pattern language. We also utilize this model to facilitate the development of a framework, to show a concrete example of this useful model.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123297008","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
Integrating practical software measurement and the balanced scoreboard 集成实用的软件测量和平衡计分板
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245366
D. Card
{"title":"Integrating practical software measurement and the balanced scoreboard","authors":"D. Card","doi":"10.1109/CMPSAC.2003.1245366","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245366","url":null,"abstract":"This article describes the application of the concepts of practical software measurement (PSM) to satisfy the information needs of enterprise management. In particular, it focuses on the relationship between PSM, an established approach for project measurement, and the balanced scorecard, an established approach for enterprise measurement. The two approaches prove to be compatible and complementary.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123107204","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
Situation-aware personalized information retrieval for mobile Internet 面向移动互联网的态势感知个性化信息检索
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245409
S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao
{"title":"Situation-aware personalized information retrieval for mobile Internet","authors":"S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao","doi":"10.1109/CMPSAC.2003.1245409","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245409","url":null,"abstract":"Recent rapid advances in Internet-based information systems and handheld devices make it possible for users to retrieve information anytime and anywhere. Existing information retrieval (IR) techniques usually require the users to spend much effort to continuously refine their queries to obtain the results they want. Since each refinement is an interaction between a user and information systems, the larger the number of interactions, the more communication overhead and energy consumption are introduced. Due to the severe resource constraints of handheld devices, it is necessary to have an IR technique that can efficiently retrieve information for the user with only one or two interactions. In this paper, an efficient IR technique for mobile Internet by combining situation-based adaptation and profile-based personalization is presented.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115034052","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}
引用次数: 42
首页 上一页 下一页 尾页
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学术官方微信