Specification of a specification language

J Ludewig
1981 Annual Review in Automatic Programming  
ESPRESO is a recently developed specification systC0 for process control soft ... are . It consirits of a specification language and !I soft .... re system ... bich serves as a tool to check , manage, and evaluate specifications. The langu.ge ... as precisely defined by an Extended Attribute Crammar Ind by a mapping into a programming language. The definition turned out to be most valuable not only for the implementation of the tool but also for the i~rove0ent of the language i t self. As a
more » ... roduct of tbis work, a better understanding of the n3ture of • specification laoguage was achieved.
doi:10.1016/0066-4138(81)90010-0 fatcat:5ncq7gbburhxriklnsbtikpxfa