Final reminder for QSIM 08 submissions



Final reminder for QSIM 08 submissions

From: Kevin Lano <klano_at_hotmail.com>
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 (http://cms.brooks.ac.uk/staff/HongZhu/QSIC2008).

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 
  transformations.
* 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:
kevin.lano@kcl.ac.uk


_________________________________________________________________
Win Indiana Jones prizes with Live Search
http://clk.atdmt.com/UKM/go/msnnkmgl0010000002ukm/direct/01/
Received on Sat 03 May 2008 - 17:44:40 BST