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

Invited Paper

Software Modeling and Techniques

Software Architectures

Formal Specifications

Software Validation and Verification

Software Project Management

Information Systems in Business Environment

Short Papers