Information and Software Technologies

18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

  • Tomas Skersys
  • Rimantas Butleris
  • Rita Butkiene
Conference proceedings ICIST 2012

DOI: 10.1007/978-3-642-33308-8

Part of the Communications in Computer and Information Science book series (CCIS, volume 319)

Table of contents

  1. Front Matter
  2. Artificial Intelligence and Knowledge Engineering

  3. Business Process Modelling, Analysis and Design

    1. Banafsheh Khademhosseinieh, Ulf Seigerroth
      Pages 74-86
    2. Vytautas Jancauskas, Ausra Mackute-Varoneckiene, Audrius Varoneckas, Antanas Zilinskas
      Pages 87-100
  4. Formal Analysis and Design Methods

    1. Paulius Paskevicius, Robertas Damasevicius, Vytautas Štuikys
      Pages 108-122
    2. Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saidouni
      Pages 123-137
    3. Vacius Jusas, Tomas Neverdauskas
      Pages 138-148
    4. Dovile Karaliene, Zenonas Navickas, Alfonsas Vainoras
      Pages 149-161
  5. Information and Software Systems Engineering

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and knowledge engineering, business process modelling, analysis and design, formal analysis and design methods, information and software systems engineering, information technology applications and computer networks, information technology in teaching and learning, ontology, conceptual modelling and databases, requirements engineering and business rules.

Keywords

knowledge representation online learning requirements engineering semantic Web software engineering

Editors and affiliations

  • Tomas Skersys
    • 1
  • Rimantas Butleris
    • 1
  • Rita Butkiene
    • 2
  1. 1.Kaunas University of TechnologyKaunasLithuania
  2. 2.Kaunas University of TechnologyKaunasLithuania

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33307-1
  • Online ISBN 978-3-642-33308-8
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937