cfp: Formalisation of UML and Design Patterns, QSIC 2008



cfp: Formalisation of UML and Design Patterns, QSIC 2008

From: Kevin Lano <klano_at_hotmail.com>
Date: Sun, 6 Apr 2008 16:31:32 +0000
Message-ID: <BAY139-W5B923D52F31A1B4C68DA1A8F00@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


_________________________________________________________________
Welcome to the next generation of Windows Live
http://www.windowslive.co.uk/get-live
Received on Sun 06 Apr 2008 - 17:31:46 BST