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

Alloy: a language and tool for exploring software designs Page 1 66 COMMUNICATIONS OF
THE ACM | SEPTEMBER 2019 | VOL. 62 | NO. 9 contributed articles ALLOY IS A language and …

Practical Handbook to understand the hidden language of computer hardware and software
DESCRIPTION This book teaches the essentials of software engineering to anyone who …

Today's software engineer must be able to employ more than one kind of software process,
ranging from agile methodologies to the waterfall process, from highly integrated tool suites …

This book offers a practical approach to understanding, designing, and building sound
software based on solid principles. Using a unique Q&A format, this book addresses the …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

As the authors point out in the preface, this is an engineering textbook; it emphasizes
engineering principles and techniques, not how to write programs. It is intended for third-and …

This chapter presents the design of software systems based on axiomatic design (AD)
theory, distinct from specific programming languages or computer algorithms. It provides a …

The most distinctive thing about humans is not the thumb, of course. It is design. Unlike any
other animal, we incessantly and dramatically reshape both ourselves and our environment …

Building software often seems harder than it ought to be. It takes longer than expected, the
software's functionality and performance are not as wonderful as hoped, and the software is …