Re: Narzedzia CASE i generowanie kodu - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Narzedzia CASE i generowanie kodu › Re: Narzedzia CASE i generowanie kodu

Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: Piotr Dembiński <p...@g...pl>
Newsgroups: pl.comp.programming
Subject: Re: Narzedzia CASE i generowanie kodu
Date: Sat, 19 Nov 2011 14:33:08 +0100
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 18
Message-ID: <o...@h...domek>
References: <j9tl5f$mk$1@news.task.gda.pl>
<9...@4...com> <j9tsc4$q19$1@news.onet.pl>
<v...@4...com>
NNTP-Posting-Host: 77-254-161-42.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Trace: inews.gazeta.pl 1321709588 7858 77.254.161.42 (19 Nov 2011 13:33:08 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Sat, 19 Nov 2011 13:33:08 +0000 (UTC)
X-User: pdemb
User-Agent: Opera Mail/11.52 (Linux)
Xref: news-archive.icm.edu.pl pl.comp.programming:193763
[ ukryj nagłówki ]
On Tue, 15 Nov 2011 16:58:26 +0100, A.L. <l...@a...com> wrote:

[...]

> Owszem, byloby dobrze aby narzedzia do generacji kodu istnialy, ale
> musialyby byc oparte na scislych metodach formalnych a nei na
> rozgadanym belkocie. Jezyk Z byl kiedys uwazany za taka propozycje,
> ale jest on nie do przeskoczenia dla "specjalistow komputerowych"
> majacych klopoty z matematyka w zakresie ulamkow i czterech dzialan

Z jest oparte na teorii zbiorów Zermero-Frankla, przez co jego moc
ekspresji
jest mniejsza od mocy języka programowania kompletnego w sensie Turinga.
Co oczywiście nie jest wadą, ale stanowi przesłankę do tego, by twierdzić,
że Z nie jest panaceum.