2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems最新文献

筛选
英文 中文
Educating Architects in Industry - The SAP Architecture Curriculum 教育建筑师在工业- SAP建筑课程
Bernhard Groene, W. Kleis, Jochen Boeder
{"title":"Educating Architects in Industry - The SAP Architecture Curriculum","authors":"Bernhard Groene, W. Kleis, Jochen Boeder","doi":"10.1109/ECBS.2010.28","DOIUrl":"https://doi.org/10.1109/ECBS.2010.28","url":null,"abstract":"Software architects play an important role especially when software products of high complexity are created and extended by a massive division of labor. As Europe's largest Software Company producing business software, SAP has specific requirements for the skill set of software architects. Since the tasks of software architects vary to a large degree, defining the core skills of software architects was a prerequisite for education. Furthermore, the education of future architects by external parties was also not an option since the majority of the content has to be adapted to the company’s needs. Starting 2008, SAP has set up an Architecture Curriculum for the on-the-job education of future Software Architects. The curriculum reflects the typical tasks of Architects in a large software company, which deal with communicating architecture topics among various stakeholders, and with the definition of architecture – ensuring conceptual integrity and considering the big number of quality (aka non-functional) requirements. SAP already runs (or will run in the near future) this curriculum in all major development locations. The success and the positive feedback of the participants show that the concept of an on-the-job education works and that it can be applied to other software companies as well.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123786572","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
Database Descriptors: Laying the Path to Commodity Web Data Services 数据库描述符:铺设通往商品网络数据服务的道路
R. Senra, C. B. Medeiros
{"title":"Database Descriptors: Laying the Path to Commodity Web Data Services","authors":"R. Senra, C. B. Medeiros","doi":"10.1109/ECBS.2010.57","DOIUrl":"https://doi.org/10.1109/ECBS.2010.57","url":null,"abstract":"The growth of the Internet has dramatically changed the way information is accessed and managed. The Web contains an ever growing amount of distributed, semi-structured and uncontrolled data. In this new context, we should rethink how applications couple with DBMSs. Corporate intranets allowed a tiered coupling between applications and databases. However, that model is still too constrained, and unable to accommodate the hostility, unsafety and fast pace of the Web environment. Web Applications soon, if not already, will seek to dynamically negotiate their relationship to distributed database services. Prior to accomplishing autonomous application_to_DBMS binding and seamless data migration, we need to devise a \"lingua franca\" to request and describe DBMS and database services and capabilities. Database descriptors (DBDs) are a step towards this vision. This paper presents the motivation for DBDs, their structure and architecture, examples and a use case scenario.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130505451","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
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support 基于模型的灵活工具支持下演化软件系统回归测试方法
Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Z. I. Malik, Matthias Riebisch
{"title":"A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support","authors":"Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Z. I. Malik, Matthias Riebisch","doi":"10.1109/ECBS.2010.12","DOIUrl":"https://doi.org/10.1109/ECBS.2010.12","url":null,"abstract":"Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. However, identification of modifications in the systems and selection of corresponding test cases is challenging due to interdependencies among models. State-based testing is an important approach to test the system behaviour. Unfortunately the existing state-based regression testing approaches do not care for dependencies of the state machines with other system models. This paper presents the tool support and evaluation of our state-based selective regression testing methodology for evolving state-based systems. START is an Eclipse-based tool for state-based regression testing compliant with UML 2.1 semantics. START deals with dependencies of state machines with class diagrams to cater for the change propagation. We applied the START on a case study and our results show significant reduction in the test cases resulting in reduction in testing time and cost.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125378214","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}
引用次数: 54
Do Sensornet Protocol Variants Yield Real Benefits? 传感器网络协议的变体能带来真正的好处吗?
Jonathan Tate, I. Bate
{"title":"Do Sensornet Protocol Variants Yield Real Benefits?","authors":"Jonathan Tate, I. Bate","doi":"10.1109/ECBS.2010.10","DOIUrl":"https://doi.org/10.1109/ECBS.2010.10","url":null,"abstract":"Simple, stateless networking protocols provide a low-cost and predictable foundation upon which to build decentralised applications. Sensornets are complex, containing emergent behaviour; identifying protocols offering appropriate behaviour may be difficult. In this paper we evaluate the relative performance of gossiping protocol variants in non-ideal sensornets. We examine the extent to which a \"standard\" gossiping protocol might be outperformed by variants of this standard, each specialised and optimised to mitigate anticipated problems. We categorise and measure the undesired behaviours that remain, as a foundation for future protocols which will address these specific issues.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126812107","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
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking 基于smt的有界模型检测的大型嵌入式软件连续验证
L. Cordeiro, B. Fischer, Joao Marques-Silva
{"title":"Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking","authors":"L. Cordeiro, B. Fischer, Joao Marques-Silva","doi":"10.1109/ECBS.2010.24","DOIUrl":"https://doi.org/10.1109/ECBS.2010.24","url":null,"abstract":"The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by exploiting information from the software configuration management system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by up to 50%.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125058569","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
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学术官方微信