Looking for small examples

Article View: comp.specification

Article #274

Back to comp.specification Previous Next

#274

From: Don Wilcox
Date: Thu, 15 Oct 1992 21:19

17 lines
1330 bytes

Almost every paper in formal methods, software engineering, or system
specification uses examples, and most of the papers describing new ideas use
fairly simple examples.  I am trying to collect as many of these small examples
as possible.  You know, things like the soda machine, stop watch, elevator,
alternating bit protocol, etc.  Does anyone know of a good place to find a
more-or-less exhaustive list?  Failing that, would you be interested in telling
me about your favorite "toy" example?  I am preparing to flip through several
tens of thousands of pages of journal articles and conference proceedings, and
I would be grateful for any additional pointers.

Thanks,

Don
-- 
Don Wilcox                         | "For I am not ashamed of the Gospel of
Washington University in St. Louis |   Christ, for it is the power of salvation
email: wilcox@swarm.wustl.edu      |   to all who believe."

Technical Details

Message-ID: <1992Oct15.211956.22851@wuecl.wustl.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!gumby!wupost!eclnews!swarm.wustl.edu!wilcox

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!gumby!wupost!eclnews!swarm.wustl.edu!wilcox
From: wilcox@swarm.wustl.edu (Don Wilcox)
Subject: Looking for small examples
Message-ID: <1992Oct15.211956.22851@wuecl.wustl.edu>
Sender: usenet@wuecl.wustl.edu (Usenet Administrator)
Nntp-Posting-Host: swarm
Organization: Washington University in St. Louis, MO
Date: Thu, 15 Oct 1992 21:19:56 GMT
Lines: 17