“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 Copy Share Image
“Knowledge is power, but how you use that power defines whether you're good, or evil.” — Daniel Jackson Copy Share Image
“Alloy language and its analysis are a Trojan horse: an attempt to capture the attention of software developers, who are mired in the tar… — Daniel Jackson Copy Share Image
“No prior knowledge of specification or modeling is assumed beyond a highschool-level familiarity with the basic notions of set theory.” — Daniel Jackson Copy Share Image
“Then the sense of humiliation sets in, as you discover that there's almost nothing you can do right.” — Daniel Jackson Copy Share Image
“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… — Daniel Jackson Copy Share Image
