-
Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.PO
STED!not-for-mail
From: Michal Kleczek <k...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Followup-To: pl.comp.programming
Date: Thu, 14 Apr 2011 22:26:45 +0200
Organization: http://onet.pl
Lines: 37
Message-ID: <io7la5$v13$1@news.onet.pl>
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>
<0...@u...googlegroups.com>
NNTP-Posting-Host: 213-238-68-76.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8Bit
X-Trace: news.onet.pl 1302812805 31779 213.238.68.76 (14 Apr 2011 20:26:45 GMT)
X-Complaints-To: n...@o...pl
NNTP-Posting-Date: Thu, 14 Apr 2011 20:26:45 +0000 (UTC)
User-Agent: KNode/4.4.9
Xref: news-archive.icm.edu.pl pl.comp.programming:189857
[ ukryj nagłówki ]Maciej Sobczak wrote:
> 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,
Wiec zataczajac kolo w dyskusji - czy nie jest przypadkiem tak, ze OO - w
zamysle - ma byc narzedziem pozwalajacym wlasnie to "przejscie" (pomiedzy
rzeczywistym problemem i implementacja jego rozwiazania) uczynic latwiejszym
poprzez:
1) opis problemu odpowiadajacy jak najblizej postrzeganiu go przez ludzi (po
to zeby byl latwiej weryfikowalny)
2) implementacja jak najbardziej zblizona do opisu problemu (dzieki czemu
jest latwiej weryfikowalna i - co rownie wazne - ewentualne zmiany w
problemie daja sie w prostszy sposob przelozyc na zmiany w implementacji)
Inna sprawa to na ile ten zamysl sie daje realizowac...
> które jeśli zostanie wyeliminowane, to
> wszyscy pójdziemy na szczaw.
Ale odprawe wezmiemy :)
--
Michal
Następne wpisy z tego wątku
- 14.04.11 20:27 A.L.
- 14.04.11 20:34 Wojciech Jaczewski
- 14.04.11 20:40 fir
- 14.04.11 20:39 A.L.
- 14.04.11 21:41 Wojciech Jaczewski
- 14.04.11 21:50 A.L.
- 14.04.11 22:22 Daniel Janus
- 14.04.11 22:37 A.L.
- 15.04.11 04:58 Mariusz Marszałkowski
- 15.04.11 06:37 Jacek Czerwinski
- 15.04.11 06:59 Jacek Czerwinski
- 15.04.11 07:05 Jacek Czerwinski
- 15.04.11 07:07 Michal Kleczek
- 15.04.11 07:13 Michal Kleczek
- 15.04.11 07:20 Paweł Kierski
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-01 "Policjant został ujęty obywatelsko..."
- 2025-03-01 zatrzymanie zbyszka maja
- 2025-03-01 Warszawa => Expert Recruiter 360 <=
- 2025-03-01 Chrzanów => NodeJS Developer <=
- 2025-03-01 Warszawa => Gen AI Engineer <=
- 2025-03-01 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-01 Kraków => Technical Team Leader (Clojure, Java) <=
- 2025-03-01 Zrobił TV OLED z TV LCD
- 2025-03-01 Gdynia => Sales Executive / KAM <=
- 2025-03-01 Błonie => Sales Specialist <=
- 2025-03-01 Ryga => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i Kad
- 2025-03-01 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-03-01 Błonie => Analityk Systemów Informatycznych (TMS SPEED) <=
- 2025-03-01 Wróblewo => Analityk finansowy <=
- 2025-03-01 Warszawa => Senior Frontend Developer (React + React Native) <=