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: YAMI4 dla Arduino Uno

2014-09-28 00:16:15 autor: Maciej Sobczak

W dniu piątek, 26 września 2014 20:56:42 UTC+2 użytkownik Andrzej Jarzabek napisał: > Naprawdďż˝ masz ambicjďż˝ wydania tego na wszyskie moďż˝liwe platformy, nie? Nie ... [ więcej ]

grupa: pl.comp.programming
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