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

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications最新文献

筛选
英文 中文
Constructing Component-Based Systems Directly from Requirements Using Incremental Composition 使用增量组合直接从需求构建基于组件的系统
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.18
Azlin Nordin
{"title":"Constructing Component-Based Systems Directly from Requirements Using Incremental Composition","authors":"Azlin Nordin","doi":"10.1109/SEAA.2010.18","DOIUrl":"https://doi.org/10.1109/SEAA.2010.18","url":null,"abstract":"In software engineering, system construction normally starts from a requirements specification that has been engineered from raw requirements in a natural language. Such a specification is derived from intermediate requirements models such as use case models. These models at best only approximate the raw requirements. In this paper we propose a component-based approach that maps raw requirements directly into architectures, with a view to maximising the match between the final system and the raw requirements. Our approach is based on a component model that supports incremental composition.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125967950","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
Ontology-Based Model Driven Engineering for Safety Verification 基于本体的安全验证模型驱动工程
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.60
Konstantinos Mokos, G. Meditskos, P. Katsaros, Nick Bassiliades, Vangelis Vasiliades
{"title":"Ontology-Based Model Driven Engineering for Safety Verification","authors":"Konstantinos Mokos, G. Meditskos, P. Katsaros, Nick Bassiliades, Vangelis Vasiliades","doi":"10.1109/SEAA.2010.60","DOIUrl":"https://doi.org/10.1109/SEAA.2010.60","url":null,"abstract":"Safety assessment of dependable systems is a complex verification task that is desirable to be explicitly incorporated into the development cycle during the very early stages of a project. The main reason is that the cost to correct a safety error at the late stages of system development is excessively high. Towards this aim, we introduce an ontology-based model-driven engineering process for automating transformations of models that are utilized as reusable artifacts. The logical and syntactical structures of the design and safety models have to conform to a number of metamodel constraints. These constraints are semantically represented by mapping them onto an OWL domain ontology, allowing the incorporation of a Description Logic OWL reasoner and inference rules, in order to detect lacks of model elements and semantically inconsistent parts. Model validation throughout the ontology-based transformation assures that the generated formal safety model fulfils a series of requirements that render it analyzable. Our approach has been implemented as a response to an industrial problem, where the architecture design is expressed in Architecture Analysis and Design Language (AADL) and safety models are specified in the AltaRica formal language.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121446563","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
Integrating IoT and IoS with a Component-Based Approach 通过基于组件的方法集成物联网和IoS
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.50
Grégory Nain, François Fouquet, Brice Morin, Olivier Barais, J. Jézéquel
{"title":"Integrating IoT and IoS with a Component-Based Approach","authors":"Grégory Nain, François Fouquet, Brice Morin, Olivier Barais, J. Jézéquel","doi":"10.1109/SEAA.2010.50","DOIUrl":"https://doi.org/10.1109/SEAA.2010.50","url":null,"abstract":"There is a growing interest in leveraging Service Oriented Architectures (SOA) in domains such as home automation, automotive, mobile phones or e-Health. With the basic idea (supported in e.g. OSGi) that components provide services, it makes it possible to smoothly integrate the Internet of Things (IoT) with the Internet of Services (IoS). The paradigm of the IoS indeed offers interesting capabilities in terms of dynamicity and interoperability. However in domains that involve “things” (e.g. appliances), there is still a strong need for loose coupling and a proper separation between types and instances that are well-known in Component-Based approaches but that typical SOA fail to provide. This paper presents how we can still get the best of both worlds by augmenting SOA with a Component-Based approach. We illustrate our approach with a case study from the domain of home automation.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132003351","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
Prioritization of Issues and Requirements by Cumulative Voting: A Compositional Data Analysis Framework 通过累积投票确定问题和需求的优先次序:一个组成数据分析框架
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.35
Panagiota Chatzipetrou, L. Angelis, Per Rovegard, C. Wohlin
{"title":"Prioritization of Issues and Requirements by Cumulative Voting: A Compositional Data Analysis Framework","authors":"Panagiota Chatzipetrou, L. Angelis, Per Rovegard, C. Wohlin","doi":"10.1109/SEAA.2010.35","DOIUrl":"https://doi.org/10.1109/SEAA.2010.35","url":null,"abstract":"Cumulative Voting (CV), also known as Hundred-Point Method, is a simple and straightforward technique, used in various prioritization studies in software engineering. Multiple stakeholders (users, developers, consultants, marketing representatives or customers) are asked to prioritize issues concerning requirements, process improvements or change management in a ratio scale. The data obtained from such studies contain useful information regarding correlations of issues and trends of the respondents towards them. However, the multivariate and constrained nature of data requires particular statistical analysis. In this paper we propose a statistical framework; the multivariate Compositional Data Analysis (CoDA) for analyzing data obtained from CV prioritization studies. Certain methodologies for studying the correlation structure of variables are applied to a dataset concerning impact analysis issues prioritized by software professionals under different perspectives. These involve filling of zeros, transformation using the geometric mean, principle component analysis on the transformed variables and graphical representation by biplots and ternary plots.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130761529","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}
引用次数: 46
Designing and Applying a Framework for Logic-Based Model Querying 基于逻辑的模型查询框架的设计与应用
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.21
Patrick Dohrmann, Sebastian Herold
{"title":"Designing and Applying a Framework for Logic-Based Model Querying","authors":"Patrick Dohrmann, Sebastian Herold","doi":"10.1109/SEAA.2010.21","DOIUrl":"https://doi.org/10.1109/SEAA.2010.21","url":null,"abstract":"Querying models is one of the most essential and most elementary tasks in model-based software development. More complex activities like, for instance finding source patterns of model transformations, measuring models, or checking consistency between models, include querying models for certain properties, elements, or substructures. Logic formalisms like full first-predicate logic or description logics provide the well-understood foundation for implementing efficient model querying mechanisms. Regarding the specific purpose of querying models, a more efficient but less expressive logic formalism might be more useful than in other use cases. In this paper, we will introduce a framework which enables us to easily realise metamodel independent query tools based on different subsets of first-order logic. We show the application of the framework by checking a UML design model for architectural properties.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127873258","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
Evaluating a Taxonomy of Handover Activities in One Swedish Company 评估一家瑞典公司交接活动的分类
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.41
M. Kajko-Mattsson, Ahmad Salman Khan, T. Tyrberg
{"title":"Evaluating a Taxonomy of Handover Activities in One Swedish Company","authors":"M. Kajko-Mattsson, Ahmad Salman Khan, T. Tyrberg","doi":"10.1109/SEAA.2010.41","DOIUrl":"https://doi.org/10.1109/SEAA.2010.41","url":null,"abstract":"Handing over a software system from development to maintenance is still an under-researched domain. The software community has a hazy insight into its constellation and inherent activities. In this paper, we have evaluated a preliminary version of a taxonomy of handover activities within one Swedish software company. The evaluation is conducted in an in-house handover context only. Despite this, our results provide evidence of its enormous complexity, variability and strong dependency on many other software engineering processes.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129530095","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
Analyzing the Architectural Support of Usability 分析可用性的架构支持
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.56
B. Biel, V. Gruhn
{"title":"Analyzing the Architectural Support of Usability","authors":"B. Biel, V. Gruhn","doi":"10.1109/SEAA.2010.56","DOIUrl":"https://doi.org/10.1109/SEAA.2010.56","url":null,"abstract":"Since usability requirements can have an impact on software architecture, they should be considered in the software architecture design. We present the method ``Software ArchitecTure analysis of Usability Requirements realizatioN'' (SATURN) during which architects and analysts conduct well-established usability requirements engineering methods (usage context specification, walkthrough, brainstorming) before selecting relevant scenarios from a knowledge base of generic scenarios. Results of a business case study show that the method and its tools are comprehensible to usability non-experts, effective, and efficient.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116301262","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
Adapting Component Behaviours Using Interface Automata 使用接口自动机调整组件行为
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.34
Samir Chouali, Sebti Mouelhi, H. Mountassir
{"title":"Adapting Component Behaviours Using Interface Automata","authors":"Samir Chouali, Sebti Mouelhi, H. Mountassir","doi":"10.1109/SEAA.2010.34","DOIUrl":"https://doi.org/10.1109/SEAA.2010.34","url":null,"abstract":"One of the principal goal of Component-Based Software Engineering (CBSE) is to allow the reuse of components in diverse situations without affecting their codes. To reach this goal, it is necessary to propose approaches to adapt a component with its environment when behavioural mismatches occur during their interactions. In this paper, we present a formal approach based on interface automata to adapt components in order to eliminate possible behavioural mismatches, and then insure more flexible interoperability between components.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128595302","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
Exploring the Sources of Waste in Kanban Software Development Projects 探索看板软件开发项目中浪费的来源
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.40
Marko Ikonen, Petri Kettunen, Nilay V. Oza, P. Abrahamsson
{"title":"Exploring the Sources of Waste in Kanban Software Development Projects","authors":"Marko Ikonen, Petri Kettunen, Nilay V. Oza, P. Abrahamsson","doi":"10.1109/SEAA.2010.40","DOIUrl":"https://doi.org/10.1109/SEAA.2010.40","url":null,"abstract":"The application of agile software methods and more recently the integration of Lean practices contribute to the trend of continuous improvement in the software industry. One such area warranting proper empirical evidence is a project’s operational efficiency when using the Kanban method. This short paper takes a new angle and explores waste in the Kanban-driven software development project context. A preliminary research model is presented for helping the consequent replication of the study. The results from the empirical analysis suggest Kanban can be an effective method in visualizing and organizing the current work, but does not prevent waste from creeping in, although the overall project outcome may be successful.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129213157","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}
引用次数: 67
首页 上一页
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学术官方微信