Table of Contents

• DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio ApplicationsJair Gonzalez-Pina, Rabéa Ameur-Boulifa, Renaud Pacalet. 1-8 [doi]
• A MDD Approach for RTOS Integration on Valid Real-Time Design ModelRania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. 9-16 [doi]
• Multi-view Power Modeling Based on UML, MARTE and SysMLCarlos Gomez, Julien DeAntoni, Frédéric Mallet. 17-20 [doi]
• A Property-Based Proof System for Contract-Based DesignAlessandro Cimatti, Stefano Tonetta. 21-28 [doi]
• Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow GraphsRobert de Groote, Jan Kuper, Hajo Broersma, Gerard J. M. Smit. 29-38 [doi]
• A Framework for the Development of Parallel and Distributed Real-Time Embedded SystemsRicardo Garibay-Martínez, Luis Lino Ferreira, Luís Miguel Pinho. 39-46 [doi]
• Structuring Modular Safety Software Certification by Using Common Criteria ConceptsChristopher Preschern, Kurt Dietrich. 47-50 [doi]
• Database Proxy Tool Support in an AUTOSAR Development EnvironmentAndreas Hjertström, Dag Nyström, Mikael Sjödin. 51-54 [doi]
• Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic ReplayRoland Schatz, Herbert Prähofer. 55-62 [doi]
• Varying Topology of Component-Based System Architectures Using Metaheuristic OptimizationRamin Etemaadi, Michel R. V. Chaudron. 63-70 [doi]
• Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded SystemsLuka Lednicki, Ivica Crnkovic, Mario Zagar. 71-74 [doi]
• A Bridge from System to Software Development for Safety-Critical Automotive Embedded SystemsRoland Mader, Gerhard Grießnig, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Christian Steger, Reinhold Weiss. 75-79 [doi]
• Real-Time Component Integration Using Runnable Virtual NodesRafia Inam, Jukka Mäki-Turja, Mikael Sjödin, Jirí Kuncar. 80-84 [doi]
• An Aspect-Based Feature Model for Architecting Component Product LinesLeonardo P. Tizzei, Cecília M. F. Rubira, Jaejoon Lee. 85-92 [doi]
• TIRT: A Traceability Information Retrieval Tool for Software Product Lines ProjectsWylliams Barbosa Santos, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 93-100 [doi]
• CodeScoping: A Source Code Based Tool to Software Product Lines ScopingThiago Fernandes Lins de Medeiros, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 101-104 [doi]
• A Lightweight Approach for Product Line ScopingMarkus Nöbauer, Norbert Seyff, Iris Groher, Deepak Dhungana. 105-108 [doi]
• Ensuring Component Application Consistency on Small Devices: A Repository-Based ApproachPremek Brada, Kamil Jezek. 109-116 [doi]
• Towards a Model-Based Approach for Allocating Tasks to Multicore ProcessorsJuraj Feljan, Jan Carlson, Tiberiu Seceleanu. 117-124 [doi]
• Reliability Prediction for Service Component Architectures with the SCA-ASM Component ModelElvinia Riccobene, Pasqualina Potena, Patrizia Scandurra. 125-132 [doi]
• Path Coverage Criteria for Palladio Performance ModelsHenning Groenda. 133-137 [doi]
• Using Virtual Machine Security to Reinforce Components ConstraintsAurélio A. M. Matsui, Straus Michalsky, Marco Aurélio Gerosa. 138-141 [doi]
• Toward Model-Based Trade-off Analysis of Non-functional RequirementsMehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin. 142-149 [doi]
• An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface ArchitecturesJavier Criado, Luis Iribarne, Nicolás Padilla, Javier Troya, Antonio Vallecillo. 150-157 [doi]
• X-MAN: An MDE Tool for Component-Based System DevelopmentKung-Kiu Lau, Cuong M. Tran. 158-165 [doi]
• A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems DesignAdel Ziani, Brahim Hamid, Jean-Michel Bruel. 166-169 [doi]
• Automatic Adaptation of Transformations Based on Type Graph with MultiplicityQuyet-Thang Pham, Antoine Beugnard. 170-174 [doi]
• Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation FrameworkTomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout. 175-182 [doi]
• ORCA: Architecture for Business Tier Components Driven by Dynamic Adaptation and Based on Call Level InterfacesÓscar Mortágua Pereira, Rui L. Aguiar, Maribel Yasmina Santos. 183-191 [doi]
• Extracting Components from Open Source: The Component Adaptation Environment (COPE) ApproachGeorge Kakarontzas, Ioannis Stamelos, Stefanos Skalistis, Athanasios Naskos. 192-199 [doi]
• Federated Search for Open Source Software ReuseFotis Kokkoras, Konstantinos Ntonas, Apostolos Kritikos, George Kakarontzas, Ioannis Stamelos. 200-203 [doi]
• Application and UI Composition Using a Component-Based Description and AnnotationsChristian Brel, Philippe Renevier-Gonin, Anne-Marie Pinna-Dery, Michel Riveill. 204-207 [doi]
• Engineering Emergent Semantics into Pervasive Resource DiscoveryMauro Caporuscio. 208-215 [doi]
• Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time SystemsKonstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With. 216-223 [doi]
• LogOS: An Automatic Logging Framework for Service-Oriented ArchitecturesStéphane Frénot, Julien Ponge. 224-227 [doi]
• FOAM: A Lightweight Method for Verification of Use-CasesViliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plasil. 228-232 [doi]
• A Model-Driven Dependability Analysis Method for Component-Based ArchitecturesBarbara Gallina, Muhammad A. Javed, Faiz Ul Muram, Sasikumar Punnekkat. 233-240 [doi]
• DEZENT - A Cyber-Physical Approach for Providing Affordable Regenerative Electric Energy in the Near FutureHorst F. Wedde. 241-249 [doi]
• Applying the Organic Robot Control Architecture ORCA to Cyber-Physical SystemsRaphael Maas, Erik Maehle, Karl-Erwin Großpietsch. 250-257 [doi]
• Bee-Inpired Road Traffic Control as an Example of Swarm Intelligence in Cyber-Physical SystemsSebastian Senge, Horst F. Wedde. 258-265 [doi]
• Adapting the Lean Enterprise Self-Assessment Tool for the Software Development DomainTeemu Karvonen, Pilar Rodríguez, Pasi Kuvaja, Kirsi Mikkonen, Markku Oivo. 266-273 [doi]
• Investigating Daily Team Meetings in Agile Software ProjectsViktoria Gulliksen Stray, Nils Brede Moe, Aybüke Aurum. 274-281 [doi]
• Organizational Values and Agile Methods DeploymentStavros Stavru. 282-285 [doi]
• Random Test Case Generation and Manual Unit Testing: Substitute or Complement in Retrofitting Tests for Legacy Code?Rudolf Ramler, Dietmar Winkler, Martina Schmidt. 286-293 [doi]
• A Case Study on Measuring Process Quality: Lessons LearnedAhmet Dikici, Oktay Türetken, Onur Demirörs. 294-297 [doi]
• From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality AssuranceFrank Elberzhager, Thomas Bauer. 298-301 [doi]
• Micro Pattern Fault-PronenessGiuseppe Destefanis, Roberto Tonelli, Ewan D. Tempero, Giulio Concas, Michele Marchesi. 302-306 [doi]
• From Software to Software System Products: An Add-on Process Reference Model for Enhancing ISO/IEC 12207 with Product Management and System-Level ReuseFritz Stallinger, Robert Neumann. 307-314 [doi]
• Towards a Metamodel for Integrating Multiple Models for Process ImprovementEdgar Lopes Banhesse, Clenio F. Salviano, Mario Jino. 315-318 [doi]
• The Barriers to Traceability and their Potential Solutions: Towards a Reference FrameworkGilbert Regan, Fergal McCaffery, Kevin McDaid, Derek Flood. 319-322 [doi]
• A Practice for Recording Problem and Solution Domain Requirements in VLSREMarkus Kelanti, Jari Lehto, Sanja Aaramaa, Pasi Kuvaja. 323-326 [doi]
• A Consolidated Process for Software Process Simulation: State of the Art and Industry ExperienceNauman Bin Ali, Kai Petersen. 327-336 [doi]
• Fostering Cross-site Coordination through Awareness: An Investigation of State-of-the-Practice through a Focus Group StudyDarja Smite, Torgeir Dingsøyr. 337-344 [doi]
• Low Degree of Separation Does Not Guarantee Easy CoordinationZane Galvina, Darja Smite. 345-348 [doi]
• Managing Software Quality RequirementsLaura Phillips, Aybüke Aurum, Richard Berntsson-Svensson. 349-356 [doi]
• Software Measurement in Software Engineering Education: A Delphi Study to Develop a List of Teaching Topics and Related Levels of LearningMónica Villavicencio, Alain Abran. 357-362 [doi]
• Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA TestsuiteRudolf Ramler, Theodorich Kopetzky, Wolfgang Platz. 363-366 [doi]
• An Investigation of Software Effort Phase Distribution Using Compositional Data AnalysisPanagiota Chatzipetrou, Efi Papatheocharous, Lefteris Angelis, Andreas S. Andreou. 367-375 [doi]
• Developers Motivation in Agile TeamsClaudia de O. Melo, Célio Santana, Fabio Kon. 376-383 [doi]
• A Fuzzy Multi Criteria Decision Making Approach to Software Life Cycle Model SelectionMumin Hicdurmaz. 384-391 [doi]
• Climbing the "Stairway to Heaven" - A Mulitiple-Case Study Exploring Barriers in the Transition from Agile Development towards Continuous Deployment of SoftwareHelena Holmström Olsson, Hiva Allahyari, Jan Bosch. 392-399 [doi]
• Towards the Understanding and Classification of the Personality Traits of Software Development Practitioners: Situational Context Cards ApproachMurat Yilmaz, Rory V. O'Connor. 400-405 [doi]
• Guiding Testing Activities by Predicting Defect-Prone Parts Using Product and Inspection MetricsFrank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann. 406-413 [doi]
• An Analysis of Accuracy and Learning in Software Project EstimatingAndres H. Zapata, Michel R. V. Chaudron. 414-421 [doi]
• Pocket Estimator - A Commercial Solution to Provide Free Parametric Software Estimation Combining an Expert and a Learning AlgorithmFlorian Schnitzhofer, Peter Schnitzhofer. 422-425 [doi]
• Estimating the Return on Investment of Defect Taxonomy Supported System Testing in Industrial ProjectsMichael Felderer, Armin Beer. 426-430 [doi]
• Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual MachineAdnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres. 431-438 [doi]
• Towards Mobile Multimedia Mashup ArchitectureMikko Hartikainen, Arto Salminen, Jarno Kallio. 439-445 [doi]
• A Model for Global Software Development with Cloud PlatformsLuisanna Cocco, Katiuscia Mannaro, Giulio Concas. 446-452 [doi]
• Differentiation in the Cloud: Methodology for Integrating Customer Values in Experience DesignAndrey Sirotkin, Kaisa Koskela-Huotari, Kaarina Karppinen, Javier Del Ser, Bronan McCabe. 453-459 [doi]