"Formal Engineering for Industrial Software Development" ist ein Fachbuch, das sich mit der Anwendung formaler Methoden in der Softwareentwicklung beschäftigt. Der Autor, Shaoying Liu, argumentiert, dass die Integration mathematischer Notationen in den Softwareentwicklungsprozess die Rigorosität und Verständlichkeit der gängigen Methoden in der Industrie erheblich verbessern kann. Das Buch bietet eine Einführung in die SOFL (Structured Object-Oriented Formal Language), die vom Autor entwickelt und in der Industrie getestet wurde. Es richtet sich sowohl an Studierende als auch an Fachleute und enthält zahlreiche Übungen sowie eine umfassende Fallstudie aus der Praxis. Diese Elemente ermöglichen es den Lesenden, das Gelernte direkt auf ihre eigenen Projekte anzuwenden und die Herausforderungen der Softwareentwicklung besser zu bewältigen.