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: Jak to robią w NASA

2019-09-07 17:04:13 autor: Maciej Sobczak

> Z tego co słyszałem testuje się na wyrywki. Można, ale to słaba metoda. "Wyrywki" zakładają, że jakiś zbiór jest jednakowo czuły w swoich różnych punktach, co ... [ więcej ]

grupa: pl.comp.programming
Re: Jak to robią w NASA

2019-09-07 17:21:31 autor: Maciej Sobczak

> > Napisałem już kilka razy, dlaczego asercji się nie używa a Ty grzebiesz w SJP, żeby... no właśnie nie wiem po co. > > No bo błędnie napisałeś. W jakim sensie ... [ więcej ]

grupa: pl.comp.programming
Re: Jak to robią w NASA

2019-09-08 17:32:06 autor: Maciej Sobczak

> > W jakim sensie błędnie? W takim, że się ich używa? > > W takim sensie, jak pisałem na początku. No to od początku: 1. W kodzie krytycznym nie używa się asercji ... [ więcej ]

grupa: pl.comp.programming
Re: Jak to robią w NASA

2019-09-08 22:17:19 autor: Maciej Sobczak

> No to spróbujmy pierwszy przykład: > > /*@ ensures \result >= x && \result >= y; > ensures \result == x || \result == y; > */ > int max (int x ... [ więcej ]

grupa: pl.comp.programming
Re: Jak to robią w NASA

2019-09-11 09:21:06 autor: Maciej Sobczak

> > Po pierwsze, asercje (nazwijmy je raczej warunkami weryfikacji) > > Dlaczego warto wprowadzać takie rozróżnienie nazewnicze, dlaczego nie używać > określenia ... [ więcej ]

grupa: pl.comp.programming
Re: Jak to robią w NASA

2019-09-12 09:21:41 autor: Maciej Sobczak

> A konkretnie, co jest na temat a co nie jest i na jaki? Pół dyskusji w tym wątku było nie na temat tego wątku. > Nie wiem co to > jest "verification condition". ... [ więcej ]

grupa: pl.comp.programming
Re: Jak to robią w NASA

2019-09-13 08:14:07 autor: Maciej Sobczak

> Zwykle stosuję słabsze wnioskowanie, np. że z NIE prawdziwości warunków > testowych wynika że program jest nie poprawny. Więc uściślijmy: chodzi o poprawność względem ... [ więcej ]

grupa: pl.comp.programming
Re: Dyskryminacja wiekowa w branży IT - fakty i mity

2019-09-13 08:54:21 autor: Maciej Sobczak

> Czy to w ogóle możliwe? Tak. Na pewno pomoże odpowiednio napisany list motywacyjny, którego osoba będąca od początku "w nurcie" zwykle nie musi pisać. Ale w takim ... [ więcej ]

grupa: pl.comp.programming
Re: POpularno?? j?zyk?w programowania ??

2019-09-26 09:51:40 autor: Maciej Sobczak

> Dosc powszechne > jest przekonanie ze Pascal jest mniej blednogenny niz C, czyli > po prostu ze latwej jest napisac _poprawny_ program w Pascalu > niz w C. A w przypadku ... [ więcej ]

grupa: pl.comp.programming
Re: POpularno?? j?zyk?w programowania ??

2019-09-30 09:21:24 autor: Maciej Sobczak

> Podpowiem tylko na marginesie: jeśli chcesz język koszerny do embedded, > który ma co najmniej jakąs zaletę nad C/C++ to obecnie uważa się za taki > Adę. Nie żeby to ... [ więcej ]

grupa: pl.comp.programming