default search action
8th ICSOFT 2013: Reykjavík, Iceland
- José Cordeiro, David A. Marca, Marten van Sinderen:
ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjavík, Iceland, 29-31 July, 2013. SciTePress 2013, ISBN 978-989-8565-68-6
Invited Speakers
Keynote Speakers
- François E. Cellier:
The Complexity Crisis. ICSOFT 2013: IS-5 - Alexander Smirnov:
Context-Aware Decision Support in Dynamic Environments - Theoretical & Technological Foundations. ICSOFT 2013: IS-7 - Armin Größlinger:
The DAO of Parallel Software Construction. ICSOFT 2013: IS-9 - Claes Wohlin:
Software Engineering Research under the Lamppost. ICSOFT 2013: IS-11
ICSOFT-EA - International Conference on Software Engineering and Applications
Enterprise Software Technologies
Short Papers
- Carla Iglesias, Eduardo Giráldez, Javier Taboada, Roberto Martínez-Alegría, Isabel Margarida Antunes
:
SESGAL Software for Managing Earthquake Risk in Galicia. 7-14 - Mounira Ben-Abdallah, Nahla Zaaboub Haddar, Hanêne Ben-Abdallah:
A Business Goals Centric Method for Automatic DW Design from UML Models . ICSOFT 2013: 15-23 - Sagar Sunkle, Suman Roychoudhury, Vinay Kulkarni:
Using Intentional and System Dynamics Modeling to Address WHYs in Enterprise Architecture. 24-31 - Clauvice Kenfack:
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. ICSOFT 2013: 32-40 - Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi:
Process Lines for Automatic Workflow Development. 41-49 - Ichiro Satoh:
Spatial Connector - Loosely Binding Contextual Changes and Non-Context-Aware Services. 50-57 - Fevzi Belli:
An Industrial Standard to Assure Dependability in Software Reuse. 58-63 - Klaus-Peter Scherer, Constantin Rieder, Christian Henninger, Joachim Baumeister, Jochen Reutelshöfer:
New Concepts for Knowledge based Cataract Surgery Assistance - A First Clinical Approach. 64-68 - Wei-Kai Liou, Chun-Yen Chung:
The Application of VLE with 3D Google Earth and Interactive Technology. 69-73 - Imre Kilián, Gábor Alberti:
A Metamodel-driven Architecture for Generating, Populating and Manipulating "Possible Worlds" to Answer Questions. 74-78
Software Engineering Methods and Techniques
Full Papers
- Takako Nakatani, Keita Sato:
MuLSA: Multi-Layered Scenario Analysis for an Advanced Driver Assistance System. 83-91 - Paola Giannini, Albert Shaqiri:
An Intermediate Language for Compilation to Scripting Languages. 92-103
Short Papers
- Nadia Menad, Philippe Dhaussy:
Real-Time and Embedded Systems Challenges - Key Requirements and Issues. ICSOFT 2013: 107-113 - Nadia Menad, Philippe Dhaussy, Belhadri Messabih:
MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal. ICSOFT 2013: 114-123 - Oleksii Starov, Sergiy Vilkomir, Vyacheslav S. Kharchenko:
Cloud Testing for Mobile Software Systems - Concept and Prototyping. 124-131 - Feliu Trias, Valeria de Castro, Marcos López Sanz, Esperanza Marcos:
A Systematic Literature Review on CMS-based Web Applications. 132-140 - Ahmad Kheir, Hala Naja, Mourad Oussalah, Kifah Tout:
From Viewpoints and Abstraction Levels in Software Engineering Towards Multi-Viewpoints/Multi-Hierarchy in Software Architecture. ICSOFT 2013: 141-146 - Yoshitaka Iyoda, Atsushi Ohnishi:
Software Requirements Parts for Construction of Software Requirements Specifications. 147-153 - Jihen Maâzoun, Nadia Bouassida, Hanêne Ben-Abdallah, Abdelhak-Djamel Seriai:
Feature Model Extraction from Product Source Codes based on the Semantic Aspect. 154-161 - André Correia, Jorge Renato Penha, António Miguel Rosado da Cruz:
An Architectural Model for Customizing the Business Logic of SaaS Applications. 162-168 - Carlo Comin, Luka Onesti, Carlos Kavka:
Towards a Standard Approach for Optimization in Science and Engineering. 169-177 - Amine Achouri, Leila Jemni Ben Ayed:
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. ICSOFT 2013: 178-185 - Elisabetta Ronchieri
A Software Quality Predictive Model. 186-197 - Saima Arif, Miao Wang, Philip Perry, John Murphy:
CQE - An Approach to Automatically Estimate the Code Quality using an Objective Metric From an Empirical Study. 198-205 - Andrew Dittrich, Sergiu Dascalu, Mehmet Hadi Gunes:
ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change Portal. 206-213 - Christian Samsel, Sevket Gökay, Paul Heiniz, Karl-Heinz Krempels:
Web Service to JSON-RPC Transformation. 214-219 - Allan Raundahl Gregersen, Michael Rasmussen
Dynamic Software Updating with Gosh! - Current Status and the Road Ahead. 220-226 - Jan Hovad, Jitka Komarkova, Pavel Sedlak:
Slope based Grid Creation using Interpolation of LIDAR Data Sets. 227-232 - Antonella Santone, Gigliola Vaglini:
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT 2013: 233-238 - Pavel Abduramanov, Sergey Kalistratov, Yuri Okulovsky:
An Approach to the Metadata Driven Programming in .Net Framework. 239-243 - Gergely Dévai, Dániel Leskó, Máté Tejfel:
Embedding and Parsing Combined for Efficient Language Design. 244-250 - Rakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson, Fredrik Törner:
Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development. 251-257 - 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
Managing Risk in Open Source Software Adoption. 258-264 - David Raneburger, Gerrit Meixner, Marco Brambilla:
Platform-independence in Model-based Multi-device UI Development. 265-272 - Oldrich Horák, Jan Capek:
Extracting Characteristics of Speaker's Voice Harmonic Spectrum - Design of Human Voice Feature Extraction Technique. 273-277 - João Paulo Barros:
From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. 278-283 - Peter Struss:
Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider's View. 284-291 - Péter Gál, Ákos Kiss:
A Comparison of Maintainability Metrics of Two A+ Interpreters. 292-297
Distributed and Mobile Software Systems
Short Papers
- Leah Riungu-Kalliosaari, Ossi Taipale, Kari Smolander:
Desired Quality Characteristics in Cloud Application Development. 303-312 - Pantelis Stylianos Yiasemis, Andreas S. Andreou:
Supporting Decision Making in Mobile Software Development - A Fuzzy Cognitive Maps Approach. ICSOFT 2013: 313-321 - Vanda Rosa, Isabel Sofia Brito
SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application. 322-327 - Li Liao, Aiqing Zhang, Zhang Yang, Wei Wang, Cuiping Jing:
IDE-JASMIN - An Interactive Graphical Approach for Parallel Programming in Scientific Computing. 328-333 - Xiaolin Cao, Zeyao Mo, Aiqing Zhang:
Component-based Parallel Programming for Peta-scale Particle Simulations. 334-339 - Jitka Komarkova, Jakub Spidlen, Devanjan Bhattacharya, Oldrich Horák:
Distributed Processing of Elevation Data by Means of Apache Hadoop in a Small Cluster. 340-344 - Xavier Franch, Anna Perini, Hugo H. Pibernat, Norbert Seyff:
Mobile Technologies to Enable Users' Informed Decisions. 345-353 - Francesco Fiamberti, Daniela Micucci, Marco Mobilio, Francesco Tisato:
A Layered Architecture based on Previsional Mechanisms. 354-359
Software Project Management
Full Papers
- Peng Zhou, Hareton K. N. Leung:
Scheduling Strategies for Risk Mitigation. 365-376 - Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. 377-388 - Emilia Mendes:
Using Expert-based Bayesian Networks as Decision Support Systems to Improve Project Management of Healthcare Software Projects . 389-399
Short Papers
- Aldo Dagnino:
Multi-method Software Estimation Utilizing Judgment and Model based Methods. 403-410 - Pryscilla Marcilli Dóra, Ana Cristina Oliveira
Improving Quality in Agile Development Processes. 411-416 - Ekananta Manalif, Luiz Fernando Capretz, Danny Ho:
Software Ecosystems Risks. ICSOFT 2013: 417-422
ICSOFT-PT - International Conference on Software Paradigm Trends
Models
Full Papers
- Imen Derbel, Lamia Labed Jilani, Ali Mili:
ACME+ for Software Architecture Analysis. ICSOFT 2013: 429-437 - Jasen Markovski:
Controllability for Nondeterministic Finite Automata with Variables. 438-446 - Stephan Faßbender, Maritta Heisel:
From Problems to Laws in Requirements Engineering - Using Model-Transformation. 447-458 - Károly Bósa:
An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing. 459-470
Short Papers
- Arieh Bibliowicz
Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling Approach. 473-479 - Gergely Mezei, László Deák, Krisztian Fekete, Tamás Vajk:
Graph Partitioning Algorithm for Social Network Model Transformation Frameworks. 480-487 - Lahcen Oubahssi, Claudine Piau-Toffolon, Jean-Pierre Clayer, Fatma Kammoun:
Design and Operationalization of Patterns - Case of a Training Situation of Personal Assistance for Public in Professional Integration. 488-495 - David Raneburger, Roman Popp, Hermann Kaindl:
Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation. 496-503 - Esteban Loiseau, Pierre Laforcade:
Specification of Learning Management System-centered Graphical Instructional Design Languages - A DSM Experimentation about the Moodle Platform. 504-511 - Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Model Checking of Distributed Component-based Control Systems. 512-519 - Iaakov Exman:
Linear Software Models - Vector Spaces for Design Pattern Modules. 520-527 - Mario Luca Bernardi, Marta Cimitile, Giuseppe A. Di Lucca:
An Aspect Oriented Framework for Flexible Design Pattern-based Development. 528-535 - Thomas Buchmann, Felix Schwägerl:
Using Meta-code Generation to Realize Higher-order Model Transformations. 536-541 - Martin Ibl:
Uncertainty Measure of Process Models using Entropy and Petri Nets. 542-547 - Johannes Baumgartl, Thomas Buchmann, Dominik Henrich, Bernhard Westfechtel:
Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product Lines. 548-554 - Mert Ozkaya, Christos Kloukinas:
Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures. 555-562 - Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora:
Quality Improvement in Data Models with SLFD-based OCL Constraints. 563-569 - Maneesh Mathai, Athula Ginige:
Context Based Content Aggregation for Social Life Networks. 570-577 - Sérgio Guerreiro, Steven J. H. van Kervel, Eduard Babkin:
Towards Devising an Architectural Framework for Enterprise Operating Systems. 578-585
Services
Short Papers
- Alexander V. Smirnov, Nikolay Shilov, Alexey M. Kashevnik, Nikolay Teslya, Santa Laizane:
Smart Space-based Ridesharing Service in e-Tourism Application for Karelia Region Accessibility - Ontology-based Approach and Implementation. 591-598 - Stefan Craß, Jürgen Hirsch, Eva Kühn, Vesna Sesum-Cavic:
An Adaptive and Flexible Replication Mechanism for Space-based Computing. 599-606
Context
Short Papers
- Cristian Lai, Claude Moulin, Marie-Hélène Abel:
Semantic Indexing of Twitter Resources. ICSOFT 2013: 611-616 - José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara:
Context-aware Recommendation using Fuzzy Formal Concept Analysis. 617-623
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.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: