Table of Contents

• The DAO of Parallel Software ConstructionArmin Größlinger.
• Context-Aware Decision Support in Dynamic Environments - Theoretical & Technological FoundationsAlexander Smirnov.
• The Complexity CrisisFrançois E. Cellier.
• Software Engineering Research under the LamppostClaes Wohlin.
• SESGAL Software for Managing Earthquake Risk in GaliciaCarla Iglesias, Eduardo Giráldez, Javier Taboada, Roberto Martínez-Alegría, Isabel Margarida Antunes. 7-14 [doi]
• A Business Goals Centric Method for Automatic DW Design from UML Models Mounira Ben-Abdallah, Nahla Zaaboub Haddar, Hanêne Ben-Abdallah. 15-23
• Using Intentional and System Dynamics Modeling to Address WHYs in Enterprise ArchitectureSagar Sunkle, Suman Roychoudhury, Vinay Kulkarni. 24-31 [doi]
• Implementing Intelligent Tutoring System using Jade Agents Intermediation System (JAIS) in an Collaborative Environment (CE) like Community of Practices - For Collaborative Learning, Knowledge Sharing EmergenceClauvice Kenfack. 32-40
• Process Lines for Automatic Workflow DevelopmentMario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi. 41-49 [doi]
• Spatial Connector - Loosely Binding Contextual Changes and Non-Context-Aware ServicesIchiro Satoh. 50-57 [doi]
• An Industrial Standard to Assure Dependability in Software ReuseFevzi Belli. 58-63 [doi]
• New Concepts for Knowledge based Cataract Surgery Assistance - A First Clinical ApproachK. P. Scherer, C. Rieder, C. Henninger, Joachim Baumeister, Jochen Reutelshöfer. 64-68 [doi]
• The Application of VLE with 3D Google Earth and Interactive TechnologyWei-Kai Liou, Chun-Yen Chung. 69-73 [doi]
• A Metamodel-driven Architecture for Generating, Populating and Manipulating "Possible Worlds" to Answer QuestionsImre Kilián, Gábor Alberti. 74-78 [doi]
• MuLSA: Multi-Layered Scenario Analysis for an Advanced Driver Assistance SystemTakako Nakatani, Keita Sato. 83-91 [doi]
• An Intermediate Language for Compilation to Scripting LanguagesPaola Giannini, Albert Shaqiri. 92-103 [doi]
• Real-Time and Embedded Systems Challenges - Key Requirements and IssuesNadia Menad, Philippe Dhaussy. 107-113
• MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First ProposalNadia Menad, Philippe Dhaussy, Belhadri Messabih. 114-123
• Cloud Testing for Mobile Software Systems - Concept and PrototypingOleksii Starov, Sergiy Vilkomir, Vyacheslav Kharchenko. 124-131 [doi]
• A Systematic Literature Review on CMS-based Web ApplicationsFeliu Trias, Valeria de Castro, Marcos López Sanz, Esperanza Marcos. 132-140 [doi]
• From Viewpoints and Abstraction Levels in Software Engineering Towards Multi-Viewpoints/Multi-Hierarchy in Software ArchitectureAhmad Kheir, Hala Naja, Mourad Oussalah, Kifah Tout. 141-146
• Software Requirements Parts for Construction of Software Requirements SpecificationsYoshitaka Iyoda, Atsushi Ohnishi. 147-153 [doi]
• Feature Model Extraction from Product Source Codes based on the Semantic AspectJihen Maazoun, Nadia Bouassida, Hanêne Ben-Abdallah, Abdelhak-Djamel Seriai. 154-161 [doi]
• An Architectural Model for Customizing the Business Logic of SaaS ApplicationsAndré Correia, Jorge Renato Penha, António Miguel Rosado da Cruz. 162-168 [doi]
• Towards a Standard Approach for Optimization in Science and EngineeringCarlo Comin, Luka Onesti, Carlos Kavka. 169-177 [doi]
• Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution TheoryAmine Achouri, Leila Jemni Ben Ayed. 178-185
• A Software Quality Predictive ModelElisabetta Ronchieri, Marco Canaparo. 186-197 [doi]
• CQE - An Approach to Automatically Estimate the Code Quality using an Objective Metric From an Empirical StudySaima Arif, Miao Wang, Philip Perry, John Murphy. 198-205 [doi]
• ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change PortalAndrew Dittrich, Sergiu Dascalu, Mehmet Gunes. 206-213 [doi]
• Web Service to JSON-RPC TransformationChristian Samsel, Sevket Gökay, Paul Heiniz, Karl-Heinz Krempels. 214-219 [doi]
• Dynamic Software Updating with Gosh! - Current Status and the Road AheadAllan Raundahl Gregersen, Michael Rasmussen, Bo Nørregaard Jørgensen. 220-226 [doi]
• Slope based Grid Creation using Interpolation of LIDAR Data SetsJan Hovad, Jitka Komarkova, Pavel Sedlak. 227-232 [doi]
• Partial Order Interpretation of a Mu-Calculus-Like Temporal LogicAntonella Santone, Gigliola Vaglini. 233-238
• An Approach to the Metadata Driven Programming in .Net FrameworkPavel Abduramanov, Sergey Kalistratov, Yuri Okulovsky. 239-243 [doi]
• Embedding and Parsing Combined for Efficient Language DesignGergely Dévai, Dániel Leskó, Máté Tejfel. 244-250 [doi]
• Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based DevelopmentRakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson, Fredrik Törner. 251-257 [doi]
• Managing Risk in Open Source Software AdoptionXavier Franch, Angelo Susi, Maria Carmela Annosi, Claudia P. Ayala, Ruediger Glott, Daniel Gross, Ron Kenett, Fabio Mancinelli, Pop Ramsamy, Cedric Thomas, David Ameller, Stijn Bannier, Nili Bergida, Yehuda Blumenfeld, Olivier Bouzereau, Dolors Costal, Manuel Dominguez, Kirsten Haaland, Lidia López, Mirko Morandini, Alberto Siena. 258-264 [doi]
• Platform-independence in Model-based Multi-device UI DevelopmentDavid Raneburger, Gerrit Meixner, Marco Brambilla. 265-272 [doi]
• Extracting Characteristics of Speaker's Voice Harmonic Spectrum - Design of Human Voice Feature Extraction TechniqueOldrich Horák, Jan Capek. 273-277 [doi]
• From Concrete to Abstract - About Teaching UML Class Diagrams to Novice ProgrammersJoão Paulo Barros. 278-283 [doi]
• Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider's ViewPeter Struss. 284-291 [doi]
• A Comparison of Maintainability Metrics of Two A+ InterpretersPéter Gál, Ákos Kiss 0001. 292-297 [doi]
• Desired Quality Characteristics in Cloud Application DevelopmentLeah Riungu-Kalliosaari, Ossi Taipale, Kari Smolander. 303-312 [doi]
• Supporting Decision Making in Mobile Software Development - A Fuzzy Cognitive Maps ApproachPantelis Stylianos Yiasemis, Andreas S. Andreou. 313-321
• SmartRestaurant - A Report on the Development of a NFC-Based Mobile ApplicationVanda Rosa, Isabel Brito, João Paulo Barros. 322-327 [doi]
• IDE-JASMIN - An Interactive Graphical Approach for Parallel Programming in Scientific ComputingLi Liao, Aiqing Zhang, Zhang Yang, Wei Wang, Cuiping Jing. 328-333 [doi]
• Component-based Parallel Programming for Peta-scale Particle SimulationsXiaolin Cao, Zeyao Mo, Aiqing Zhang. 334-339 [doi]
• Distributed Processing of Elevation Data by Means of Apache Hadoop in a Small ClusterJitka Komarkova, Jakub Spidlen, Devanjan Bhattacharya, Oldrich Horak. 340-344 [doi]
• Mobile Technologies to Enable Users' Informed DecisionsXavier Franch, Anna Perini, Hugo H. Pibernat, Norbert Seyff. 345-353 [doi]
• A Layered Architecture based on Previsional MechanismsFrancesco Fiamberti, Daniela Micucci, Marco Mobilio, Francesco Tisato. 354-359 [doi]
• Scheduling Strategies for Risk MitigationPeng Zhou, Hareton K. N. Leung. 365-376 [doi]
• An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic TasksHamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed. 377-388 [doi]
• Using Expert-based Bayesian Networks as Decision Support Systems to Improve Project Management of Healthcare Software Projects Emilia Mendes. 389-399 [doi]
• Multi-method Software Estimation Utilizing Judgment and Model based MethodsAldo Dagnino. 403-410 [doi]
• Improving Quality in Agile Development ProcessesPryscilla Marcilli Dóra, Ana Cristina Oliveira, J. Antão B. Moura. 411-416 [doi]
• Software Ecosystems RisksEkananta Manalif, Luiz Fernando Capretz, Danny Ho. 417-422
• ACME+ for Software Architecture AnalysisImen Derbel, Lamia Labed Jilani, Ali Mili. 429-437
• Controllability for Nondeterministic Finite Automata with VariablesJasen Markovski. 438-446 [doi]
• From Problems to Laws in Requirements Engineering - Using Model-TransformationStephan Faßbender, Maritta Heisel. 447-458 [doi]
• An Ambient ASM Model for Client-to-Client Interaction via Cloud ComputingKaroly Bosa. 459-470 [doi]
• Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling ApproachArieh Bibliowicz, Dov Dori. 473-479 [doi]
• Graph Partitioning Algorithm for Social Network Model Transformation FrameworksGergely Mezei, László Deák, Krisztian Fekete, Tamás Vajk. 480-487 [doi]
• Design and Operationalization of Patterns - Case of a Training Situation of Personal Assistance for Public in Professional IntegrationLahcen Oubahssi, Claudine Piau-Toffolon, Jean-Pierre Clayer, Fatma Kammoun. 488-495 [doi]
• Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI GenerationDavid Raneburger, Roman Popp, Hermann Kaindl. 496-503 [doi]
• Specification of Learning Management System-centered Graphical Instructional Design Languages - A DSM Experimentation about the Moodle PlatformEsteban Loiseau, Pierre Laforcade. 504-511 [doi]
• Model Checking of Distributed Component-based Control SystemsAtef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed. 512-519 [doi]
• Linear Software Models - Vector Spaces for Design Pattern ModulesIaakov Exman. 520-527 [doi]
• An Aspect Oriented Framework for Flexible Design Pattern-based DevelopmentMario Luca Bernardi, Marta Cimitile, Giuseppe A. Di Lucca. 528-535 [doi]
• Using Meta-code Generation to Realize Higher-order Model TransformationsThomas Buchmann, Felix Schwägerl. 536-541 [doi]
• Uncertainty Measure of Process Models using Entropy and Petri NetsMartin Ibl. 542-547 [doi]
• Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product LinesJohannes Baumgartl, Thomas Buchmann, Dominik Henrich, Bernhard Westfechtel. 548-554 [doi]
• Towards a Design-by-contract based Approach for Realizable Connector-centric Software ArchitecturesMert Ozkaya, Christos Kloukinas. 555-562 [doi]
• FD-based OCL ConstraintsRosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora. 563-569 [doi]
• Context Based Content Aggregation for Social Life NetworksManeesh Mathai, Athula Ginige. 570-577 [doi]
• Towards Devising an Architectural Framework for Enterprise Operating SystemsSérgio Guerreiro, Steven J. H. van Kervel, Eduard Babkin. 578-585 [doi]
• Smart Space-based Ridesharing Service in e-Tourism Application for Karelia Region Accessibility - Ontology-based Approach and ImplementationAlexander V. Smirnov, Nikolay Shilov, Alexey Kashevnik, Nikolay Teslya, Santa Laizane. 591-598 [doi]
• An Adaptive and Flexible Replication Mechanism for Space-based ComputingStefan Craß, Jürgen Hirsch, eva Kühn, Vesna Sesum-Cavic. 599-606 [doi]
• Semantic Indexing of Twitter ResourcesCristian Lai, Claude Moulin, Marie-Hélène Abel. 611-616
• Context-aware Recommendation using Fuzzy Formal Concept AnalysisJosé Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara. 617-623 [doi]