Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://tfs.cs.tu-berlin.de/~mgr/int2000.html
Organizers: W.Brauer (Munich), H.Ehrig (Berlin), M.Große-Rhode (Berlin), E.Schnieder (Braunschweig), F.Orejas (Barcelona)
Description:
The use of different specification languages within a single software development project is nowadays supported by an
increasing number of approaches, most prominently the unified modeling language UML. This prompts the question for
the integration and the consistency checking of local specifications, a problem that becomes even more evident in
engineering applications, where also formal or semi formal specification techniques specific to the particular application
are used.
In 1998 the German research council DFG started the program "Software Specification" to support the research on the integration of such specification techniques, in particular with respect to the application domains of automated manufacturing systems and traffic control systems.
The INT2000 workshop will consist of a number of invited presentations on the hot topics of this research area by members of the research projects within this program and further international experts in this field.
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.