The UNIX Shell contains many features which it suitable to be used for the executable specification of a software system. In this thesis we design a specification language with the operational semantics EXSL, based on the UNIX Shell. We also employ a diagramatic language which can guide the specification process using the executable language.
A language processor which converted the software specification prepared in EXSL into the C-Shell scripts has been implemented. An example is added to illustrate the automated specification procedures.
