Books

A Book is Still the Ultimate Source for In-Depth Information.

The knowledge to master a subject is almost always found in books, and here is our exclusive library. You still have to apply the knowledge yourself.

Below you find the list of all books in the library.

ReqIF Studio Handbook (PDF)

ReqIF Studio Handbook as PDF

The ReqIF Studio Handbook is available free as HTML, and will always be. But if you need it as one document, for offline use, the PDF is indispensable.
ReqIF Studio Handbook

ReqIF Studio Handbook

The ReqIF Studio Handbook is the ultimate reference on the tool.
Rodin Handbook

Rodin Handbook

Rodin is a free modeling tool, supporting the Event-B modeling language, for which an integration with ReqIF Studio exists.