Algebraic Specification Languages

Thread View: pl.comp.objects

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Michal Przybylek Wed, 30 Nov 2005 18:33

#13669

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads