Papers

Papers: Full of Information, read in half an hour.

White papers and articles are great for reading something that's a little longer, and goes a little deeper.

Integrating Requirements and Formal Models

Integrating Requirements and Formal Models

Once requirements engineering and management are mastered, integrating them into your systems development process is the logical next step. This article describes how such an integration could look like, using the Event-B modeling language as an example.