[CEUR Workshop Proceedings] Vol-252

© 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

ISIM '07
10th International Conference on Information System Implementation and Modeling

Proceedings of the 10th International Conference on
Information System Implementation and Modeling

Hradec nad Moravicí, Czech Republic, April 23-25, 2007.

Edited by

Jaroslav Zendulka *

* Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

Table of Contents

    Invited paper

  1. Advanced Features of Hierarchical Component Models
    Petr Hnetynka, Tomas Bures

    Software Modeling and Techniques

  2. Transformations from EDOC to EJB by composition of mapping operations
    Dariusz Gall
  3. Genomial Co-Design: An MDA-compliant approach for embedded architectures
    Janis Silins
  4. Modeling of Services and Service Collaboration in UML 2.0
    Petr Weiss, Jaroslav Zendulka

    Software Architectures

  5. Performance Comparison of Distributed Object Server Implementation
    Petr Kroha, Mathias Kurth, Michael Fleischer
  6. Formal Computation Independent Model of the Problem Domain within the MDA
    Janis Osis, Erika Asnina, Andrejs Grave
  7. Component Model with Support of Mobile Architectures
    Marek Rychlý
  8. Software architectures for real-time embedded applications for broadcasting
    Otto Zeleznik, Zdenek Havlice

    Formal Specifications

  9. Deriving prototypes from UML 2.0 sequence diagrams
    Zbigniew Huzar, Grzegorz Loniewski

    Software Validation and Verification

  10. Verification of Good Design Style of UML Models
    Bogumila Hnatkowska

    Software Project Management

  11. The Unified Approach to Modeling of Software Project Management Processes
    Sarka Kvetonova, Zdenek Martinek

    Information Systems in Business Environment

  12. User Characteristics Acquisition from Logs with Semantics
    Anton Andrejko, Michal Barla, Maria Bielikova, Michal Tvarozek
  13. Adaptation of navigation by the modified results of full scan algorithm in adaptive hypermedia systems
    Marek Bober, Petr Saloun
  14. Using Matrix Decompositions in Formal Concept Analysis
    Vaclav Snasel, Petr Gajdos, Hussam M. Dahwa Abdulla, Martin Polovincak

    Short Papers

  15. The Analysis of UML State Machine Formal Checking Methods
    Gundars Alksnis
  16. The Art of Project Management: Key Adjustments Factors using Dynamic Techniques
    Antonio Folgueras Marcos, Angel Garcia Crespo, Belen Ruiz Mezcua
  17. UML: Abstraction as a criterion for defining class diagrams and object diagrams
    Ivan Pogarcic, Miro Francic, Vlatka Davidovic

submitted by V. Bartik and J. Zendulka, 24-May-2007
published on CEUR-WS.org, 24-May-2007