Books like Software abstractions by Daniel Jackson

This book provides a strategic approach to software construction, offering essential techniques and must-know principles for creating high-quality code.

This book is about programming for data processing applications, and its purpose is to present a coherent method and procedure for designing systems, programs, and components. The main emphasis is on the structure: on the dissection of a problem into parts and the arrangement of those parts to form a solution.

Object‑Oriented Software Construction offers systematic methodologies for designing reusable software modules, illustrated through concrete Eiffel examples and emphasizing effective interface design.

A practical guide for writing and executing effective software tests, covering modern methodologies, test design, debugging, and managerial aspects for programmers of all levels.

Software Paradigms provides the first complete compilation of software paradigms commonly used to develop large software applications, with coverage ranging from discrete problems to full-scale applications. The book focuses on providing a structure for understanding a hierarchy of software development approaches, and showing the relationships between the different models. Coverage includes paradigms in design patterns, software components, software architectures, and frameworks. Chapters within each of these sections include design issues related to building and using the paradigm as well as numerous real world applications. A practical overview of the hierarchy of development paradigms, Software Paradigms is an excellent teaching tool for undergraduates and graduates, and a comprehensive and reliable reference for software engineers.