Covers systems engineering, project management, quality assurance, and space mechanisms, emphasizing the importance of proper requirements and verification.
Introduces formal verification and its advantages over traditional testing methods, discussing automated theorem proving and compiling correctness statements into verification conditions.
Explores hydraulic machines under transient conditions and hydroacoustic applications for hydroelectric installations, covering equilibrium chimneys, diaphragm cavitation, and turbine stability.
Covers simulation parameters for water hammer in pipes using SIMSEN software, emphasizing the importance of specifying element names for system recognition.
