Algebraic Specification Languages

Article View: pl.comp.objects

Article #13669

#13669

From: Michal Przybylek
Date: Wed, 30 Nov 2005 18:33

12 lines
1337 bytes

Jezyki do specyfikacji algebraicznej, typu CASL, Specware, Maude, rodzina
OBJ.

Czy wykorzystanie tego typu narzedzi w nieakademickich systemach jest
wieksze od zerowego ? Tj. czy ktos spotkal sie z na tyle trudnymi systemami,
w ktorych z jednej strony oplacalo by sie podejsc do formalnej specyfikacji
problemu, a z drugiej ASL do owej specyfikacji by sie dobrze nadawaly.

I co, ogolnie, grupowicze ntt. sadza ?


mp

Technical Details

Message-ID: <dmkr1s$565$1@nemesis.news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: "Michal Przybylek" <mrp@neostrada.pl>
Newsgroups: pl.comp.objects
Subject: Algebraic Specification Languages
Date: Wed, 30 Nov 2005 19:33:23 +0100
Organization: tp.internet - http://www.tpi.pl/
Lines: 13
Message-ID: <dmkr1s$565$1@nemesis.news.tpi.pl>
NNTP-Posting-Host: dkb73.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: nemesis.news.tpi.pl 1133375357 5317 83.24.5.73 (30 Nov 2005 18:29:17 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Wed, 30 Nov 2005 18:29:17 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1506
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1506
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit