Minimally adequate teacher synthesizes shuttles, too
John A. Koskinen · 2004
MAS is an interactive approach for synthesizing state machines from scenario descriptions. We present the results of applying MAS to the Shuttle System case study material. UML sequence diagrams that MAS takes as an input are constructed based on the overview descriptions and example scenarios given in the case study documentation. The ways to manage implied behavior and enhance the functionality of MAS using UML notation are also discussed.