Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A specification language is a formal language used in computer science. Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design. Specification languages are generally not directly executed. They describe the system at a much higher level than a programming language. Indeed, it is considered as an error if a requirement specification is cluttered with unnecessary implementation detail, because the specification is meant to describe the what, not the how.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.