10. ISIM 2007: Hradec nad Moravicí, Czech Republic

Jaroslav Zendulka (Ed.): Proceedings of the 10th International Conference on Information System Implementation and Modeling, Hradec nad Moravicí, Czech Republic, April 23-25, 2007. CEUR Workshop Proceedings 252 CEUR-WS.org 2007 BibTeX

Invited Paper

Petr Hnetynka, Tomás Bures:
Advanced Features of Hierarchical Component Models.
Electronic Edition (link) BibTeX

Software Modeling and Techniques

Dariusz Gall:
Transformations from EDOC to EJB by Composition of Mapping Operations.
Electronic Edition (link) BibTeX
Janis Silins:
Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures.
Electronic Edition (link) BibTeX
Petr Weiss, Jaroslav Zendulka:
Modeling of Services and Service Collaboration in UML 2.0.
Electronic Edition (link) BibTeX

Software Architectures

Petr Kroha, Mathias Kurth, Michael Fleischer:
Performance Comparison of Distributed Object Server Implementation.
Electronic Edition (link) BibTeX
Janis Osis, Erika Asnina, Andrejs Grave:
Formal Computation Independent Model of the Problem Domain within the MDA.
Electronic Edition (link) BibTeX
Marek Rychlý:
Component Model with Support of Mobile Architectures.
Electronic Edition (link) BibTeX
Otto Zeleznik, Zdenek Havlice:
Software Architectures for Real-time Embedded Applications for Broadcasting.
Electronic Edition (link) BibTeX

Formal Specifications

Zbigniew Huzar, Grzegorz Loniewski:
Deriving Prototypes from UML 2.0 Sequence Diagrams.
Electronic Edition (link) BibTeX

Software Validation and Verification

Bogumila Hnatkowska:
Verification of Good Design Style of UML Models.
Electronic Edition (link) BibTeX

Software Project Management

Sarka Kvetonova, Zdenek Martinek:
The Unified Approach to Modeling of Software Project Management Processes.
Electronic Edition (link) BibTeX

Information Systems in Business Environment

Anton Andrejko, Michal Barla, Mária Bieliková, Michal Tvarozek:
User Characteristics Acquisition from Logs with Semantics.
Electronic Edition (link) BibTeX
Marek Bober, Petr Saloun:
Adaptation of Navigation by the Modified Results of Full Scan Algorithm in Adaptive Hypermedia Systems.
Electronic Edition (link) BibTeX
Václav Snásel, Petr Gajdos, Hussam M. Dahwa Abdulla, Martin Polovincak:
Using Matrix Decompositions in Formal Concept Analysis.
Electronic Edition (link) BibTeX

Short Papers

Gundars Alksnis:
The Analysis of UML State Machine Formal Checking Methods.
Electronic Edition (link) BibTeX
Antonio Folgueras Marcos, Ángel García-Crespo, Belén Ruíz-Mezcua:
The Art of Project Management: Key Adjustments Factors using Dynamic Techniques.
Electronic Edition (link) BibTeX
Ivan Pogarcic, Miro Francic, Vlatka Davidovic:
UML: Abstraction as a Criterion for Defining Class Diagrams and Object Diagrams.
Electronic Edition (link) BibTeX