Specification languages and their implementations

Abstract

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 methoa'ology to translate L.otos 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.