Specification languages and their implementations
Ludo Cuypers · 1993
This paper describes some historical software engineering backgrounds leading to specification languages. These specification languages have high promises for the future. One of the main problems is the derivation of implementations. We propose a methodology to translate Lotos specifications into implementations. The principles behind the framework and its concepts are introduced using a simple example. Finally, we explain how implementation techniques proposed by other authors can be integrated in our framework.