Large algebraic specifications
Subject: Large algebraic specifications
From: firstname.lastname@example.org (Arie van Deursen)
Date: 23 Jun 1995 15:47:33 +0200
Keywords: algebraic specification
Organization: Eindhoven University of Technology, The Netherlands
Dear news readers,
The larger a specification, the more complicated it becomes to handle.
I would like to collect experiences from people who had to write
or are writing algebraic specifications of say 50 pages or more.
I am looking for reports describing these specifications,
ftp sites containing the full specifications, and for
papers discussing the problems of scaling up algebraic specifications.
I will post a summary of answers on the net in a few weeks time.
Thank you very much in advance,
Arie van Deursen.
Arie van Deursen,
Formal Methods Group email@example.com
Dept. of Math. & Computing Sc. http://www.win.tue.nl/win/cs/fm/arie/
Eindhoven University of Technology Tel. +31 40 475157
P.O. Box 513, 5600 MB Eindhoven Fax: +31 40 463992
The Netherlands Priv.: +31 20 6390343