Search results for ""Author Carla Ferreira""

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Read more less

This book contains auxiliary calculation tools to facilitate the safety assessment of reinforced concrete sections. Essential parameters in the design to the ultimate limit state of resistance such as the percentage of reinforcement and the position of the neutral axis in concrete cross-sections, as well as the control of the maximum stresses in service limit states are provided by these tools. A set of tables, charts and diagrams used to design cross-sections of reinforced and prestressed concrete structures are supplied. The most current beams and columns cross-sections namely, rectangular, circular and T-sections are considered. These tools have been prepared in line with the provisions of the new European regulations, with particular reference to Eurocode 2 – Design of Concrete Structures. The book stands as an ideal learning resource for students of structural design and analysis courses in civil engineering, building construction and architecture, as well as a valuable reference for concrete structural design professionals in practice.

Read more less