§
|
The rationale behind the need to change
|
§
|
The changes to the ‘core text’
|
§
|
The structure of and how to use the new documentation
|
§
|
Technical supplements :
|
○
|
Object Oriented and Related Technologies
|
○
|
Model Based Development and Verification
|
○
|
Formal Methods
|
§
|
Tool Qualification
|