Warning:

JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.

The Concept Map you are trying to access has information related to: ClassTextViews, Specification consists of Class invariant, Specification consists of Attribute declarations, Flat are names also used for Feature text views, Routine contract consists of Postcondition, Specification consists of Routine specifications, Producer oriented views show Exported and non-exported features, Producer oriented views are named Flat, Producer oriented views are named Basic text, Attribute declarations for each attribute consists of Header comment, Attribute declarations for each attribute consists of Signature

Sample Feature Flat view

Sample Class Flat view -- partial

Sample Feature Basic Text view

Sample Class Basic Text view -- partial

Sample Interface view -- partial

Sample Clickable view -- partial

Map: EiffelStudio Software Views

Sample Contract view -- partial