


default search action
39th EUROMICRO-SEAA 2013: Santander, Spain
- Onur Demirörs, Oktay Türetken:

39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5091-6
Software Process and Product Improvement (SPPI)
SPPI-1: Lean and Agile Processes
- Henrik Jonsson, Stig Larsson, Sasikumar Punnekkat

:
Synthesizing a Comprehensive Framework for Lean Software Development. 1-8 - Muhammad Ovais Ahmad

, Jouni Markkula, Markku Oivo
:
Kanban in Software Development: A Systematic Literature Review. 9-16
SPPI-2: Improving Development Quality and Testing
- Grischa Liebel, Emil Alégroth, Robert Feldt:

State-of-Practice in GUI-based System and Acceptance Testing: An Industrial Multiple-Case Study. 17-24 - Akram Ajouli, Julien Cohen, Jean-Claude Royer:

Transformations between Composite and Visitor Implementations in Java. 25-32 - Adnan Causevic, Sasikumar Punnekkat

, Daniel Sundmark:
TDDHQ: Achieving Higher Quality Testing in Test Driven Development. 33-36
SPPI-3: Applications of Process Improvement
- Elizabeth Bjarnason

, Anne Hess
, Jörg Dörr, Björn Regnell
:
Variations on the Evidence-Based Timeline Retrospective Method: A Comparison of Two Cases. 37-44 - Alois Mayr, Reinhold Plösch, Matthias Saft:

Objective Measurement of Safety in the Context of IEC 61508-3. 45-52 - Matthias Book

, Simon Grapenthin, Volker Gruhn:
Risk-aware Migration of Legacy Data Structures. 53-56 - Hamzeh Eyal Salman

, Abdelhak-Djamel Seriai
, Christophe Dony:
Feature-to-Code Traceability in Legacy Software Variants. 57-61
SPPI-4: MesVAM (Measurement as a Strategy for Software Value Management
- Robert Feldt, Miroslaw Staron

, Erika Hult, Thomas Liljegren:
Supporting Software Decision Meetings: Heatmaps for Visualising Test and Code Measurements. 62-69 - Jürgen Münch

, Fabian Fagerholm
, Petri Kettunen
, Max Pagels, Jari Partanen
:
Experiences and Insights from Applying GQM+Strategies in a Systems Product Development Organisation. 70-77 - Ali Shahrokni, Robert Feldt:

Industrial Challenges with Quality Requirements in Safety Critical Software Systems. 78-81
SPPI-5: Reuse and Evolution Processes
- Helena Holmström Olsson, Jan Bosch, Hiva Allahyari:

Customer-Specific Teams for Agile Evolution of Large-Scale Embedded Systems. 82-89 - Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel

:
Improving Reusability in Software Process Lines. 90-93 - Fritz Stallinger

, Robert Neumann:
A Framework for Innovation System Customization for Product Line-Based Software Businesses. 94-97
Model-Based Development, Components, and Services (MOCS)
MOCS-1: Model-Driven Development I
- Jessica Díaz

, Jennifer Pérez
, Carlos Fernández-Sánchez
, Juan Garbajosa
:
Model-to-Code Transformation from Product-Line Architecture Models to AspectJ. 98-105 - Asmaa S. Alayed

, Kung-Kiu Lau, Petr Stepan, Cuong M. Tran:
Towards Component-based Domain Engineering. 106-113
MOCS-2: Model-Driven Development II
- Davide Di Ruscio

, Ludovico Iovino
, Alfonso Pierantonio
:
Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications. 114-121 - Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

:
A Toolchain for Home Automation Controller Development. 122-129 - Thomas Buchmann

, Bernhard Westfechtel:
Towards Incremental Round-Trip Engineering Using Model Transformations. 130-133 - Bilal Karasneh, Michel R. V. Chaudron

:
Img2UML: A System for Extracting UML Models from Images. 134-137
MOCS-3: Model Analysis and Interpretation
- Feriel Ben Abdallah, Ludovic Apvrille:

Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS. 138-144 - Kamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada

:
Software Components Compatibility Verification Based on Static Byte-Code Analysis. 145-152 - Federico Ciccozzi, Antonio Cicchetti

, Mikael Sjödin:
Towards Translational Execution of Action Language for Foundational UML. 153-160
MOCS-4: Architecture Evolution
- Mauro Caporuscio

:
Microevolution of Pervasive Services. 161-168 - Sihem Loukil, Slim Kallel

, Mohamed Jmaiel:
Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems. 169-176
MOCS-5: Architecture Modeling
- Mert Ozkaya

, Christos Kloukinas
:
Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability. 177-184 - José Miguel Horcas

, Mónica Pinto
, Lidia Fuentes
:
Variability and Dependency Modeling of Quality Attributes. 185-188 - Gaetana Sapienza, Tiberiu Seceleanu

, Ivica Crnkovic
:
Modelling for Hardware and Software Partitioning Based on Multiple Properties. 189-194
Embedded Software Engineering (ESE)
ESE-1: Model-Based Development
- Patricia López Martínez

, Jose Maria M. Lanza, José M. Drake, Michael González Harbour:
Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour Models. 195-202 - Kung-Kiu Lau, Petr Stepan, Cuong M. Tran, Sébastien Saudrais, Borjan Tchakaloff:

A Holistic (Component-based) Approach to AUTOSAR Designs. 203-207 - Dennis C. Feiock, James H. Hill:

Using Component-based Middleware to Design and Implement Data Distribution Service (DDS) Systems. 208-211
ESE-2: Analysis and Programming
- Richard Lee, Samar Abdi, Frederic Risacher:

Early and Accurate Modeling of Streaming Embedded Applications. 212-219 - Atis Elsts, Janis Judvaitis

, Leo Selavo
:
SEAL: A Domain-Specific Language for Novice Wireless Sensor Network Programmers. 220-227 - Helmut Martin, Bernhard Winkler, Andrea Leitner, Alexander Thaler, Martin Cifrain, Daniel Watzenig:

Investigation of the Influence of Non-E/E Safety Measures for the ASIL Determination. 228-231 - Øyvind Netland, Amund Skavhaug:

Software Module Real-Time Target: Improving Development of Embedded Control System by Including Simulink Generated Code Into Existing Code. 232-235
ESE-3: Requirements Engineering
- Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán

:
Model-Driven Requirements Engineering for Embedded Systems Development. 236-243 - Ronald Wolvers, Tiberiu Seceleanu

:
Embedded Systems Design Flows: Integrating Requirements Authoring and Design Tools. 244-251 - Jiale Zhou, Yue Lu, Kristina Lundqvist:

A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems. 252-259
ESE-4: Formal Methods
- Roland Schatz, Herbert Prähofer:

Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers. 260-267 - Jagadish Suryadevara:

Validating EAST-ADL Timing Constraints Using UPPAAL. 268-275
Software Management (SM)
SM-1
- Ulrik Eklund, Jan Bosch:

Archetypical Approaches of Fast Software Development and Slow Embedded Projects. 276-283 - Filomena Ferrucci, Carmine Gravino

, Guido Moretto:
A Lean Approach to Estimate the Functional Size of Operating Applications. 284-291
SM-2: EsPreSSE: Estimation and Prediction in Software & Systems Engineering
- Christian Haisjackl, Michael Felderer

, Ruth Breu:
RisCal - A Risk Estimation Tool for Software Engineering Purposes. 292-299 - Dirk Tetzlaff, Sabine Glesner:

Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. 300-307 - Semra Yilmaz Tastekin, Yusuf Murat Erten, Semih Bilgen:

Software Product Complexity Estimation Using Grey Measurement. 308-312 - Derya Toka, Oktay Türetken

:
Accuracy of Contemporary Parametric Software Estimation Models: A Comparative Analysis. 313-316
SM-3
- Nikolaos Mittas

, Lefteris Angelis:
Overestimation and Underestimation of Software Cost Models: Evaluation by Visualization. 317-324 - Miroslaw Staron

, Wilhelm Meding, Christoffer Hoglund, Peter S. Eriksson, Jimmy Nilsson, Jörgen Hansson:
Identifying Implicit Architectural Dependencies Using Measures of Source Code Change Waves. 325-332
SM-4
- Pinar Efe

, Onur Demirörs
:
Applying EVM in a Software Company: Benefits and Difficulties. 333-340 - Giuseppe Scanniello

, Filippo Ricca, Marco Torchiano
, Carmine Gravino
, Gianna Reggio:
Estimating the Effort to Develop Screen Mockups. 341-348 - Lucia De Marco, Filomena Ferrucci, Carmine Gravino

:
Approximate COSMIC Size to Early Estimate Web Application Development Effort. 349-356
Cloud Software
CS-1: Cloud Software
- Fahimeh Farahnakian, Pasi Liljeberg, Juha Plosila

:
LiRCUP: Linear Regression Based CPU Usage Prediction Algorithm for Live Migration of Virtual Machines in Data Centers. 357-364 - Fareed Jokhio, Adnan Ashraf

, Sébastien Lafond
, Johan Lilius
:
A Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the Cloud. 365-372 - Joachim Götze, Tino Fleuren, Bernd Reuther, Paul Müller:

A Model for Policy-Based Automation of Usage Accounting across Multiple Cloud Infrastructures. 373-380
CS-2: Scientific Workflows in the Cloud
- Tino Fleuren, Joachim Götze, Paul Müller:

Facilitating Scientific Workflow Configuration with Parameterized Workflow Skeletons. 381-388 - Matthias Janetschek, Simon Ostermann

, Radu Prodan
:
Bringing Scientific Workflows to Amazon SWF. 389-396
Workshop Session on Teaching, Education, and Training for Dependable Embedded and Cyberphysical Systems [ERCIM/ARTEMIS/EUROMICRO]
TET-DEC-1
- Sasikumar Punnekkat

:
Efficient Embedded Systems Education by Adopting Component Based Software Development Paradigm. 397-401 - Miren Illarramendi Rezabal

, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona:
Reuse in Safety Critical Systems: Educational Use Case. 402-407
TET-DEC-2
- Michael Lipaczewski, Frank Ortmeier:

Teaching and Training Formal Methods for Safety Critical Systems. 408-413 - Erwin Schoitsch, Amund Skavhaug:

European Perspectives on Teaching, Education and Training for Dependable Embedded and Cyber-physical Systems. 414-423

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














