[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CSP/Occam Demo Cases

To: <occam-com@xxxxxxxxxx>
Subject: CSP/Occam Demo Cases
From: "Koehne Kai" <Kai.Koehne@xxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Tue, 16 May 2006 13:59:24 +0200
Delivery-date: Tue, 16 May 2006 13:02:14 +0100
Envelope-to: phw@xxxxxxxxxxxxxxxx
Sender: owner-occam-com@xxxxxxxxxx
Thread-index: AcZ44CyHQgEG915gQaCZ4fv6ZIARlg==
Thread-topic: CSP/Occam Demo Cases

Hi,
 
I am currently preparing a presentation about the Grid-Occam project (www.grid-occam.org), and thought it would be cool to have a few "success stories" where CSP or - even better - occam was used in the real world. Something like: Look! The software for Ariane 5 was developed using this!!! And BMW used it for XXX !!!!! ... Well, you get the idea :-)
 
I have looked through the mailing list archives, but couldn't find anything. Are you aware of any projects I could mention?
 
Kind Regards,
 
Kai Koehne
Hasso-Plattner-Institut
Universität Potsdam

Follow-Ups:
- Re: CSP/Occam Demo Cases
  - From: Denis A Nicole
- RE: CSP/Occam Demo Cases
  - From: Andrew Delin
- RE: CSP/Occam Demo Cases
  - From: Eric Verhulst
- Re: CSP/Occam Demo Cases
  - From: tjoccam

Prev by Date: RE: CSP Benefits Wrap-up
Next by Date: Re: CSP/Occam Demo Cases
Previous by thread: RE: CSP Benefits Wrap-up
Next by thread: Re: CSP/Occam Demo Cases
Index(es):
- Date
- Thread