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

2012 38th Euromicro Conference on Software Engineering and Advanced Applications最新文献

筛选
英文 中文
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model 基于SCA-ASM组件模型的服务组件体系结构可靠性预测
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.53
E. Riccobene, P. Potena, P. Scandurra
{"title":"Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model","authors":"E. Riccobene, P. Potena, P. Scandurra","doi":"10.1109/SEAA.2012.53","DOIUrl":"https://doi.org/10.1109/SEAA.2012.53","url":null,"abstract":"In service-oriented computing, software applications are dynamically built by assembling existing, loosely-coupled, distributed, and heterogeneous services. Predicting their reliability is important to appropriately drive the selection and assembly of services. This paper presents an approach to predict the reliability of a service component architecture. We adopt a lightweight formal component model, SCA-ASM, as core modeling technique for both architecture and behavior, supported by a run-time platform. This component model is based on the OASIS standard Service Component Architecture for heterogeneous service assembly and on the formal method Abstract State Machines for modeling service behavior, interactions, and orchestration in an abstract but executable way. The proposed reliability prediction method exploits ideas from architecture-based and path-based reliability models.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126993706","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
Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA Testsuite 基于需求的测试中基于价值的覆盖度量:从TOSCA测试套件中实现的方法中学到的经验
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.43
R. Ramler, Theodorich Kopetzky, Wolfgang Platz
{"title":"Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA Testsuite","authors":"R. Ramler, Theodorich Kopetzky, Wolfgang Platz","doi":"10.1109/SEAA.2012.43","DOIUrl":"https://doi.org/10.1109/SEAA.2012.43","url":null,"abstract":"Testing is one of the most widely practiced quality assurance measures and also one of the most resource-intensive activities in software development. Still, however, most of the available methods, techniques and tools for software testing are value-neutral and do not realize the potential value contribution of testing. In this paper we present an approach for value-based coverage measurement that can be used to align the testing effort with the achievable value associated with requirements and functional units. It has been implemented as part of a commercial test tool and was successfully applied in real-world projects. The results demonstrated its ability to adequately capture the distribution of the business value and risks involved in different requirements. The paper concludes with sharing important lessons learned from developing value-based coverage measurement in the practical setting of commercial tool development and real-world test projects.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129379216","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
An Aspect-Based Feature Model for Architecting Component Product Lines 用于构建组件产品线的基于方面的特征模型
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.64
Leonardo P. Tizzei, C. M. F. Rubira, Jaejoon Lee
{"title":"An Aspect-Based Feature Model for Architecting Component Product Lines","authors":"Leonardo P. Tizzei, C. M. F. Rubira, Jaejoon Lee","doi":"10.1109/SEAA.2012.64","DOIUrl":"https://doi.org/10.1109/SEAA.2012.64","url":null,"abstract":"Feature modeling is widely used for software product line analysis to capture commonality and variability of a product line. As product line variations are mainly captured in a feature model, the mapping between features and architectural components is essential to enable the derivation of product architectures from the feature model. However, current SPL architecture design approaches that map features to architectural components do not model crosscutting concerns explicitly either at a feature model or at product line architecture design. We propose a feature-oriented solution with aspects for product line architecture design aiming at improving product line architecture evolvability by adopting aspect-oriented techniques, which provide a promising support for modeling crosscutting concerns. Our approach includes guidelines for developing and refining SPL requirements into component-based product line architecture with aspects. We evaluated our approach through a preliminary evaluation which has shown promising results.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"259 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123082711","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}
引用次数: 12
Developers Motivation in Agile Teams 敏捷团队中的开发人员动机
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.45
C. Melo, Célio Santana, Fabio Kon
{"title":"Developers Motivation in Agile Teams","authors":"C. Melo, Célio Santana, Fabio Kon","doi":"10.1109/SEAA.2012.45","DOIUrl":"https://doi.org/10.1109/SEAA.2012.45","url":null,"abstract":"A motivated individual is one of the cornerstones of agile software development. Although motivation has been recognized and studied in the software development field, little research has examined motivation in agile teams. Our study aims to provide a better understanding of what motivates software developers in agile environments. We conducted a systematic review of motivators in the agile context, classifying the results using the MOCC model of software engineers' motivation. Additionally, we performed three case studies in agile companies to both confirm our findings and gather new motivators. Our results suggest that motivation in the agile context is slightly different from the overall view of motivation in software development in general.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115161116","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}
引用次数: 38
Multi-view Power Modeling Based on UML, MARTE and SysML 基于UML、MARTE和SysML的多视图电力建模
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.66
Carlos Gomez, Julien Deantoni, F. Mallet
{"title":"Multi-view Power Modeling Based on UML, MARTE and SysML","authors":"Carlos Gomez, Julien Deantoni, F. Mallet","doi":"10.1109/SEAA.2012.66","DOIUrl":"https://doi.org/10.1109/SEAA.2012.66","url":null,"abstract":"In embedded systems, non-functional and functional aspects are closely related and cannot be considered independently. However, the high complexity of systems requires a large domain of competencies and experts in various domains have to work concurrently on different aspects of the same systems. This is why we propose a multi-view model where each view represents a specific domain. The different views are connected to each other by explicit associations that maintain consistency. The whole system is the sum of all the aspects of elements in all the views. This multi-view approach is implemented in a dedicated UML profile based on MARTE and SysML. This article specifically focuses on the power view and its relationship to other functional or non-functional, structural or behavioral aspects.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132965146","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}
引用次数: 18
A Case Study on Measuring Process Quality: Lessons Learned 测量过程质量的案例研究:经验教训
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.26
Ahmet Dikici, O. Türetken, Onur Demirörs
{"title":"A Case Study on Measuring Process Quality: Lessons Learned","authors":"Ahmet Dikici, O. Türetken, Onur Demirörs","doi":"10.1109/SEAA.2012.26","DOIUrl":"https://doi.org/10.1109/SEAA.2012.26","url":null,"abstract":"Requiring solid engineering disciplines and best practices rather than human talents for developing complex software systems results an increasing interest in software processes. The quality of software processes has considerable influence over the success of an organization. Process quality measurement addresses an essential and largely overlooked aspect of processes. We performed a case study on the application of a process quality measurement method with the main objective of examining the extent of the support it offers for software process improvement in practice. We discuss the challenges and lessons learned as well as the limitations of the measurement method applied.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114576389","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
The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework 可追溯性的障碍及其潜在的解决方案:走向参考框架
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.80
Gilbert Regan, F. McCaffery, Kevin McDaid, Derek Flood
{"title":"The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework","authors":"Gilbert Regan, F. McCaffery, Kevin McDaid, Derek Flood","doi":"10.1109/SEAA.2012.80","DOIUrl":"https://doi.org/10.1109/SEAA.2012.80","url":null,"abstract":"Traceability of software artifacts, from requirements to design and through implementation and quality assurance, has long been promoted by the research and expert practitioner communities. However, evidence indicates that, with the exception of those operating in the safety critical domain, few software companies choose to implement traceability processes, often due to associated cost and complexity issues. This paper presents a review of traceability literature including the implementation of traceability in real organizations. Through both analyzing case studies and research published by leading traceability researchers, this paper synthesizes the barriers faced by organizations while implementing traceability, along with proposed solutions to the barriers. Additionally, given the importance of traceability in the regulated domain of safety critical software, the paper compares the barriers for organizations operating inside and outside of this domain.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123901231","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}
引用次数: 32
Engineering Emergent Semantics into Pervasive Resource Discovery 面向普适资源发现的工程涌现语义
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.11
M. Caporuscio
{"title":"Engineering Emergent Semantics into Pervasive Resource Discovery","authors":"M. Caporuscio","doi":"10.1109/SEAA.2012.11","DOIUrl":"https://doi.org/10.1109/SEAA.2012.11","url":null,"abstract":"Pervasive environments are composed as spontaneous aggregation of heterogeneous and independent devices, which may seamlessly consume, but also provide, software resources over the network. As result, applications emerge from the dynamic composition of the resources available within the environment. This requires applications of being semantic-aware, to reason about and learn from the environment. However, due to the inherent high degree of dynamism characterizing pervasive environments, semantics cannot be established a-priori, rather it should \"emerge\" from online negotiations among involved parties. This paper, formalizes emergent semantics principles into formal foundations, and shows, as proof of concept, how to engineer such foundations into a fully distributed semantic service discovery.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122825874","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
Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay 基于确定性重放的长时间运行控制器应用程序规范违规分析
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.10
Roland Schatz, Herbert Prähofer
{"title":"Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay","authors":"Roland Schatz, Herbert Prähofer","doi":"10.1109/SEAA.2012.10","DOIUrl":"https://doi.org/10.1109/SEAA.2012.10","url":null,"abstract":"Deterministic replay debugging is a technique aimed at finding and debugging software failures occurring in field operation that are usually hard to reproduce. With deterministic replay debugging a software run is recorded, so that it can be reproduced deterministically in a debugger. While deterministic replay debugging is capable of reproducing a failure, in practice, especially in the case of a long-running application, it is still hard for the developer to locate the exact position of the failure in the trace log. Based on our previous work on deterministic replay debugging, we propose an approach to use behavior specifications in the form of test cases to search a recorded trace log. We first present a formal approach for the specification of test cases for PLC applications based on hybrid automata. Then we present a method for searching a recorded program trace for occurrences of the test scenario. That way, we can not only identify regions where a specification violation occurred, but also the corresponding regions in the trace where the test case passed, which can then be further used for comparison. We present the theoretical background of our approach, an implementation of the trace search algorithm, and an example application.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117223239","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
A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems 安全关键型汽车嵌入式系统从系统到软件开发的桥梁
2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.61
R. Mader, G. Grießnig, E. Armengaud, A. Leitner, Christian Kreiner, Quentin Bourrouilh, C. Steger, R. Weiss
{"title":"A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems","authors":"R. Mader, G. Grießnig, E. Armengaud, A. Leitner, Christian Kreiner, Quentin Bourrouilh, C. Steger, R. Weiss","doi":"10.1109/SEAA.2012.61","DOIUrl":"https://doi.org/10.1109/SEAA.2012.61","url":null,"abstract":"In this paper, we present a tool enhancement that allows an effective transition from the system level development phase to the software level development phase of a tool-supported safety engineering workflow aligned with the automotive functional safety standard ISO 26262. The tool enhancement has capabilities for model generation and code generation. Whereas the generation of Simulink models supports the development of application software, the configuration and generation of safety drivers supports the development of the basic software required for initialization, runtime fault detection and error handling. We describe the safety engineering workflow and its supporting tool chain including the tool enhancement. Moreover we demonstrate that the enhancement supports the transition from the system level development phase to the software level development phase using the case study of a hybrid electric vehicle development.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115868795","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
首页 上一页 下一页 尾页
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学术官方微信