TutorialThis is the top-level page of Ada-ASSURED 's self-teaching tutorial introduction.
The tutorial consists of pages interconnected by ``links''. A link is just a phrase with an associated target page. Clicking SELECT on a link replaces the present page with the target page. Links are printed in a distinguished typographical style.
The tutorial is organized as a Structured Document. Each page contains a row of buttons at the top for navigating through the document:
goes to the previous section
(skipping any intervening subsections).
goes to the enclosing section.
goes to the next section
(skipping any intervening subsections).
goes to the previous page.
goes to the next page.
A button is crossed out if it does not apply.
The tutorial is organized into the following sections, which should be read in order: