Article View: alt.pl.comp.lang.csharp
Article #9810Re: .NET krytycznym okiem
From: Piotr 'Qertoip' Włodarek
Date: Mon, 07 Nov 2005 21:12
Date: Mon, 07 Nov 2005 21:12
23 lines
1837 bytes
1837 bytes
Dnia Mon, 07 Nov 2005 21:53:44 +0100, Michał napisał(a): > Piotr 'Qertoip' Włodarek wrote: > >> Na razie możliwe jest automatyczne wygenerowanie bezbłędnego programu na >> podstawie specyfikacji matematycznej. Problem w tym, że prawidłową >> specyfikację trudniej napisać niż program :) W dodatku takie programy są >> czasem potwornie niewydajne, ale to oczywiście chwilowy problem. > > Ta specyfikacja to w języku formalnym chyba, a nie matematyczna... Formalnie tak, ale u podłoża leży matma. > No i nie wiem, czy ktokolwiek poza uczelnią miał okazję korzystać z > modelowania w VDM ;). No więc właśnie. -- | Piotr 'Qertoip' Włodarek | AJAX: Unprecedenced Opportunities For | www.piotr-wlodarek.pl | For Usability Research And Testing `-> Software Engineering 4 Those Who Care About The Craft
Technical Details
Message-ID:
<doh7x855jpzs$.dlg@piotr-wlodarek.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mailReferences:
<dkj7pd$o6q$1@nemesis.news.tpi.pl> <dklov9$616$1@nemesis.news.tpi.pl> <dknbnq$qpp$1@213-238-71-36.adsl.inetia.pl> <dkneo6$kv$1@inews.gazeta.pl> <1nhvytwgjlnfx$.dlg@piotr-wlodarek.pl> <dkoerd$quh$2@news.dialog.net.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail From: Piotr 'Qertoip' Włodarek <qer1@o2.pl> Newsgroups: alt.pl.comp.lang.csharp Subject: Re: .NET krytycznym okiem Date: Mon, 7 Nov 2005 22:12:53 +0100 Organization: "Portal Gazeta.pl -> http://www.gazeta.pl" Lines: 23 Message-ID: <doh7x855jpzs$.dlg@piotr-wlodarek.pl> References: <dkj7pd$o6q$1@nemesis.news.tpi.pl> <dklov9$616$1@nemesis.news.tpi.pl> <dknbnq$qpp$1@213-238-71-36.adsl.inetia.pl> <dkneo6$kv$1@inews.gazeta.pl> <1nhvytwgjlnfx$.dlg@piotr-wlodarek.pl> <dkoerd$quh$2@news.dialog.net.pl> NNTP-Posting-Host: ntwklan-81-219-20-237.devs.futuro.pl Mime-Version: 1.0 X-Trace: inews.gazeta.pl 1131397973 23917 81.219.20.237 (7 Nov 2005 21:12:53 GMT) X-Complaints-To: usenet@agora.pl NNTP-Posting-Date: Mon, 7 Nov 2005 21:12:53 +0000 (UTC) X-User: qer1 User-Agent: 40tude_Dialog/2.0.15.1 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit