[CEUR Workshop Proceedings] Vol-646

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:

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)

  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)

  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