4. ICSOFT 2009:
Sofia,
Bulgaria
Boris Shishkov, José Cordeiro, Alpesh Ranchordas (Eds.):
ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009.
INSTICC Press 2009, ISBN 978-989-674-009-2 
Invited Speakers
Keynote Lectures
Software Engineering
Full Papers
- Miguel A. Laguna, Bruno González-Baixauli:
Mobile Communicators for Disabled People.
5-12
- Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
A Formula Driven Incremental Construction of Web Service Compositions.
13-22
- Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthius:
Software Product Line Testing - A Systematic Review.
23-30
- Georgios Voulalas, Georgios Evangelidis:
Evaluating a Framework for the Development and Deployment of Evolving Applications as a Software Maintenance Tool.
31-38
- Alexandre Bergel, Lorenzo Bettini:
Reverse Generics - Parametrization after the Fact.
39-46
- Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili:
Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach.
47-54
- Andrea Zisman, George Spanoudakis, James Dooley:
A Query Language for Service Discovery.
55-65
- Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser:
Traceability Mechanism for Error Localization in Model Transformation.
66-73
- Smeda Adel, Alti Adel:
Architectural Styles Quality Evaluation and Selection.
74-82
Short Papers
- Anguel Novoselsky, Zhen Hua Liu:
XIPE - An XML Integrated Processing Environment.
85-92
- Yangjun Chen:
General Spanning Trees and Core Labeling.
93-98
- Saad bin Abid:
Resolving Traceability Issues in Product Derivation for Software Product Lines.
99-104
- Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori:
Detecting Regulatory Vulnerability in Functional Requirements Specifications.
105-114
- Shouzo Hori, Takako Nakatani, Keiichi Katamine, Naoyasu Ubayashi, Masaaki Hashimoto:
Project Management Patterns to Prevent Schedule Delay Caused by Requirements Changes - Empirical Study on a Successful Project.
115-120
- Padraig O'Leary, Ita Richardson, Fergal McCaffery, Steffen Thiel:
Preparing for Product Derivation - Activities and Issues.
121-126
- Vadym Borovskiy, Jürgen Mueller, Oleksandr Panchenko, Alexander Zeier:
Generic Web Services - Extending Service Scope While Preserving Backwards Compatibility.
127-132
- Gareth Howells, Behzad Bordbar, David H. Akehurst:
Model Transformation using Adaptive Systems.
133-138
- Arne Beckhaus, Lars M. Karg, Christian A. Graf, Michael Grottke, Dirk Neumann:
Prioritization of Software Process Improvements - A COQUALMO-based Case Study and Derived Decision Support Scheme.
139-144
- Takako Nakatani, Shouzo Hori, Michio Tsuda, Mari Inoki, Keiichi Katamine, Masaaki Hashimoto:
Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model.
145-150
- César Jesús Pardo Calvache, Francisco J. Pino, Félix García, Mario Piattini:
Homogenization of Models to Support Multi-model Processes in Improvement Environments.
151-156
- Liliana Dobrica, Eila Ovaska:
Quality Analysis of a Cross-domain Reference Architecture.
157-162
- Emil Vassev, Mike Hinchey, Aaron J. Quigley:
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL.
163-168
- António Miguel Rosado da Cruz, João Pascoal Faria:
Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models.
169-176
- Paul Bouché, Martin von Löwis, Peter Tröger:
Aggregated Accounting of Memory Usage in Java.
177-185
- Christian Kop:
Continuous Conceptual Schema Quality Checking.
186-193
- Philippe Dugerdil, David Sennhauser:
Applying Financial Time Series Analysis to the Dynamic Analysis of Software.
194-201
- Sebastian Siegl, Vladimir Entin, Reinhard German, Gerhard Kiffe:
Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models.
202-207
- Flávio Oquendo:
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.
208-217
- Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
218-225
- Manuel Caeiro, Luis E. Anido-Rifón, Martín Llamas Nistal:
Perspectives and Aspects in PoEML - Supporting Adaptation in Learning Processes.
226-231
- László Vidács:
Refactoring of C/C++ Preprocessor Constructs at the Model Level.
232-237
- Rahila Ejaz, Naveed Ikram, Salma Imtiaz:
Product Line Variability Management using Traceability Information.
238-244
- Baldoino F. dos S. Neto, Andrew Diniz da Costa, Carlos José Pereira de Lucena, Viviane Torres da Silva, Manoel T. de A. Netto:
JAAF-S: A Framework to Implement Autonomic Agents Able to Deal with Web Services.
245-250
- Emil Vassev, Mike Hinchey, Aaron J. Quigley:
Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL.
251-256
- Dominikus Herzberg, Tim Reichert:
Concatenative Programming - An Overlooked Paradigm in Functional Programming.
257-263
- Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud.
264-268
- Arturo H. Torres-Zenteno, María J. Escalona, Manuel Mejías, Javier J. Gutiérrez:
A MDA-based Testing - A Comparative Study.
269-274
Posters
- M. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. Lionetti, T. Hachisuka, W. Howden:
Applicability of BET to Elusive Bugs in Diverse Application Areas.
277-282
- Jana Hajková, Pavel Herout:
Parameterization of Samples for Modeling of Laser Burning - Increasing the Lifelikeness of Synthetically Generated Samples.
283-286
- Konstantina Georgieva, Ayaz Farooq, Reiner R. Dumke:
Design Quality of Aspect-oriented and Object-oriented Programs - An Empirical Comparison.
287-290
- Yusuke Matsuo, Atsushi Ohnishi:
Transformation of Organization of Software Requirements Specifications.
291-294
- Miguel A. Laguna, Bruno González-Baixauli, Rubén Fernández:
Mapping Feature Diagrams to UML Models - A Transformational Approach.
295-298
- Diana Berberova, Boyan Bontchev:
Usage of Design by Contract - From Component-based Engineering to SOA Design.
299-304
- Suman Roychoudhury, Christian Bunse, Hagen Höpfner:
Applying State-of-the-Art Techniques for Embedded Software Adaptation.
305-308
- Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel:
Model-driven Development of Software Configuration Management Systems - A Case Study in Model-driven Engineering.
309-316
- Antoine Schlechter, Guy Simon, Fernand Feltz:
From an Abstract Object-oriented Domain Model to a Meta-model for the Domain - Model Driven Development of a Manufacturing Execution System.
317-320
- Kurt Englmeier, Ricki Koinig:
Decoupling Configuration and Deployment Procedures by Aspect-oriented Policies.
321-324
- Olga Ormandjieva, Heng Kuang, Stan Klasa:
Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory.
325-330
- Emil Vassev, Serguei A. Mokhov:
Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL.
331-335
- Thi-Thuy-Hang Hoang, Manuel Kolp:
Social Patterns for Quality Control in Multi-agent Systems.
336-343
- Alexander Behring, Andreas Petter, Max Mühlhäuser:
Rapidly Modifying Multiple user Interfaces of One Application - Leveraging Multi-level Dialogue Refinement.
344-347
- Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki:
Formalization of Broadcast Communication in Process Calculus and Its Model Checking.
348-352
- Hermann Kaindl:
What is an Aspect in Requirements Engineering?
353-356
Copyright © Mon Nov 2 20:48:06 2009
by Michael Ley (ley@uni-trier.de)
