Table of Contents

• Synthesizing a Comprehensive Framework for Lean Software DevelopmentHenrik Jonsson, Stig Larsson, Sasikumar Punnekkat. 1-8 [doi]
• Kanban in Software Development: A Systematic Literature ReviewMuhammad Ovais Ahmad, Jouni Markkula, Markku Oivo. 9-16 [doi]
• State-of-Practice in GUI-based System and Acceptance Testing: An Industrial Multiple-Case StudyGrischa Liebel, Emil Alegroth, Robert Feldt. 17-24 [doi]
• Transformations between Composite and Visitor Implementations in JavaAkram Ajouli, Julien Cohen, Jean-Claude Royer. 25-32 [doi]
• TDDHQ: Achieving Higher Quality Testing in Test Driven DevelopmentAdnan Causevic, Sasikumar Punnekkat, Daniel Sundmark. 33-36 [doi]
• Variations on the Evidence-Based Timeline Retrospective Method: A Comparison of Two CasesElizabeth Bjarnason, Anne Hess, Joerg Doerr, Björn Regnell. 37-44 [doi]
• Objective Measurement of Safety in the Context of IEC 61508-3Alois Mayr, Reinhold Plösch, Matthias Saft. 45-52 [doi]
• Risk-aware Migration of Legacy Data StructuresMatthias Book, Simon Grapenthin, Volker Gruhn. 53-56 [doi]
• Feature-to-Code Traceability in Legacy Software VariantsHamzeh Eyal Salman, Abdelhak-Djamel Seriai, Christophe Dony. 57-61 [doi]
• Supporting Software Decision Meetings: Heatmaps for Visualising Test and Code MeasurementsRobert Feldt, Miroslaw Staron, Erika Hult, Thomas Liljegren. 62-69 [doi]
• Experiences and Insights from Applying GQM+Strategies in a Systems Product Development OrganisationJürgen Münch, Fabian Fagerholm, Petri Kettunen, Max Pagels, Jari Partanen. 70-77 [doi]
• Industrial Challenges with Quality Requirements in Safety Critical Software SystemsAli Shahrokni, Robert Feldt. 78-81 [doi]
• Customer-Specific Teams for Agile Evolution of Large-Scale Embedded SystemsHelena Holmström Olsson, Jan Bosch, Hiva Alahyari. 82-89 [doi]
• Improving Reusability in Software Process LinesEmmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel. 90-93 [doi]
• A Framework for Innovation System Customization for Product Line-Based Software BusinessesFritz Stallinger, Robert Neumann. 94-97 [doi]
• Model-to-Code Transformation from Product-Line Architecture Models to AspectJJessica Díaz, Jennifer Pérez, Carlos Fernandez-Sanchez, Juan Garbajosa. 98-105 [doi]
• Towards Component-based Domain EngineeringAsmaa Alayed, Kung-Kiu Lau, Petr Stepan, Cuong M. Tran. 106-113 [doi]
• Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax SpecificationsDavide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio. 114-121 [doi]
• A Toolchain for Home Automation Controller DevelopmentPeter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou. 122-129 [doi]
• Towards Incremental Round-Trip Engineering Using Model TransformationsThomas Buchmann, Bernhard Westfechtel. 130-133 [doi]
• Img2UML: A System for Extracting UML Models from ImagesBilal Karasneh, Michel R. V. Chaudron. 134-137 [doi]
• Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUSFeriel Ben Abdallah, Ludovic Apvrille. 138-144 [doi]
• Software Components Compatibility Verification Based on Static Byte-Code AnalysisKamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada. 145-152 [doi]
• Towards Translational Execution of Action Language for Foundational UMLFederico Ciccozzi, Antonio Cicchetti, Mikael Sjödin. 153-160 [doi]
• Microevolution of Pervasive ServicesMauro Caporuscio. 161-168 [doi]
• Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive SystemsSihem Loukil, Slim Kallel, Mohamed Jmaiel. 169-176 [doi]
• Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and RealizabilityMert Ozkaya, Christos Kloukinas. 177-184 [doi]
• Variability and Dependency Modeling of Quality AttributesJose Miguel Horcas, Mónica Pinto, Lidia Fuentes. 185-188 [doi]
• Modelling for Hardware and Software Partitioning Based on Multiple PropertiesGaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic. 189-194 [doi]
• Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour ModelsPatricia López Martínez, Jose Maria M. Lanza, José M. Drake, Michael González Harbour. 195-202 [doi]
• A Holistic (Component-based) Approach to AUTOSAR DesignsKung-Kiu Lau, Petr Stepan, Cuong M. Tran, Sébastien Saudrais, Borjan Tchakaloff. 203-207 [doi]
• Using Component-based Middleware to Design and Implement Data Distribution Service (DDS) SystemsDennis C. Feiock, James H. Hill. 208-211 [doi]
• Early and Accurate Modeling of Streaming Embedded ApplicationsRichard Lee, Samar Abdi, Frederic Risacher. 212-219 [doi]
• SEAL: A Domain-Specific Language for Novice Wireless Sensor Network ProgrammersAtis Elsts, Janis Judvaitis, Leo Selavo. 220-227 [doi]
• Investigation of the Influence of Non-E/E Safety Measures for the ASIL DeterminationHelmut Martin, Bernhard Winkler, Andrea Leitner, Alexander Thaler, Martin Cifrain, Daniel Watzenig. 228-231 [doi]
• Software Module Real-Time Target: Improving Development of Embedded Control System by Including Simulink Generated Code Into Existing CodeØyvind Netland, Amund Skavhaug. 232-235 [doi]
• Model-Driven Requirements Engineering for Embedded Systems DevelopmentGrzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán. 236-243 [doi]
• Embedded Systems Design Flows: Integrating Requirements Authoring and Design ToolsRonald Wolvers, Tiberiu Seceleanu. 244-251 [doi]
• A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software SystemsJiale Zhou, Yue Lu, Kristina Lundqvist. 252-259 [doi]
• Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic ControllersRoland Schatz, Herbert Prähofer. 260-267 [doi]
• Validating EAST-ADL Timing Constraints Using UPPAALJagadish Suryadevara. 268-275 [doi]
• Archetypical Approaches of Fast Software Development and Slow Embedded ProjectsUlrik Eklund, Jan Bosch. 276-283 [doi]
• A Lean Approach to Estimate the Functional Size of Operating ApplicationsFilomena Ferrucci, Carmine Gravino, Guido Moretto. 284-291 [doi]
• RisCal - A Risk Estimation Tool for Software Engineering PurposesChristian Haisjackl, Michael Felderer, Ruth Breu. 292-299 [doi]
• Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot OptimizationsDirk Tetzlaff, Sabine Glesner. 300-307 [doi]
• Software Product Complexity Estimation Using Grey MeasurementSemra Yilmaz Tastekin, Yusuf Murat Erten, Semih Bilgen. 308-312 [doi]
• Accuracy of Contemporary Parametric Software Estimation Models: A Comparative AnalysisDerya Toka, Oktay Türetken. 313-316 [doi]
• Overestimation and Underestimation of Software Cost Models: Evaluation by VisualizationNikolaos Mittas, Lefteris Angelis. 317-324 [doi]
• Identifying Implicit Architectural Dependencies Using Measures of Source Code Change WavesMiroslaw Staron, Wilhelm Meding, Christoffer Hoglund, Peter Eriksson, Jimmy Nilsson, Jörgen Hansson. 325-332 [doi]
• Applying EVM in a Software Company: Benefits and DifficultiesPinar Efe, Onur Demirörs. 333-340 [doi]
• Estimating the Effort to Develop Screen MockupsGiuseppe Scanniello, Filippo Ricca, Marco Torchiano, Carmine Gravino, Gianna Reggio. 341-348 [doi]
• Approximate COSMIC Size to Early Estimate Web Application Development EffortLucia De Marco, Filomena Ferrucci, Carmine Gravino. 349-356 [doi]
• LiRCUP: Linear Regression Based CPU Usage Prediction Algorithm for Live Migration of Virtual Machines in Data CentersFahimeh Farahnakian, Pasi Liljeberg, Juha Plosila. 357-364 [doi]
• A Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the CloudFareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius. 365-372 [doi]
• A Model for Policy-Based Automation of Usage Accounting across Multiple Cloud InfrastructuresJoachim Götze, Tino Fleuren, Bernd Reuther, Paul Müller. 373-380 [doi]
• Facilitating Scientific Workflow Configuration with Parameterized Workflow SkeletonsTino Fleuren, Joachim Götze, Paul Müller. 381-388 [doi]
• Bringing Scientific Workflows to Amazon SWFMatthias Janetschek, Simon Ostermann 0001, Radu Prodan. 389-396 [doi]
• Efficient Embedded Systems Education by Adopting Component Based Software Development ParadigmSasikumar Punnekkat. 397-401 [doi]
• Reuse in Safety Critical Systems: Educational Use CaseMiren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona. 402-407 [doi]
• Teaching and Training Formal Methods for Safety Critical SystemsMichael Lipaczewski, Frank Ortmeier. 408-413 [doi]
• European Perspectives on Teaching, Education and Training for Dependable Embedded and Cyber-physical SystemsErwin Schoitsch, Amund Skavhaug. 414-423 [doi]