2012 38th Euromicro Conference on Software Engineering and Advanced Applications最新文献_第3页

LogOS: An Automatic Logging Framework for Service-Oriented Architectures LogOS:面向服务的体系结构的自动日志框架

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.37

S. Frénot, Julien Ponge

引用次数: 7

Applying the Organic Robot Control Architecture ORCA to Cyber-Physical Systems 有机机器人控制体系结构ORCA在信息物理系统中的应用

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.74

Raphael Maas, E. Maehle, K. Großpietsch

引用次数: 5

A Property-Based Proof System for Contract-Based Design 基于契约设计的产权证明系统

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.68

A. Cimatti, Stefano Tonetta

{"title":"A Property-Based Proof System for Contract-Based Design","authors":"A. Cimatti, Stefano Tonetta","doi":"10.1109/SEAA.2012.68","DOIUrl":"https://doi.org/10.1109/SEAA.2012.68","url":null,"abstract":"Contract-based design is an emerging paradigm for the design of complex systems, where each component is associated with a contract, i.e., a clear description of the expected behaviour. Contracts specify the input-output behaviour of a component by defining what the component guarantees, provided that the its environment obeys some given assumptions. The ultimate goal of contract-based design is to allow for compositional reasoning, stepwise refinement, and a principled reuse of components that are already pre-designed, or designed independently. In this paper, we present a novel, fully formal contract framework. The decomposition of the system architecture is complemented with the corresponding decomposition of component contracts. The framework exploits such decomposition to automatically generate a set of proof obligations, which, once verified, allow concluding the correctness of the top-level system properties. The framework relies on an expressive property specification language, conceived for the formalization of embedded system requirements. The proof system reduces the correctness of contracts refinement to entailment of temporal logic formulas, and is supported by a verification engine based on automated SMT techniques.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"24 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":"124835053","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}

引用次数: 84

Extracting Components from Open Source: The Component Adaptation Environment (COPE) Approach 从开放源码中提取组件:组件适应环境(COPE)方法

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.39

George Kakarontzas, I. Stamelos, Stefanos Skalistis, A. Naskos

{"title":"Extracting Components from Open Source: The Component Adaptation Environment (COPE) Approach","authors":"George Kakarontzas, I. Stamelos, Stefanos Skalistis, A. Naskos","doi":"10.1109/SEAA.2012.39","DOIUrl":"https://doi.org/10.1109/SEAA.2012.39","url":null,"abstract":"Open Source Software (OSS) represents an extremely valuable resource that is reused systematically almost in every software project. The reuse of OSS components however is restricted to ready-made components and developers who want to reuse code that exists in OSS projects but is not offered as a black-box component often resort to copying existing code and adapting it in their projects. OPEN-SME is a European research project which aims at providing ready-to-use OSS components that originate from existing OSS projects but are not necessarily provided as such. In this work we describe the Component Adaptation Environment (COPE) tool that was developed in the context of the OPEN-SME project and enables software experts, called reuse engineers, to extract components from OSS projects, test them and provide test documentation, validate them with Model-Based Testing techniques, package them and upload them in a component repository for reuse. The whole approach aims at creating an ever increasing repository of trustworthy reusable software components from different application domains.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"31 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":"121897810","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

Fostering Cross-site Coordination through Awareness: An Investigation of State-of-the-Practice through a Focus Group Study 通过意识促进跨站点协调:通过焦点小组研究对实践状态的调查

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.24

Darja Šmite, Torgeir Dingsøyr

引用次数: 7

A Fuzzy Multi Criteria Decision Making Approach to Software Life Cycle Model Selection 软件生命周期模型选择的模糊多准则决策方法

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.71

Mumin Hicdurmaz

引用次数: 17

Towards the Understanding and Classification of the Personality Traits of Software Development Practitioners: Situational Context Cards Approach 软件开发从业者人格特征的理解与分类:情境情境卡片法

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.62

Murat Yilmaz, Rory V. O'Connor

{"title":"Towards the Understanding and Classification of the Personality Traits of Software Development Practitioners: Situational Context Cards Approach","authors":"Murat Yilmaz, Rory V. O'Connor","doi":"10.1109/SEAA.2012.62","DOIUrl":"https://doi.org/10.1109/SEAA.2012.62","url":null,"abstract":"This study explores the personality traits of software development practitioners by using a classification schema based on the personality traits extended on the Myers-Briggs type indicator (MBTI). To extract the information necessary for understanding and classification of software development personnel, we developed a card game playable with either single or multiple participants. The game consists of seventy cards, which have a keyword and a picture on one side and a hypothetical situation typically encountered in software development landscapes with two different selectable options on the other side. The game master (GM) reads a situation by showing the pictures to participants and elicits the most suitable answer in between two selections. Ultimately, the outcome of the game reveals the personality traits of individuals on a compatible scale with the MBTI. To evaluate our game-based personality identification method, we conduct a case study with sixteen individuals at a university environment in seven group sessions. In light of the experience gained, secondly we refine the questions and test the game on sixty software development personnel selected from a set of team-based pairings at a middle size software company. Our preliminary results indicate that there are more individuals in software teams, who may perceive to be extroverted not only in a classroom environment but also in an industrial setting. Moreover, the initial results suggest that our method can be a viable to the classical paper based MBTI tests particularly for managing the workforce in software development projects.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"50 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":"120909661","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}

引用次数: 23

Path Coverage Criteria for Palladio Performance Models Palladio性能模型的路径覆盖标准

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.17

Henning Groenda

引用次数: 0

Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine 每个虚拟机部署和扩展多个Web应用程序的反馈控制算法

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.13

A. Ashraf, Benjamin Byholm, J. Lehtinen, Ivan Porres

引用次数: 31

Investigating Daily Team Meetings in Agile Software Projects 研究敏捷软件项目中的每日团队会议

2012 38th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2012-09-05 DOI: 10.1109/SEAA.2012.16

V. Stray, N. B. Moe, A. Aurum

{"title":"Investigating Daily Team Meetings in Agile Software Projects","authors":"V. Stray, N. B. Moe, A. Aurum","doi":"10.1109/SEAA.2012.16","DOIUrl":"https://doi.org/10.1109/SEAA.2012.16","url":null,"abstract":"An increasing amount of time is being spent at organizational meetings. One common type of meeting in software projects is the daily team meeting, which is the most important forum for coordinating and planning daily work. To better understand how software teams make decisions, communicate, and coordinate their work, we must uncover the micro-level interaction processes among the team members at these meetings. We analyzed transcriptions of eight daily meetings from two software development teams. The agile literature states that the daily meeting should focus on answering questions such as \"What have I done? What will be done? What obstacles are in my way?\" However, on average, only 24% of each of the meetings that we studied focused on this task. We found that 35% of the meeting was spent on elaborating problem issues and discussing possible solutions. Very little time was used for coordinating tasks. Our results indicate that many project decisions are made in daily team meetings and that this quick decision making requires team members to be experts. These experts need to have a shared understanding of who is responsible for what and of the information and requirements needed to solve the tasks.","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":"129752596","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}

引用次数: 27