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

IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)最新文献

筛选
英文 中文
Robust active super tier systems 鲁棒主动超层系统
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.18
S. Dolev, Ori Gersten
{"title":"Robust active super tier systems","authors":"S. Dolev, Ori Gersten","doi":"10.1109/SWSTE.2005.18","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.18","url":null,"abstract":"This paper proposes a framework for designing tier systems. First we suggest to implement robust tier automata for each tier T/sub i/ implemented by the processors that the tier consists. The robust tier automata is a useful abstraction that allows the distribution of the tasks of a tier (and its stubs) in a way that ensures availability, consistency, and recovery in the presence of faults. Then we suggest the active tier framework where the computation of a user request is progressing in several paths in the tier system which may intersect, leaving footprints for each other. At last we propose the super tier architecture, which correlates equivalent tiers in order to gain more robustness and load balancing. We present and analyze optimistic, pessimistic and semi-optimistic approaches for computing over the active tier system with super tiers.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121065700","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
Using Tropos to model agent based architectures for adaptive systems: a case study in ambient intelligence 使用Tropos为自适应系统建模基于代理的架构:环境智能的案例研究
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.23
L. Penserini, P. Bresciani, T. Kuflik, P. Busetta
{"title":"Using Tropos to model agent based architectures for adaptive systems: a case study in ambient intelligence","authors":"L. Penserini, P. Bresciani, T. Kuflik, P. Busetta","doi":"10.1109/SWSTE.2005.23","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.23","url":null,"abstract":"The realization of complex distributed applications required in areas such as e-Business, e-Government, and ambient intelligence calls for new software development paradigms, such as the service oriented computing approach, which accommodates for dynamic and adaptive interaction schemata, carried on at a peer-to-peer level. Multi agent systems promise to offer the natural architectural solutions to several requirements imposed by such an adaptive approach. Nevertheless, architectural design patterns commonly adopted to model agent interaction schemata do not totally fit the needs implied by highly adaptable service oriented computing scenarios. In this paper, the agent oriented software engineering methodology Tropos is adopted to discuss common architectural agent patterns, and propose architectural improvements to better deal with high degrees of dynamic system adaptability. The novel architectures are illustrated through a case study in the field of ambient intelligence, namely a real multi agent system application implementing a pervasive museum visitors guide.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123557623","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
Estimating the number of faults remaining in software code documents inspected with iterative code reviews 通过迭代代码评审来评估软件代码文档中剩余的错误数量
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.1
A. Harel, E. Kantorowitz
{"title":"Estimating the number of faults remaining in software code documents inspected with iterative code reviews","authors":"A. Harel, E. Kantorowitz","doi":"10.1109/SWSTE.2005.1","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.1","url":null,"abstract":"Code review is considered an efficient method for detecting faults in a software code document. The number of faults not detected by the review should be small. Current methods for estimating this number assume reviews with several inspectors, but there are many cases where it is practical to employ only two inspectors. Sufficiently accurate estimates may be obtained by two inspectors employing an iterative code review (ICR) process. This paper introduces a new estimator for the number of undetected faults in an ICR process, so the process may be stopped when a satisfactory result is estimated. This technique employs the Kantorowitz estimator for N-fold inspections, where the N teams are replaced by N reviews. The estimator was tested for three years in an industrial project, where it produced satisfactory results. More experiments are needed in order to fully evaluate the approach.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127274537","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
CarCoach: a generalized layered architecture for educational car systems CarCoach:教育用车系统的通用分层架构
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.9
T. Sharon, T. Selker, Lars Wagner, Ariel J. Frank
{"title":"CarCoach: a generalized layered architecture for educational car systems","authors":"T. Sharon, T. Selker, Lars Wagner, Ariel J. Frank","doi":"10.1109/SWSTE.2005.9","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.9","url":null,"abstract":"Car accidents are a major concern. Consequently, a lot of research is carried out on car user interfaces. For each such research, usually a special simulator or car is developed, algorithms and tools are redeveloped, and similar issues arise. We propose CarCoach, an educational car system, based on a generalized layered architecture. We present the system design, the intelligent modular architecture, its layers, including details of some of its relevant modules. Using the Chrysler 300M IT-Edition car as a platform, a prototype was implemented and initial experimentation was carried out and is reported. We demonstrate that CarCoach provides a flexible environment for car research and support of varied car applications.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131315227","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}
引用次数: 16
Improving testing education - seven observations why testing is different 改进考试教育——为什么考试不同的七个观察
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.13
Mika Katara
{"title":"Improving testing education - seven observations why testing is different","authors":"Mika Katara","doi":"10.1109/SWSTE.2005.13","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.13","url":null,"abstract":"Improvement of testing education has gained relative little attention in universities compared to other software engineering disciplines. In this paper, we argue that such improvement is generally needed, and give a starting point for this task. We list seven observations, based on personal views, on the differences between testing and other software development activities, and their reflections on teaching testing. Moreover, we outline our testing education improvement project and discuss experiences in that. Towards the end of the paper, we give farther hints for those wishing to undertake such improvement task at their institutions.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125216951","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
Conventional and open source software reuse at Orbotech - an industrial experience Orbotech的传统和开源软件重用-一种工业体验
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.11
S. Morad, T. Kuflik
{"title":"Conventional and open source software reuse at Orbotech - an industrial experience","authors":"S. Morad, T. Kuflik","doi":"10.1109/SWSTE.2005.11","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.11","url":null,"abstract":"Orbotech, as part of the Israeli Software Reuse Industrial Consortium (ISWRIC), explored the possibilities of software reuse in a three-year project, supported by the Israel Ministry of Trade and Commerce. The positive economical results of the project made software reuse a common practice at Orbotech. Further experimentation of reusing open source software (OSS) demonstrated the high potential of that approach, when carefully integrated with the standard organizational development process. The conclusions from Orbotech experience are that when carefully planned and implemented, software reuse provides the anticipated benefits of cost reduction, improved quality and shorter time-to-market. The reuse of OSS may provide even higher benefits than conventional software reuse. Nevertheless, as in many cases before, implementation of software reuse requires management support and commitment, as well as acceptance by the developers themselves. As such, software reuse implementation proves to be a complex task that needs to be tailored specifically to the implementing organization.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116588283","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}
引用次数: 26
Software architecture to support domain semantics representation 支持领域语义表示的软件架构
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.19
E. Rubin, Y. Wand
{"title":"Software architecture to support domain semantics representation","authors":"E. Rubin, Y. Wand","doi":"10.1109/SWSTE.2005.19","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.19","url":null,"abstract":"This study incorporates the development of a framework and software architecture aimed to improve the integration of software implementation with the general system analysis and design (SAD) process by assuring that conceptual knowledge is effectively preserved in software code. As software systems become more powerful, they are expected to handle a wider range of situations without losing functionality. However, such expectations are often materialized by increasing levels of knowledge about the system domain. It is already well recognized that the process of system implementation, analysis and design requires much knowledge about the modeled domain. However, as the process approaches the implementation phase, many conceptual ideas are lost due to physical concerns. The software architecture developed in this study addresses this situation. It also provides a general conceptual approach for the development of a new generation of semantically rich software architectures.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121506699","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
An OPM-based method for transformation of operational system model to data warehouse model 一种基于opm的操作系统模型到数据仓库模型的转换方法
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.5
D. Dori, R. Feldman, A. Sturm
{"title":"An OPM-based method for transformation of operational system model to data warehouse model","authors":"D. Dori, R. Feldman, A. Sturm","doi":"10.1109/SWSTE.2005.5","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.5","url":null,"abstract":"Data warehouse modeling is a complicated task, which involves both knowledge of business processes and familiarity with operational information systems structure and behavior. Several modeling techniques were suggested to utilize the operational system structural or behavioral model in order to construct a data warehouse conceptual model. However, these techniques are hardly applicable for modeling large-scale systems, as they require acquaintance with the business processes and ability to select relevant transactional entities. They require multiple manual actions because discovering measures and relevant dimensional entities are unassisted, and they usually disregard the process perspective. In this paper we propose a technique for data warehouse model construction based on the object process methodology, and demonstrate it on a case study emphasizing its advantages over other techniques.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123662172","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
Automatic requirements elicitation in agile processes 敏捷过程中的自动需求提取
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.8
Ronit Ankori
{"title":"Automatic requirements elicitation in agile processes","authors":"Ronit Ankori","doi":"10.1109/SWSTE.2005.8","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.8","url":null,"abstract":"One of the generic phases of software engineering is the requirements analysis. This paper presents a new method for automatically retrieving functional requirements from the stakeholders using agile processes. The presented system is a machine learning system for the automation of some aspects of the software requirements phase in the software engineering process. This learning system encompasses knowledge acquisition and belief revision in a knowledge base. It is based on Tecuci's multistrategy task-adaptive learning by justification trees algorithm, known as Disciple-MTL, and supports a few of the practices that extreme programming (XP) requires. The aim of the algorithm is to collect information from the various stakeholders and integrate a variety of learning methods in the knowledge acquisition process, while involving certain and plausible reasoning. The result of the manipulation is a list of requirements essential to a software system.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116525963","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}
引用次数: 14
Verification of concurrent objects with asynchronous method calls 用异步方法调用验证并发对象
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) Pub Date : 2005-02-22 DOI: 10.1109/SWSTE.2005.24
Johan Dovland, E. Johnsen, Olaf Owe
{"title":"Verification of concurrent objects with asynchronous method calls","authors":"Johan Dovland, E. Johnsen, Olaf Owe","doi":"10.1109/SWSTE.2005.24","DOIUrl":"https://doi.org/10.1109/SWSTE.2005.24","url":null,"abstract":"Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed and unstable networks. Second, the common model of thread concurrency makes reasoning about program behavior very challenging. A model based on concurrent objects communicating by means of asynchronous method calls has been proposed to combine object orientation and distribution in a more satisfactory way. This paper introduces a reasoning system for this model, focusing on simplicity and modularity. We believe that a simple and compositional proof system is paramount to allow verification of real programs. The proposed proof rules are derived from the Hoare rules of a standard sequential language by means of a semantic encoding preserving soundness and relative completeness.","PeriodicalId":434556,"journal":{"name":"IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125507972","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}
引用次数: 40
下一页 尾页
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学术官方微信