Literate Specification: A Framework for Documenting and Implementing Business Rules in the Database

Language Features

It uses five tags for remarking

It has three sentences

It intermingles text among the tags

This language, with the tags, is trying to encapsulate and hide the specific knowledge, nevertheless, with the text, it is trying to clarify the pinpoints made with the tags