Article View: alt.pl.comp.lang.csharp
Article #9808Re: .NET krytycznym okiem
From: Michał
Date: Mon, 07 Nov 2005 20:53
Date: Mon, 07 Nov 2005 20:53
20 lines
1793 bytes
1793 bytes
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. O czym mówisz? Ta specyfikacja to w języku formalnym chyba, a nie matematyczna... No i nie wiem, czy ktokolwiek poza uczelnią miał okazję korzystać z modelowania w VDM ;). A generowanie... zainteresuj się model-driven architecture (MDA). > IMHO zajmie to dłużej. IMHO pomidor ;) pozdrawiam, -- mgl
Technical Details
Message-ID:
<dkoerd$quh$2@news.dialog.net.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!news.dialog.net.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>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!news.dialog.net.pl!not-for-mail From: Michał <mgl@somewhere.net> Newsgroups: alt.pl.comp.lang.csharp Subject: Re: .NET krytycznym okiem Date: Mon, 07 Nov 2005 21:53:44 +0100 Organization: Dialog Net Lines: 20 Message-ID: <dkoerd$quh$2@news.dialog.net.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> Reply-To: zvfvn#zvfvn.pwo.arg NNTP-Posting-Host: xdsl-969.wroclaw.dialog.net.pl Mime-Version: 1.0 X-Trace: news.dialog.net.pl 1131396781 27601 81.168.131.201 (7 Nov 2005 20:53:01 GMT) X-Complaints-To: abuse@dialog.net.pl NNTP-Posting-Date: Mon, 7 Nov 2005 20:53:01 +0000 (UTC) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7) Gecko/20040616 X-Accept-Language: en-us, en In-Reply-To: <1nhvytwgjlnfx$.dlg@piotr-wlodarek.pl> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit