System Specification & Design Languages

The Forum on Design Languages (FDL) is the European forum to exchange experiences and learn new trends, in the application of languages and the associated design methods and tools, to design complex electronic systems. By offering several co-located workshops, this multi-faceted event gives an opportunity to gain up-to-date knowledge across main aspects of such a wide field. All the workshops address as their common denominator the different application domains of system-design languages with the presentation of the up-to-date research results and design experiences. FDL'02 was organized as four focused workshops: "Languages for Analogue and Mixed-Signal System Design"; "UML-Based System Specification and Design"; "C/C++-Based System Design"; and "Specification Formalisms for Proven Design". FDL served once more as the European forum for electronic system design languages and consolidates as a place where designers interested in design languages and their applications can meet and interchange experiences. In this book, a selection of papers presented in FDL'02 is published. The text contains research contributions in the four areas mentioned above.