Goodreads helps you follow your favorite authors. Be the first to learn about new releases!
Start by following Daniel Jackson.
Showing 1-5 of 5
“Knowledge is power, but how you use that power defines whether you're good, or evil.”
―
―
“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.”
― Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis
― 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.”
― Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis
― 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.”
― Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis
― 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.”
― Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis
― Software Abstractions: Logic, Language, and Analysis: Logic, Language, and Analysis



