Operating Spec Explorer
Spec Explorer is operated via its user interface, which is a plug-in for Visual Studio. Visual Studio must be started before this interface can be used. The main elements of the user interface are the Exploration Manager, View Definition Editor, and the Modeling Guidance. They can be opened from the Spec Explorer menu in the Visual Studio menu bar. The View Definition Editor can also be accessed from the Exploration Graph Viewer, used by Spec Explorer to display the result of an exploration.
This branch of the documentation covers operating Spec Explorer via the principal elements of its user interface.