Preface

摘要

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.rnFDL 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 mixed-technology 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.