| 2013 | A Business Goals Centric Method for Automatic DW Design from UML Models . Mounira Ben-Abdallah, Nahla Zaaboub Haddar, Hanêne Ben-Abdallah |
| 2013 | A Comparison of Maintainability Metrics of Two A+ Interpreters. Péter Gál, Ákos Kiss |
| 2013 | A Layered Architecture based on Previsional Mechanisms. Francesco Fiamberti, Daniela Micucci, Marco Mobilio, Francesco Tisato |
| 2013 | A Metamodel-driven Architecture for Generating, Populating and Manipulating "Possible Worlds" to Answer Questions. Imre Kilián, Gábor Alberti |
| 2013 | A Software Quality Predictive Model. Elisabetta Ronchieri, Marco Canaparo |
| 2013 | A Systematic Literature Review on CMS-based Web Applications. Feliu Trias, Valeria de Castro, Marcos López Sanz, Esperanza Marcos |
| 2013 | ACME+ for Software Architecture Analysis. Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2013 | ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change Portal. Andrew Dittrich, Sergiu Dascalu, Mehmet Hadi Gunes |
| 2013 | An Adaptive and Flexible Replication Mechanism for Space-based Computing. Stefan Craß, Jürgen Hirsch, Eva Kühn, Vesna Sesum-Cavic |
| 2013 | An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing. Károly Bósa |
| 2013 | An Approach to the Metadata Driven Programming in .Net Framework. Pavel Abduramanov, Sergey Kalistratov, Yuri Okulovsky |
| 2013 | An Architectural Model for Customizing the Business Logic of SaaS Applications. André Correia, Jorge Renato Penha, António Miguel Rosado da Cruz |
| 2013 | An Aspect Oriented Framework for Flexible Design Pattern-based Development. Mario Luca Bernardi, Marta Cimitile, Giuseppe A. Di Lucca |
| 2013 | An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed |
| 2013 | An Industrial Standard to Assure Dependability in Software Reuse. Fevzi Belli |
| 2013 | An Intermediate Language for Compilation to Scripting Languages. Paola Giannini, Albert Shaqiri |
| 2013 | CQE - An Approach to Automatically Estimate the Code Quality using an Objective Metric From an Empirical Study. Saima Arif, Miao Wang, Philip Perry, John Murphy |
| 2013 | Cloud Testing for Mobile Software Systems - Concept and Prototyping. Oleksii Starov, Sergiy Vilkomir, Vyacheslav S. Kharchenko |
| 2013 | Component-based Parallel Programming for Peta-scale Particle Simulations. Xiaolin Cao, Zeyao Mo, Aiqing Zhang |
| 2013 | Context Based Content Aggregation for Social Life Networks. Maneesh Mathai, Athula Ginige |
| 2013 | Context-Aware Decision Support in Dynamic Environments - Theoretical & Technological Foundations. Alexander Smirnov |
| 2013 | Context-aware Recommendation using Fuzzy Formal Concept Analysis. José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara |
| 2013 | Controllability for Nondeterministic Finite Automata with Variables. Jasen Markovski |
| 2013 | Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling Approach. Arieh Bibliowicz, Dov Dori |
| 2013 | Design and Operationalization of Patterns - Case of a Training Situation of Personal Assistance for Public in Professional Integration. Lahcen Oubahssi, Claudine Piau-Toffolon, Jean-Pierre Clayer, Fatma Kammoun |
| 2013 | Desired Quality Characteristics in Cloud Application Development. Leah Riungu-Kalliosaari, Ossi Taipale, Kari Smolander |
| 2013 | Distributed Processing of Elevation Data by Means of Apache Hadoop in a Small Cluster. Jitka Komarkova, Jakub Spidlen, Devanjan Bhattacharya, Oldrich Horák |
| 2013 | Dynamic Software Updating with Gosh! - Current Status and the Road Ahead. Allan Raundahl Gregersen, Michael Rasmussen, Bo Nørregaard Jørgensen |
| 2013 | Embedding and Parsing Combined for Efficient Language Design. Gergely Dévai, Dániel Leskó, Máté Tejfel |
| 2013 | Extracting Characteristics of Speaker's Voice Harmonic Spectrum - Design of Human Voice Feature Extraction Technique. Oldrich Horák, Jan Capek |
| 2013 | Feature Model Extraction from Product Source Codes based on the Semantic Aspect. Jihen Maâzoun, Nadia Bouassida, Hanêne Ben-Abdallah, Abdelhak-Djamel Seriai |
| 2013 | From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. João Paulo Barros |
| 2013 | From Problems to Laws in Requirements Engineering - Using Model-Transformation. Stephan Faßbender, Maritta Heisel |
| 2013 | From Viewpoints and Abstraction Levels in Software Engineering Towards Multi-Viewpoints/Multi-Hierarchy in Software Architecture. Ahmad Kheir, Hala Naja, Mourad Oussalah, Kifah Tout |
| 2013 | Graph Partitioning Algorithm for Social Network Model Transformation Frameworks. Gergely Mezei, László Deák, Krisztian Fekete, Tamás Vajk |
| 2013 | ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjavík, Iceland, 29-31 July, 2013 José Cordeiro, David A. Marca, Marten van Sinderen |
| 2013 | IDE-JASMIN - An Interactive Graphical Approach for Parallel Programming in Scientific Computing. Li Liao, Aiqing Zhang, Zhang Yang, Wei Wang, Cuiping Jing |
| 2013 | Implementing Intelligent Tutoring System using Jade Agents Intermediation System (JAIS) in an Collaborative Environment (CE) like Community of Practices - For Collaborative Learning, Knowledge Sharing Emergence. Clauvice Kenfack |
| 2013 | Improving Quality in Agile Development Processes. Pryscilla Marcilli Dóra, Ana Cristina Oliveira, J. Antão B. Moura |
| 2013 | Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development. Rakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson, Fredrik Törner |
| 2013 | Linear Software Models - Vector Spaces for Design Pattern Modules. Iaakov Exman |
| 2013 | MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal. Nadia Menad, Philippe Dhaussy, Belhadri Messabih |
| 2013 | Managing Risk in Open Source Software Adoption. Xavier Franch, Angelo Susi, Maria Carmela Annosi, Claudia P. Ayala, Ruediger Glott, Daniel Gross, Ron S. 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 |
| 2013 | Mobile Technologies to Enable Users' Informed Decisions. Xavier Franch, Anna Perini, Hugo H. Pibernat, Norbert Seyff |
| 2013 | Model Checking of Distributed Component-based Control Systems. Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed |
| 2013 | Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider's View. Peter Struss |
| 2013 | Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation. David Raneburger, Roman Popp, Hermann Kaindl |
| 2013 | MuLSA: Multi-Layered Scenario Analysis for an Advanced Driver Assistance System. Takako Nakatani, Keita Sato |
| 2013 | Multi-method Software Estimation Utilizing Judgment and Model based Methods. Aldo Dagnino |
| 2013 | New Concepts for Knowledge based Cataract Surgery Assistance - A First Clinical Approach. Klaus-Peter Scherer, Constantin Rieder, Christian Henninger, Joachim Baumeister, Jochen Reutelshöfer |
| 2013 | Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. Antonella Santone, Gigliola Vaglini |
| 2013 | Platform-independence in Model-based Multi-device UI Development. David Raneburger, Gerrit Meixner, Marco Brambilla |
| 2013 | Process Lines for Automatic Workflow Development. Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi |
| 2013 | Quality Improvement in Data Models with Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora |
| 2013 | Real-Time and Embedded Systems Challenges - Key Requirements and Issues. Nadia Menad, Philippe Dhaussy |
| 2013 | SESGAL Software for Managing Earthquake Risk in Galicia. Carla Iglesias, Eduardo Giráldez, Javier Taboada, Roberto Martínez-Alegría, Isabel Margarida Antunes |
| 2013 | Scheduling Strategies for Risk Mitigation. Peng Zhou, Hareton K. N. Leung |
| 2013 | Semantic Indexing of Twitter Resources. Cristian Lai, Claude Moulin, Marie-Hélène Abel |
| 2013 | Slope based Grid Creation using Interpolation of LIDAR Data Sets. Jan Hovad, Jitka Komarkova, Pavel Sedlak |
| 2013 | Smart Space-based Ridesharing Service in e-Tourism Application for Karelia Region Accessibility - Ontology-based Approach and Implementation. Alexander V. Smirnov, Nikolay Shilov, Alexey M. Kashevnik, Nikolay Teslya, Santa Laizane |
| 2013 | SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application. Vanda Rosa, Isabel Sofia Brito, João Paulo Barros |
| 2013 | Software Ecosystems Risks. Ekananta Manalif, Luiz Fernando Capretz, Danny Ho |
| 2013 | Software Engineering Research under the Lamppost. Claes Wohlin |
| 2013 | Software Requirements Parts for Construction of Software Requirements Specifications. Yoshitaka Iyoda, Atsushi Ohnishi |
| 2013 | Spatial Connector - Loosely Binding Contextual Changes and Non-Context-Aware Services. Ichiro Satoh |
| 2013 | Specification of Learning Management System-centered Graphical Instructional Design Languages - A DSM Experimentation about the Moodle Platform. Esteban Loiseau, Pierre Laforcade |
| 2013 | Supporting Decision Making in Mobile Software Development - A Fuzzy Cognitive Maps Approach. Pantelis Stylianos Yiasemis, Andreas S. Andreou |
| 2013 | The Application of VLE with 3D Google Earth and Interactive Technology. Wei-Kai Liou, Chun-Yen Chung |
| 2013 | The Complexity Crisis. François E. Cellier |
| 2013 | The DAO of Parallel Software Construction. Armin Größlinger |
| 2013 | Towards Devising an Architectural Framework for Enterprise Operating Systems. Sérgio Guerreiro, Steven J. H. van Kervel, Eduard Babkin |
| 2013 | Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product Lines. Johannes Baumgartl, Thomas Buchmann, Dominik Henrich, Bernhard Westfechtel |
| 2013 | Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures. Mert Ozkaya, Christos Kloukinas |
| 2013 | Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. Amine Achouri, Leila Jemni Ben Ayed |
| 2013 | Towards a Standard Approach for Optimization in Science and Engineering. Carlo Comin, Luka Onesti, Carlos Kavka |
| 2013 | Uncertainty Measure of Process Models using Entropy and Petri Nets. Martin Ibl |
| 2013 | Using Expert-based Bayesian Networks as Decision Support Systems to Improve Project Management of Healthcare Software Projects . Emilia Mendes |
| 2013 | Using Intentional and System Dynamics Modeling to Address WHYs in Enterprise Architecture. Sagar Sunkle, Suman Roychoudhury, Vinay Kulkarni |
| 2013 | Using Meta-code Generation to Realize Higher-order Model Transformations. Thomas Buchmann, Felix Schwägerl |
| 2013 | Web Service to JSON-RPC Transformation. Christian Samsel, Sevket Gökay, Paul Heiniz, Karl-Heinz Krempels |