|
This book is the latest contribution to the LNEE series, and it consists of selected
papers presented at the Forum on Specifications and Design Languages (FDL) 2012,
which took place in September 2012 at Vienna University of Technology, Vienna,
Austria.
FDL is a well-established international forum devoted to dissemination of
research results, practical experiences, and new ideas in the application of specification,
design, and verification languages to the design, modelling, and verification
of integrated circuits, complex hardware/software embedded systems, and mixedtechnology
systems. Modelling and specification concepts push the development of
new design and verification methodologies to system level, thus providing a means
for model-driven design of complex information processing systems in a variety
of application domains. One of the principal advantages of FDL is that it brings
together several related thematic areas and gives an opportunity to gain up-to-date
knowledge in many broad areas of the fast evolving field of system design and
verification. In 2012, some additional key areas were covered in the form of special
sessions and tutorials included in the conference program. |