Logic-Driven Software Engineering: Build Reliable Software with Formal Reasoning, Decision Tables, Property-Based Testing, Design by Contract, State Machines, and AI Coding Agents
by Gem Iroko
Logic-Driven Software Engineering explores a structured approach to dependable software development. It covers formal reasoning, decision tables, property-based testing, design by contract, state machines, and AI coding agents, showing how these concepts fit within a broader logic-driven engineering practice.
About This Book
Logic-Driven Software Engineering presents an approach to building reliable software through explicit reasoning and structured development practices.
The book covers formal reasoning, decision tables, property-based testing, design by contract, and state machines.
It also addresses the role of AI coding agents within a logic-driven software engineering workflow.
Designed for readers interested in dependable software development, the book brings these methods together as complementary tools for improving software quality and clarity.
Reviews
No reviews yet. Be the first to review this book!