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

Invited Paper

• Petr Hnetynka, Tomás Bures:
  Advanced Features of Hierarchical Component Models.
  

Software Modeling and Techniques

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

Software Architectures

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

Formal Specifications

• Zbigniew Huzar, Grzegorz Loniewski:
  Deriving Prototypes from UML 2.0 Sequence Diagrams.
  

Software Validation and Verification

• Bogumila Hnatkowska:
  Verification of Good Design Style of UML Models.
  

Software Project Management

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

Information Systems in Business Environment

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

Short Papers

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