Final reminder for QSIM 08 submissions

Final reminder for QSIM 08 submissions

From: Kevin Lano <>
Date: Sat, 3 May 2008 16:44:19 +0000
Message-ID: <BAY139-W37B55EA6C22628730E11E5A8D50@phx.gbl>
Formalisation of UML and Design Patterns
Invited Special Track, QSIC 2008 (8th International
Conference on Quality Software)

Papers are invited for submission to a session at the
QSIC 2008 conference, to take place in Oxford, 12th-13th
August 2008 (

Accepted papers will be published in the QSIC 2008
conference proceedings, by IEEE Press.

The session will cover the following topics:

* Formalisation of UML, including semantics for UML
  notations, verification of models, and co-use of
  formal techniques with UML modelling.
* Model transformations, semantics of model
  transformations and verification of model 
* Design patterns, including representation and
  formalisation of design patterns.

Submission deadline: 10th May, 2008
Notification: 20th May, 2008
Camera-ready version: 12th June, 2008

Papers can be long (max 10 pages) or short (max 6 pages).

Papers should be submitted in PDF format to:

Win Indiana Jones prizes with Live Search
Received on Sat 03 May 2008 - 17:44:40 BST