| Vol-646 urn:nbn:de:0074-646-4 Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# The 55th IWK - Internationales Wissenschaftliches Kolloquium Workshops: DERIS2010 and EMDT2010:

- International Workshop on Design, Evaluation and Refinement of Intelligent Systems
- First International Workshop on Evolution Support for Model-Based Development and Testing

### Proceedings of the IWK2010 Workshops: International Workshop on Design, Evaluation and Refinement of Intelligent Systems (DERIS2010) and the First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010)

#### part of the umbrella conference 55th International Scientific Colloquium (IWK2010)

### Ilmenau University of Technology, Ilmenau, Germany, September 13 and 16, 2010.

Edited by

### Martin Atzmüller * (DERIS)
Rainer Knauf ** (DERIS)
Stephan Bode *** (EMDT)
Qurat-Ul-Ann Farooq *** (EMDT)
Matthias Riebisch *** (EMDT)

* University of Kassel, Knowledge and Data Engineering Group, 34121 Kassel, Germany
** Ilmenau University of Technology, Chair of Artificial Intelligence, 98684 Ilmenau, Germany
*** Ilmenau University of Technology, Department Software Systems/Process Informatics, 98684 Ilmenau, Germany

## Table of Contents

### Design, Evaluation and Refinement of Intelligent Systems (DERIS2010)

- Preface of DERIS2010

1. Validation of Mixed-Structured Data using Pattern Mining and Information Extraction 9-12
   Martin Atzmüller, Stephanie Beer
2. Validation of Knowledge-based Systems through CommonKADS 13-18
   Feras Batarseh, Avelino J. Gonzalez, Rainer Knauf
3. Composing Tactical Agents through Contextual Storyboards 19-24
   Avelino J. Gonzalez, Rainer Knauf, Klaus P. Jantke
4. Rule Modularization and Inference Solutions – a Synthetic Overview 25-30
   Krzysztof Kaczor, Szymon Bobek, Grzegorz J. Nalepa
5. An Adaptable E-Learning System for Pupils with Specific Learning Difficulties 31-36
   Petia Kademova-Katzarova, Rumen Andreev, Valentina Terzieva
6. Decision-Maker-Aware Design of Descriptive Data Mining 37-42
   Benedikt Kaempgen, Florian Lemmerich, Martin Atzmüller
7. Validation of a Data Mining Method for Optimal University Curricula 43-48
   Rainer Knauf, Yoshitaka Sakurai, Kouhei Takada, Setsuo Tsuruta

### Evolution Support for Model-Based Development and Testing (EMDT2010)

- Preface of EMDT2010

1. Model-Based Software Development – Perspectives and Challenges (Keynote, abstract only) 53
   Bernd-Holger Schlingloff
2. Agility vs. Model-based Testing: A fair Play? (invited paper) 55-58
   Baris Güldali, Michael Mlynarski
3. A Test Case Generation Technique and Process 59-66
   Nicha Kosindrdecha, Jirapun Daengdej
4. From Natural Language Requirements to a Conceptual Model 67-73
   Christian Kop, Günther Fliedl, Heinrich C. Mayr
5. Test Case Reduction Methods by Using CBR 75-82
   Siripong Roongruangsuwan, Jirapun Daengdej
6. Evolution Support for Model-Based Development and Testing – Summary 83-84
   Stephan Bode, Qurat-Ul-Ann Farooq, Matthias Riebisch

The whole proceedings can also be downloaded as a single file (pdf).

12-Oct-2010: submitted by Stephan Bode
13-Oct-2010: published on CEUR-WS.org