Narrow your search

Library

KU Leuven (2)

ULiège (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2021 (1)

2012 (1)

Listing 1 - 2 of 2
Sort by

Book
The essence of software : why concepts matter for great design
Author:
ISBN: 0691230544 Year: 2021 Publisher: Princeton, New Jersey : Princeton University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A revolutionary concept-based approach to thinking about, designing, and interacting with software As our dependence on technology increases, the design of software matters more than ever before. Why then is so much software flawed? Why hasn't there been a systematic and scalable way to create software that is easy to use, robust, and secure? Examining these issues in depth, The Essence of Software introduces a theory of software design that gives new answers to old questions. Daniel Jackson explains that a software system should be viewed as a collection of interacting concepts, breaking the functionality into manageable parts and providing a new framework for thinking about design. Through this radical and original perspective, Jackson lays out a practical and coherent path, accessible to anyone from strategist and marketer to UX designer, architect, or programmer⁰́₄for making software that is empowering, dependable, and a delight to use. Jackson explores every aspect of concepts⁰́₄what they are and aren⁰́₉t, how to identify them, how to define them, and more⁰́₄and offers prescriptive principles and practical tips that can be applied cost-effectively in a wide range of domains. He applies these ideas to contemporary software designs, drawing examples from leading software manufacturers such as Adobe, Apple, Dropbox, Facebook, Google, Microsoft, Twitter, and others. Jackson shows how concepts let designers preserve and reuse design knowledge, rather than starting from scratch in every project. An argument against the status quo and a guide to improvement for both working designers and novices to the field, The Essence of Software brings a fresh approach to software and its creation.

Keywords

Software architecture. --- Computer software. --- Architecture, Software --- Computer software --- Computer software architecture --- Software, Computer --- Computer systems --- Architecture --- Design --- Development. --- Development of computer software --- Software development --- Abstraction (software engineering). --- Agile software development. --- Application programming interface. --- Assertion (software development). --- Authentication. --- Axiomatic design. --- Body of knowledge. --- Cognitive dimensions of notations. --- Command language. --- Component-based software engineering. --- Computer-aided design. --- Computing. --- Concept. --- Concepts (C++). --- Conceptual model. --- Cursor (user interface). --- Data model. --- Data set. --- Data type. --- Design knowledge. --- Design pattern. --- Design thinking. --- Design tool. --- Design. --- Designer. --- Diagram. --- Discoverability. --- Dropbox (service). --- Email. --- Engineering. --- Explanation. --- Functional requirement. --- GRASP (object-oriented design). --- Gmail. --- Graphical user interface. --- HTTPS. --- Implementation. --- Information infrastructure. --- Information processor. --- Infrastructure. --- Instance (computer science). --- Interaction design. --- Java (programming language). --- JavaScript. --- Macintosh. --- Metadata. --- Microsoft PowerPoint. --- Motivation. --- OS X. --- Obfuscation (software). --- Object Oriented Role Analysis and Modeling. --- Paragraph. --- Parameter (computer programming). --- Pixel. --- Plug-in (computing). --- Principle. --- Problem domain. --- Programmer. --- Programming idiom. --- Programming language. --- Programming style. --- Programming tool. --- Raw image format. --- Recursion (computer science). --- Rendering (computer graphics). --- Requirement. --- Semantics. --- Server (computing). --- Software architect. --- Software design. --- Software developer. --- Software development. --- Software engineer. --- Software engineering. --- Software industry. --- Software quality. --- Software requirements. --- Software system. --- Software. --- Specification language. --- Stash (software). --- Structuring. --- Subdomain. --- Synchronization (computer science). --- System administrator. --- Theorem. --- Turing Award. --- Twitter. --- Ubiquity (software). --- Uniform Resource Locator. --- Usability. --- Use case. --- User interface design. --- User interface. --- Variable (computer science). --- Version control. --- Website. --- Widget (GUI). --- Workaround. --- Workstation.


Book
Alan Turing's systems of logic : the Princeton thesis
Author:
ISBN: 1400843219 Year: 2012 Publisher: Princeton, New Jersey ; Woodstock, England : Princeton University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A facsimile edition of Alan Turing's influential Princeton thesisBetween inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene—were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton.A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal—a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine.Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.

Keywords

Logic, Symbolic and mathematical. --- Turing, Alan, --- Alan Perlis. --- Alan Turing. --- Algorithm. --- Alonzo Church. --- Applicable mathematics. --- Automated theorem proving. --- Axiomatic system. --- Boolean algebra. --- Boolean satisfiability problem. --- C++. --- Calculus of constructions. --- Cantor's diagonal argument. --- Central limit theorem. --- Church–Turing thesis. --- Computability theory. --- Computability. --- Computable function. --- Computable number. --- Computation. --- Computer architecture. --- Computer program. --- Computer science. --- Computer scientist. --- Computer. --- Computing Machinery and Intelligence. --- Computing. --- Coq. --- Cryptography. --- Decision problem. --- Donald Gillies. --- EDVAC. --- ENIAC. --- Enigma machine. --- Entscheidungsproblem. --- Formal system. --- Foundations of mathematics. --- Georges Gonthier. --- Gödel's incompleteness theorems. --- Haskell Curry. --- Howard Aiken. --- Instance (computer science). --- Iteration. --- J. Barkley Rosser. --- John Tukey. --- John von Neumann. --- Kenneth Appel. --- Kepler conjecture. --- Konrad Zuse. --- Lecture. --- Lisp (programming language). --- Logic for Computable Functions. --- Logic in computer science. --- Logic. --- Logical framework. --- Marvin Minsky. --- Mathematica. --- Mathematical analysis. --- Mathematical logic. --- Mathematical proof. --- Mathematician. --- Mathematics. --- Model of computation. --- Monotonic function. --- Natural number. --- Notation. --- Number theory. --- Numerical analysis. --- Oswald Veblen. --- Parameter (computer programming). --- Peano axioms. --- Peter Landin. --- Presburger arithmetic. --- Probability theory. --- Processing (programming language). --- Programming language. --- Proof assistant. --- Quantifier (logic). --- Recursion (computer science). --- Recursion. --- Result. --- Rice's theorem. --- Riemann zeta function. --- Satisfiability modulo theories. --- Scientific notation. --- Simultaneous equations. --- Skewes' number. --- Solomon Feferman. --- Solomon Lefschetz. --- Systems of Logic Based on Ordinals. --- The Unreasonable Effectiveness of Mathematics in the Natural Sciences. --- Theorem. --- Theory of computation. --- Theory. --- Topology. --- Traditional mathematics. --- Turing Award. --- Turing machine. --- Turing's proof. --- Variable (computer science). --- Variable (mathematics).

Listing 1 - 2 of 2
Sort by