Computers / Software Development & Engineering / Systems Analysis & Design

Showing results 1-10 of 12

Filter Results OPEN +

Sort by: Per page: ‹12 ›

Software Design Decoded

66 Ways Experts Think

by Marian Petre and André van der Hoek

ISBN: 9780262553049

Publisher: The MIT Press

Pub Date: May 6, 2025

An engaging, illustrated collection of insights revealing the practices and principles that expert software designers use to create great software.

Modeling and Analysis of Communicating Systems

by Jan Friso Groote and Mohammad Reza Mousavi

ISBN: 9780262547871

Publisher: The MIT Press

Pub Date: May 9, 2023

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems

Technical Debt in Practice

How to Find It and Fix It

by Neil Ernst, Rick Kazman and Julien Delange

ISBN: 9780262542111

Publisher: The MIT Press

Pub Date: August 17, 2021

The practical implications of technical debt for the entire software life cycle; with examples and case studies.

Software Design for Flexibility

How to Avoid Programming Yourself into a Corner

by Chris Hanson and Gerald Jay Sussman

ISBN: 9780262045490

Publisher: The MIT Press

Pub Date: March 9, 2021

Strategies for building systems that can be adapted for new situations with only minor programming modifications.

Software Abstractions, revised edition

Software Abstractions

Logic, Language, and Analysis

by Daniel Jackson

ISBN: 9780262528900

Publisher: The MIT Press

Pub Date: February 12, 2016

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

Press On

Principles of Interaction Programming

by Harold Thimbleby

ISBN: 9780262514231

Publisher: The MIT Press

Pub Date: January 22, 2010

How to understand and program interactive devices so that they are reliable and easy to use; includes wide-ranging programming insights, tools, and code.

Constraint-Based Local Search

by Pascal Van Hentenryck and Laurent Michel

ISBN: 9780262513487

Publisher: The MIT Press

Pub Date: August 21, 2009

Introducing a method for solving combinatorial optimization problems that combines the techniques of constraint programming and local search.

Online Stochastic Combinatorial Optimization

by Pascal Van Hentenryck and Russell Bent

ISBN: 9780262513470

Publisher: The MIT Press

Pub Date: August 21, 2009

A framework for online decision making under uncertainty and time constraints, with online stochastic algorithms for implementing the framework, performance guarantees, and demonstrations of a variety of applications.