| 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