Search results for ""Author Min Zhang""

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Read more less

The construction and operation of highways has a significant impact on the environment. While such impact is impossible to avoid, modern highways are constructed and landscaped to minimise these impacts as far as possible. Good landscaping minimises the impact on those living or working close to the highway, while at the same time regenerating the natural landscape disturbed during construction. Using as its background the successful landscape design of the Nanjing-Hangzhou Expressway in Jiangsu Province, China, which opened to traffic in 2007, Highway Landscape Design includes reference to all aspects of the landscaping of highways, including interchanges, embankments, central reservations, bridges, service and toll station areas, and drainage systems. Appropriate consideration is given to the negative impact on the surrounding environment during the process of construction and it discusses the ecological evaluation and conservation strategy for the highway route. China is in some respects at the forefront of highway landscape design as a result of rapid growth and development coupled with the financial resources to implement major infrastructure works, and the concepts, technologies and methods developed for this Expressway provide valuable experience for sustainable development strategies for such infrastructure.

Read more less