October 27th, 2008       Kitakyushu-City, Japan organised and funded by ARTIST 

First IEEE International workshop UML and Formal Methods

Held in conjunction with the 10th International Conference on Formal Engineering Methods, ICFEM 2008

Technical Co-sponsorship from IEEE France Section
The proceedings are a special issue on papers from UML&FM in the journal of NASA: "Innovations in Systems and Software Engineering" (Springer).

Many interest groups from a research perspective are in favour of the creation of this workshop.

For more than a decade now, the two communities of UML and formal methods have been working together to produce a simultaneously practical (via UML) and rigorous (via formal methods) approach to software engineering.

UML is the de facto standard for modelling various aspects of software systems in both industry and academia, despite the inconvenience that its current specification is complex and its syntax imprecise.

The fact that the UML semantics is too informal have led many researchers to formalize it with all kinds of existing formal languages, like OCL, Z, B, CSP, VDM, Petri Nets, UPPAAL, HOL, Coq, PVS etc.

This first workshop will be open to various subjects as the main objective is to encourage new initiatives of building bridges between informal, semi-formal and formal notations.

GIF - 3.3 kb

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet