Autor: Maciej Sobczak <s...@g...com> - Lista wiadomości

eGospodarka.pl › Grupy › Wyniki wyszukiwania

Szukana fraza: Autor: Maciej Sobczak <s...@g...com>
Znaleziono: 850 wiadomości

Re: ParaSail - nowy język

2014-11-14 14:04:26 autor: Maciej Sobczak

W dniu środa, 12 listopada 2014 20:27:42 UTC+1 użytkownik Wojciech Muła napisał: > Polecam uwadze, pojawił się niedawno http://parasail-lang.org/. Tak "niedawno" to ... [ więcej ]

grupa: pl.comp.programming
Ada on Cortex-M: tutorial dla Arduino Due

2015-01-30 00:19:56 autor: Maciej Sobczak

Witam, Osoby zainteresowane programowaniem systemów wbudowanych i/lub programowaniem w Adzie (w szczególności na mikrokontrolery ARM Cortex-Mx) i/lub posiadaczy płytek prototypowych ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-23 17:30:27 autor: Maciej Sobczak

W dniu poniedziałek, 23 marca 2015 16:15:58 UTC+1 użytkownik j...@p...onet.pl napisał: > > A ręczne wpisywanie niezmienników? > > Sugerujesz że są programy które ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-24 17:28:42 autor: Maciej Sobczak

W dniu poniedziałek, 23 marca 2015 21:41:10 UTC+1 użytkownik M.M. napisał: > > Są. > > > > Problemem (największym) pozostaje ręczne pisanie niezmienników z ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-26 15:03:06 autor: Maciej Sobczak

> Nie znam się na algorytmach i ich dowodzeniu, ale mogę powiedzieć tyle, > że normalną praktyką w przemyśle jest testowanie a nie dowodzenie, Głównie dlatego, że ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-27 10:06:10 autor: Maciej Sobczak

> > Głównie dlatego, że testowanie jest zrozumiałe zarówno dla tych, > > którzy to robią, jak i dla tych, którzy to mają zaakceptować jako > > element projektu ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-27 15:12:08 autor: Maciej Sobczak

> Tutaj akurat widzę pomylenie pojęć. Testowanie to uruchamianie > programu z założeniem sprawdzenia, jak się zachowuje w określonych > okolicznościach. Tak. Można nawet ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-28 10:10:19 autor: Maciej Sobczak

W dniu piątek, 27 marca 2015 21:25:34 UTC+1 użytkownik Andrzej Jarzabek napisał: > Ale może właśnie potrafią wyspecyfikować, ale niekoniecznie w języku > formalnym. To ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-29 23:18:54 autor: Maciej Sobczak

> W indywidualnym przypadkui nie wiemy, ale w skali dużej firmy jak > najbardziej można zbierać dane między wysiłkiem włożonym w testowanie s > stratami z fakapów. I ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-30 11:15:14 autor: Maciej Sobczak

W dniu poniedziałek, 30 marca 2015 00:59:51 UTC+2 użytkownik Andrzej Jarzabek napisał: > BTW, właśnie sprawdziłem i wygląda na to, że nie jest to prawda - poza > wszystkimi ... [ więcej ]

grupa: pl.comp.programming