operational specification languages
The operational approach to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. Operational specification languages are executable specification languages designed to fit the goals, assumptions, and strategies of the operational approach. This paper defines the operational approach and surveys the existing operational specification languages, viz., the graphic notation of the Jackson System Development method, PAISLey, Gist, and modern applicative languages.
specification language language software development implementation feature fit goals strategies paper survey graphics system development method