Specifying Systems
Specifying Systems This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. Specifying a system helps us understand it. A specification is a…
Specifikacia Specifying Systems
Specifying Systems
This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. Specifying a system helps us understand it. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works.
The most effective tool to describe a specification is the Temporal Logic of Actions, or TLA, because it provides a mathematical, i.e. It's a good idea to understand a system before building it, so it's a good idea to write a specification of a system before implementing it. precise, foundation for describing systems.
TLA+ is the language the author developed to write the mathematical specifications. TLA+ is available freely on the web. It can be used for both software and hardware.
In fact, Intel is using TLA+ with great success in the design of a new chip. The book is divided into four parts. The first
Specifying Systems
Structure Systems
Nervous Systems
Gaian Systems
Typographic Systems
Hidden Systems