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

2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops最新文献

筛选
英文 中文
Architecting for evolvability by means of traceability and features 通过可追溯性和特性为可发展性进行架构设计
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686323
Robert Brcina, Matthias Riebisch
{"title":"Architecting for evolvability by means of traceability and features","authors":"Robert Brcina, Matthias Riebisch","doi":"10.1109/ASEW.2008.4686323","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686323","url":null,"abstract":"The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes and thus the systemspsila evolution. To maintain the evolvability of such software systems, their architecture has to fulfil particular quality criteria. Available metrics and rigour approaches do not provide sufficient means to evaluate architectures regarding these criteria, and reviews require a high effort. This paper presents an approach for an evaluation of architectural models during design decisions, for early feedback and as part of architectural assessments. As the quality criteria for evolvability, model relations in terms of traceability links between feature model, design and implementation are evaluated. Indicators are introduced to assess these model relations, similar to metrics, but accompanied by problem resolution actions. The indicators are defined formally to enable a tool-based evaluation. The approach has been developed within a large software project for an IT infrastructure.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133612077","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}
引用次数: 24
Raising healthy software systems 培养健康的软件系统
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686317
Stephen G. MacDonell, Diana Kirk, L. McLeod
{"title":"Raising healthy software systems","authors":"Stephen G. MacDonell, Diana Kirk, L. McLeod","doi":"10.1109/ASEW.2008.4686317","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686317","url":null,"abstract":"We elaborate on the analogy between humans and bespoke software systems and we use this analogy to inform an alternative perspective on the development and management of such systems.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123638983","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
Architecture support for runtime integration and verification of component-based Systems of Systems 对基于组件的系统的系统的运行时集成和验证的体系结构支持
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686292
Alberto González, Éric Piel, H. Groß
{"title":"Architecture support for runtime integration and verification of component-based Systems of Systems","authors":"Alberto González, Éric Piel, H. Groß","doi":"10.1109/ASEW.2008.4686292","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686292","url":null,"abstract":"Systems-of-systems (SoS) represent a novel kind of system, for which runtime evolution is a key requirement, as components join and leave during runtime. Current component integration and verification techniques are not enough in such a dynamic environment. In this paper we present ATLAS, an architectural framework that enables the runtime integration and verification of a system, based on the built-in test paradigm. ATLAS augments components with two specific interfaces to add and remove tests, and to provide adequate testability features to run these tests. To illustrate our approach, we present a case study of a dynamic reconfiguration scenario of components, in the maritime safety and security domain, using our implementation of ATLAS for the fractal component model. We demonstrate that built-in testing can be extended beyond development-time component integration testing, to support runtime reconfiguration and verification of component-based systems.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114947269","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}
引用次数: 24
Building autonomic components: The SelfLets approach 构建自主组件:SelfLets方法
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686289
Silvia Bindelli, E. D. Nitto, R. Mirandola, Roberto Tedesco
{"title":"Building autonomic components: The SelfLets approach","authors":"Silvia Bindelli, E. D. Nitto, R. Mirandola, Roberto Tedesco","doi":"10.1109/ASEW.2008.4686289","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686289","url":null,"abstract":"Autonomic computing is an emergent field aiming at the development of large-scale, self-managing, distributed component-based systems. This paper presents the model and the architecture of an autonomic computing element called SelfLet, which is a building component that can be used to create autonomic systems. SelfLets can be defined by specifying their goal, behaviors, services they need to use and/or provide, and autonomic policies guiding their self-management. The SelfLet architecture has been implemented in Java and offers programming abstractions suitable to implement an application-specific logic as well as autonomic policies. As a case study we have implemented a pervasive autonomic system that manages electrical power balancing in intelligent cooperating buildings.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125860470","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
Mashups and modularity: Towards secure and reusable web applications mashup和模块化:迈向安全和可重用的web应用程序
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686307
A. Taivalsaari, T. Mikkonen
{"title":"Mashups and modularity: Towards secure and reusable web applications","authors":"A. Taivalsaari, T. Mikkonen","doi":"10.1109/ASEW.2008.4686307","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686307","url":null,"abstract":"The software industry is currently experiencing a paradigm shift towards Web-based software. We argue that Web technologies should evolve in a direction that would allow the developers to easily create ldquomashwarerdquo - mashup software that leverages components and other content from all over the world. In order to accomplish this, improvements are needed especially in two areas: security and modularity. In this paper we summarize our vision for the future of Web applications, focusing especially on these two important areas.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115935871","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
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication 塑料:为无处不在的信息通信提供轻量化、适应性强的服务技术
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686295
A. Bertolino, W. Emmerich, P. Inverardi, V. Issarny, F. Liotopoulos, P. Plaza
{"title":"PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication","authors":"A. Bertolino, W. Emmerich, P. Inverardi, V. Issarny, F. Liotopoulos, P. Plaza","doi":"10.1109/ASEW.2008.4686295","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686295","url":null,"abstract":"The PLASTIC project adopts and revisits service-oriented computing for Beyond 3rd Generation (B3G) networks, in particular aiming at assisting the development of services targeted at mobile devices. Specifically, PLASTIC introduces the PLASTIC platform to enable robust distributed lightweight services in B3G networking environments through: (a) A development environment for the thorough development of SLA- and resource-aware services, which may be deployed on the various networked nodes, including handheld devices; (b) A service-oriented middleware leveraging multi-radio devices and multi-network environments for applications and services deployed on mobile devices, further enabling context-aware and secure discovery and access to such services; (c) A validation framework enabling off-line and on-line validation of networked services regarding functional and non-functional properties.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"261 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132908393","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
Utilizing Firm-Hosted Online Communities: Research challenges and needs 利用公司托管的在线社区:研究挑战和需求
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686311
S. Jantunen, K. Smolander, S. Malinen, Tytti Virtanen, Sari Kujala
{"title":"Utilizing Firm-Hosted Online Communities: Research challenges and needs","authors":"S. Jantunen, K. Smolander, S. Malinen, Tytti Virtanen, Sari Kujala","doi":"10.1109/ASEW.2008.4686311","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686311","url":null,"abstract":"The increased popularity of firm-hosted online communities (FOC) has initiated a radical transformation of customer-producer relationships in many industries with important implications for product business and product development. The purpose of this paper is twofold. Firstly, we will introduce a recently established research project focusing on the challenges and opportunities with FOCs. Secondly, we will present early results of company interviews illustrating research challenges and needs that have been found relevant for companies in their own FOC development. Based on the gathered data, we categorized these needs and challenges under five themes: 1) Internal alignment, 2) Culture, 3) Individual Users, 4) Technology and 5) Changing environment.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127519821","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
Exploiting social software to build open source communities 利用社交软件建立开源社区
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686309
I. Hammouda, T. Aaltonen, Petri Sirkkala
{"title":"Exploiting social software to build open source communities","authors":"I. Hammouda, T. Aaltonen, Petri Sirkkala","doi":"10.1109/ASEW.2008.4686309","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686309","url":null,"abstract":"This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications to attract users and developers to the software to be released. The approach is being evaluated in the context of the NoTA platform, which is a system architecture for mobile and embedded devices developed initially at Nokia. The first results of the marketing campaign have been encouraging. Yet, a well-defined evaluation framework needs to be constructed and applied in order to measure the effectiveness of the approach.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124371703","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
genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work genSpace:探索知识共享和科学协作工作的社会网络隐喻
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686308
Christian Murphy, Swapneel Sheth, G. Kaiser, L. Wilcox
{"title":"genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work","authors":"Christian Murphy, Swapneel Sheth, G. Kaiser, L. Wilcox","doi":"10.1109/ASEW.2008.4686308","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686308","url":null,"abstract":"Many collaborative applications, especially in scientific research, focus only on the sharing of tools or the sharing of data. We seek to introduce an approach to scientific collaboration that is based on the sharing of knowledge. We do this by automatically building organizational memory and enabling knowledge sharing by observing what users do with a particular tool or set of tools in the domain, through the addition of activity and usage monitoring facilities to standalone applications. Once this knowledge has been gathered, we apply social networking models to provide collaborative features to users, such as suggestions on tools to use, and automatically-generated sequences of actions based on past usage amongst the members of a social network or the entire community. In this work, we investigate social networking models as an approach to scientific knowledge sharing, and present an implementation called genSpace, which is built as an extension to the geWorkbench platform for computational biologists. Last, we discuss the approach from the viewpoint of social software engineering.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117208074","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}
引用次数: 19
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems 自适应软件密集型系统运行时演化的归纳不变量增量验证
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops Pub Date : 2008-09-15 DOI: 10.1109/ASEW.2008.4686291
Basil Becker, H. Giese
{"title":"Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems","authors":"Basil Becker, H. Giese","doi":"10.1109/ASEW.2008.4686291","DOIUrl":"https://doi.org/10.1109/ASEW.2008.4686291","url":null,"abstract":"The safe run-time evolution of complex software-intensive systems requires that the impact of changes can be predicted at run-time. In this paper we consider the specific case of self-adaptive software-intensive systems using an example for the coordination of autonomous vehicles. We show how incremental run-time checks can verify that changes in the rule set which governs the distributed rule-based self-adaptive behavior provides the required safety properties. We demonstrate how an existing verification technique for invariant checking is turned into an incremental one. We discuss the theoretical complexity of the incremental verification checks and also present some first evaluation results.","PeriodicalId":215885,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127354444","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
首页 上一页 下一页 尾页
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学术官方微信