UseNact Guide For Users

                    Table of Contents

                            Introduction

• What the tool is all about
• Similar tools

                            Installation

• Where to install
• What you will need

                            The Interfaces

• Start Up Window
• Creating actors
• Creating pre/postconditions
• Events

                            Enacting the description

• Default enaction
• State-based enaction (Enhanced)
• Examples of enacted descriptions
  • The ATM
  • Car Parking
  • Library
  • Exchanging pen

                          Editing items already registered

• Rewriting an event
• Changing a precondition
• Changing a postcondition
• Changing secondary actor elements
• Deleting secondary actor elements

                   Implementation Issues

• Classes, objects and interactions--design
• The Java programming language issues

Send us your feedback