<<UML>>2001
"Modeling Languages, Concepts and Tools"
October 1-5, 2001, Toronto, Ontario, Canada
Workshop on
Practical UML-Based
Rigorous Development Methods
-- Countering or Integrating the eXtremists
The pUML (precise UML) Group


Call for Papers
 
 

Practical UML-Based
Rigorous Development Methods
-- Countering or Integrating the eXtremists
(CFP in pdf)










Workshop themes

This workshop will focus on techniques and concepts related to rigorous software development methods based on the Unified Modeling Language (UML). During the workshop the following methodical issues will be explored:

  1. Challenges to defining methodical software development processes based on the UML.
  2. Proposed methods and techniques that have proven industrial applicability or have the potential to scale up to industrial applications.
  3. Formal underpinnings for modeling and analyses techniques.
The workshop will provide attendees with a forum for discussing issues that can lead to a better understanding of how the UML can be used to support systematic and rigorous development of software.

Workshop topics and participant requirements

Relevant topics include all techniques and concepts useful for rigorous development methods, and in particular:

  1. Model refactoring, refinement, abstraction, and composition;
  2. Model realization, code generation, and round-trip-engineering;
  3. Generating test artifacts (e.g., test criteria, test cases) from UML models;
  4. Rigorous analysis of UML models: formal verification and validation;
  5. Usage of meta-modeling concepts in the development process.
The following are the type of participants that can make significant contributions to the workshop:
  1. Persons studying or doing research related to the UML;
  2. Persons who have used or plan to use the UML in development projects;
  3. Persons working on the UML and related software development standards.
All participants are required to have at least working experience in the UML (in a research or industrial context).

Papers and proceedings

Workshop submissions will be full papers, and each paper should be 10-15 pages in length (single spaced, 10pt minimum). A program committee will review the submissions and select papers that present relevant and interesting ideas and concepts that can contribute to the discussions that will take place in the workshop.

The German Society will publish the proceedings as a proceedings book in the newly created series “Lecture Notes in Informatics” for Computer Science (GI)
               Send to:                          Ana Moreira, amm@di.fct.unl.pt
               Paper size:                      should be 10-15 pages
               Submission deadline:      July 7
               Camera-ready version:   August 8
               Formating guidelines:     pdf & word

Programme committee

Jean-Michel Bruel, Tony Clarke, Steve Cook, Brian Henderson-Sellers, Heinrich Hussman, Stuart Kent, Cris Kobryn, Bran Selic, Jon Whittle, and the organizers.

Book publication

Important dates

Sponsors
The workshop will be sponsored by: