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

maintained by Schloss Dagstuhl LZI at University of Trier