Held in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010

This workshop seeks contributions from researchers and practitioners
interested in all aspects of integrating UML and formal methods. To this
end, we solicit papers related to, but not limited to, the following principal topics:

* Consistent specifications, model transformations (QVT technologies,
transformation repositories). Transformations to make models more
analyzable so as to make them executable.
* Automation of traceability through transformations
* Refinement techniques: developing detailed design from a UML abstract
specification
* Refinement of OCL specification as well
* Formal reasoning on models for code generation
* Technologies for compositional verification of models
* Specification of a formal semantics for the UML. Giving an abstract
syntax to UML diagrams
* Formal validation and verification of software
* Co-modeling methods formal/informal mapping techniques
* End-to-end methodologies or software process engineering,
correct-by-construction design providing and supporting tools for
safety-critical embedded systems design


All the selected papers will be published in the ACM Software Engineering Notes (SEN), January 2011. Papers should not exceed 8 pages. Submitted manuscripts should be in English and formatted in the style of the SEN format. Preferably, submissions should be in PDF format.

Slides will be made available through the workshop website.

Let’s notice that 7 papers will selected to be published after the workshop in a 2011 special issue of the SoSyM journal. The authors of the 7 best papers will be asked to send an extended version of their paper. These extended versions should not exceed 20 pages, must be based on the same results as the original but different. Submitted manuscripts should be in English and formatted in the style of the SoSyM Springer format. Preferably, submissions should be in PDF format. Please, follow the guidelines at the "Authors information" heading in the SoSyM website.