Re: Carnegie-Mellon przestaje uczyc programowania obiektowego

eGospodarka.pl › Grupy › pl.comp.programming › Carnegie-Mellon przestaje uczyc programowania obiektowego › Re: Carnegie-Mellon przestaje uczyc programowania obiektowego

Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!lub
lin.pl!uw.edu.pl!newsgate.cistron.nl!newsgate.news.xs4all.nl!news2.euro.net!fee
der.news-service.com!postnews.google.com!u12g2000vbf.googlegroups.com!not-for-m
ail
From: Maciej Sobczak <s...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Date: Thu, 14 Apr 2011 13:11:53 -0700 (PDT)
Organization: http://groups.google.com
Lines: 19
Message-ID: <0...@u...googlegroups.com>
References: <inpsjn$nua$1@inews.gazeta.pl> <inqqea$9f4$1@inews.gazeta.pl>
<int0c8$bkd$1@inews.gazeta.pl> <invfrd$edj$1@inews.gazeta.pl>
<m...@4...com>
<f...@l...googlegroups.com>
<a...@4...com> <io6d5n$ngu$1@news.onet.pl>
<2...@4...com> <io6s9p$h5h$1@news.onet.pl>
<1...@4...com> <io72tm$eni$1@news.onet.pl>
<j...@4...com> <io7h0m$cno$1@news.onet.pl>
NNTP-Posting-Host: 83.3.40.82
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1302811913 28350 127.0.0.1 (14 Apr 2011 20:11:53 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 14 Apr 2011 20:11:53 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: u12g2000vbf.googlegroups.com; posting-host=83.3.40.82;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.13)
Gecko/20101203 Firefox/3.6.13,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:189854
[ ukryj nagłówki ]
On Apr 14, 9:13 pm, Michal Kleczek <k...@g...com> wrote:

> Nie znam sie na metodach formalnych, ale wydawalo mi sie, ze stosowanie ich
> ma zapobiegac pojawianiu sie bledow zarowno w implementacji jak i
> _specyfikacji wymagan_ .

Nie. Metody formalne mają za zadanie zapewnić, że implementacja jest
zgodna ze specyfikacją. Mogą też znaleźć sprzeczność oraz
niekompletność w specyfikacji, jeśli takie są.

Ale żadne metody formalne nie zagwarantują, że specyfikacja poprawnie
odzwierciedla to, co należało zrobić - bo zawsze można zrobić
specyfikację i "poprawną" implementację do złego problemu. To jest
ostatnie ludzkie ogniwo, które jeśli zostanie wyeliminowane, to
wszyscy pójdziemy na szczaw.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com