Software Abstractions Quotes

“An abstraction is not a module, or an interface, class, or method; it is a structure, pure and simple-an idea reduced to its essential form.”
― Daniel Jackson, Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis

“No prior knowledge of specification or modeling is assumed beyond a highschool-level familiarity with the basic notions of set theory.”
― Daniel Jackson, Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis

“Alloy language and its analysis are a Trojan horse: an attempt to capture the attention of software developers, who are mired in the tar pit of implementation technologies, and to bring them back to thinking deeply about underlying concepts.”
― Daniel Jackson, Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis

“Then the sense of humiliation sets in, as you discover that there's almost nothing you can do right.”
― Daniel Jackson, Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis