Specification languages at different stages in the software life-cycle

Specification languages are the answer to today's software engineering questions and tendencies. In this paper, we have chosen an ISO standardised specification language, viz. LOTOS. There are different levels of interpretation for a specification: animation, simulation and interpretation. Each of these levels is used at the different stages in the software development life-cycle. The implementation level of interpretation is the final goal of a software development life-cycle: a running program. There are several reasons why conventional compiler technology is not suited to find implementations for an abstract specification. To tackle the implementation derivation problem, we inspired our approach by the human way of solving such problems and introduce "Gandalf", our approach to the implementation derivation problem, for which a prototype has been built.<
>