![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
4th ICSOFT 2009: Sofia, Bulgaria
- Boris Shishkov, José Cordeiro, Alpesh Ranchordas:
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
- Roel J. Wieringa:
Design Science and Software Engineering. ICSOFT (1) 2009: 5 - Jorge Cardoso:
The Internet of Services. ICSOFT (1) 2009: 7-10 - Kecheng Liu, Adrian Benfell:
Pragmatic Web - Incorporating Semiotics into Web Services. ICSOFT (1) 2009: 11-18 - Mihail Mihaylov Konstantinov:
European Standards and Perspectives for e-Voting in Bulgaria. ICSOFT (1) 2009: 19
Software Engineering
Full Papers
- Miguel A. Laguna, Bruno González-Baixauli:
Mobile Communicators for Disabled People. ICSOFT (1) 2009: 5-12 - Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22 - Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis:
Software Product Line Testing - A Systematic Review. ICSOFT (1) 2009: 23-30 - Georgios Voulalas, Georgios Evangelidis:
Evaluating a Framework for the Development and Deployment of Evolving Applications as a Software Maintenance Tool. ICSOFT (1) 2009: 31-38 - Alexandre Bergel, Lorenzo Bettini:
Reverse Generics - Parametrization after the Fact. ICSOFT (1) 2009: 39-46 - Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili:
Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. ICSOFT (1) 2009: 47-54 - Andrea Zisman, George Spanoudakis, James Dooley:
A Query Language for Service Discovery. ICSOFT (1) 2009: 55-65 - Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser:
Traceability Mechanism for Error Localization in Model Transformation. ICSOFT (1) 2009: 66-73 - Adel Smeda, Adel Alti:
Architectural Styles Quality Evaluation and Selection. ICSOFT (1) 2009: 74-82
Short Papers
- Anguel Novoselsky, Zhen Hua Liu:
XIPE - An XML Integrated Processing Environment. ICSOFT (1) 2009: 85-92 - Yangjun Chen:
General Spanning Trees and Core Labeling. ICSOFT (1) 2009: 93-98 - Saad bin Abid:
Resolving Traceability Issues in Product Derivation for Software Product Lines. ICSOFT (1) 2009: 99-104 - Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori:
Detecting Regulatory Vulnerability in Functional Requirements Specifications. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 115-120 - Pádraig O'Leary, Ita Richardson, Fergal McCaffery, Steffen Thiel:
Preparing for Product Derivation - Activities and Issues. ICSOFT (1) 2009: 121-126 - Vadym Borovskiy, Jürgen Müller, Oleksandr Panchenko, Alexander Zeier:
Generic Web Services - Extending Service Scope While Preserving Backwards Compatibility. ICSOFT (1) 2009: 127-132 - Gareth Howells, Behzad Bordbar, David H. Akehurst:
Model Transformation using Adaptive Systems. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 151-156 - Liliana Dobrica, Eila Ovaska:
Quality Analysis of a Cross-domain Reference Architecture. ICSOFT (1) 2009: 157-162 - Emil Vassev, Mike Hinchey, Aaron J. Quigley:
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 169-176 - Paul Bouché, Martin von Löwis, Peter Tröger:
Aggregated Accounting of Memory Usage in Java. ICSOFT (1) 2009: 177-185 - Christian Kop:
Continuous Conceptual Schema Quality Checking. ICSOFT (1) 2009: 186-193 - Philippe Dugerdil, David Sennhauser:
Applying Financial Time Series Analysis to the Dynamic Analysis of Software. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 202-207 - Flávio Oquendo:
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. ICSOFT (1) 2009: 208-217 - Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225 - Manuel Caeiro, Luis E. Anido-Rifón, Martín Llamas Nistal:
Perspectives and Aspects in PoEML - Supporting Adaptation in Learning Processes. ICSOFT (1) 2009: 226-231 - László Vidács:
Refactoring of C/C++ Preprocessor Constructs at the Model Level. ICSOFT (1) 2009: 232-237 - Rahila Ejaz, Naveed Ikram, Salma Imtiaz:
Product Line Variability Management using Traceability Information. ICSOFT (1) 2009: 238-244 - Baldoino Fonseca dos Santos 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. ICSOFT (1) 2009: 245-250 - Emil Vassev, Mike Hinchey, Aaron J. Quigley:
Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) 2009: 251-256 - Dominikus Herzberg, Tim Reichert:
Concatenative Programming - An Overlooked Paradigm in Functional Programming. ICSOFT (1) 2009: 257-263 - Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. ICSOFT (1) 2009: 264-268 - Arturo Henry Torres-Zenteno, María J. Escalona, Manuel Mejías, Javier J. Gutiérrez:
A MDA-based Testing - A Comparative Study. ICSOFT (1) 2009: 269-274
Posters
- M. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. Lionetti, T. Hachisuka, William E. Howden:
Applicability of BET to Elusive Bugs in Diverse Application Areas. ICSOFT (1) 2009: 277-282 - Jana Hajková, Pavel Herout:
Parameterization of Samples for Modeling of Laser Burning - Increasing the Lifelikeness of Synthetically Generated Samples. ICSOFT (1) 2009: 283-286 - Konstantina Georgieva, Ayaz Farooq, Reiner R. Dumke:
Design Quality of Aspect-oriented and Object-oriented Programs - An Empirical Comparison. ICSOFT (1) 2009: 287-290 - Yusuke Matsuo, Atsushi Ohnishi:
Transformation of Organization of Software Requirements Specifications. ICSOFT (1) 2009: 291-294 - Miguel A. Laguna, Bruno González-Baixauli, Rubén Fernández:
Mapping Feature Diagrams to UML Models - A Transformational Approach. ICSOFT (1) 2009: 295-298 - Diana Berberova, Boyan Bontchev:
Usage of Design by Contract - From Component-based Engineering to SOA Design. ICSOFT (1) 2009: 299-304 - Suman Roychoudhury, Christian Bunse, Hagen Höpfner:
Applying State-of-the-Art Techniques for Embedded Software Adaptation. ICSOFT (1) 2009: 305-308 - Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel:
Model-driven Development of Software Configuration Management Systems - A Case Study in Model-driven Engineering. ICSOFT (1) 2009: 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. ICSOFT (1) 2009: 317-320 - Kurt Englmeier, Ricki Koinig:
Decoupling Configuration and Deployment Procedures by Aspect-oriented Policies. ICSOFT (1) 2009: 321-324 - Olga Ormandjieva, Heng Kuang, Stan Klasa:
Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory. ICSOFT (1) 2009: 325-330 - Emil Vassev, Serguei A. Mokhov:
Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) 2009: 331-335 - Thi-Thuy-Hang Hoang, Manuel Kolp:
Social Patterns for Quality Control in Multi-agent Systems. ICSOFT (1) 2009: 336-343 - Alexander Behring, Andreas Petter, Max Mühlhäuser:
Rapidly Modifying Multiple user Interfaces of One Application - Leveraging Multi-level Dialogue Refinement. ICSOFT (1) 2009: 344-347 - Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki:
Formalization of Broadcast Communication in Process Calculus and Its Model Checking. ICSOFT (1) 2009: 348-352 - Hermann Kaindl:
What is an Aspect in Requirements Engineering? ICSOFT (1) 2009: 353-356
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.