CIS 4615 meeting -*- Outline -*-

* Overview of Specification 
  Today we start part of our course on specifiction
------------------------------------------
              SPECIFICATION

Different levels:

   - Requirements
   - Detailed Design

Overall Idea:

    1. Description
    2. Process for checking conformance

Example:







------------------------------------------
     Coke machine:
         "You give it a dollar, select a product, it gives you a can
          of your selected beverage."

         More formally, can describe events:
             observing initial display
             adding money
             feedback on the machine's display
             button push
             dispensing of the product

         Can use a finite state machine

            initial  --> enter $1 --> shows $1 credit
                                      |
                                      |
                                      v
                                push button --> selection comes out


       Process for checking conformance:
           test the machine on all possible input sequences,
           it should follow the specificed behavior.