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-03 10:58:01 autor: Maciej Sobczak

> Dlatego, że zamiast dopracować "nowy" język programowania typu "safety" Uniwersytety robią to w tempie 3 języki na rok. Nic z tego. To tak nie działa. > ... [ więcej ]

grupa: pl.comp.programming
Re: Sens organizowania tzw. "konkursów dla hakerów"

2019-09-03 20:29:50 autor: Maciej Sobczak

> Bredzę czy może > moja koncepcja, gdyby ktoś zechciał wprowadzić ją w życie, mogłaby > poważnie zachwiać "informatycznym ekosystemem"? Chyba jednak masz ... [ więcej ]

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

2019-09-03 20:49:51 autor: Maciej Sobczak

> Z asercjami nie jest napisane, że ni mniej ni więcej niż 2, tylko że co > najmniej dwie na funkcję, czyli nie ma górnego limitu. > Inna sprawa, że to pełnej sensowności ... [ więcej ]

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

2019-09-03 20:51:09 autor: Maciej Sobczak

> >> Dlatego, że zamiast dopracować "nowy" język programowania typu "safety" > > > > Uniwersytety robią to w tempie 3 języki na rok. Nic z ... [ więcej ]

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

2019-09-03 21:05:11 autor: Maciej Sobczak

> > Przemysł ma inne zdanie. Nie da się zakazać używania języka C. > > Po prwwsze: Przemysl nieraz dowiodl (i ciagle dowodzi), ze za madry > nie jest... Ale ma moc ... [ więcej ]

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

2019-09-04 09:31:04 autor: Maciej Sobczak

> > Tak. Można stwierdzić, że w ogóle nie powinno być żadnych asercji w kodzie programu, bo w systemie krytycznym one nie pełnią tam żadnej sensownej roli. > > Co za ... [ więcej ]

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

2019-09-04 23:49:48 autor: Maciej Sobczak

> Asercje są formą komentarza, który dodatkowo można zweryfikować. Kupa różnych narzędzi weryfikuje adnotacje zaszyte w komentarzach. Statycznie. I tak powinno być. > ... [ więcej ]

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

2019-09-06 15:42:36 autor: Maciej Sobczak

Wątek zaczął się od NASA, więc będę się trzymał tematu i zakładam, że chodzi o naprawdę krytyczny soft a nie np. o przeglądarkę internetową, której ... [ więcej ]

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

2019-09-06 21:03:02 autor: Maciej Sobczak

> Oj ale to chyba nieco naiwne - że niby przetestowanie wynikowego kodu > zagwarantuje brak bugów. Nie zagwarantuje, tylko potwierdzi. Bo niby jak inaczej? > Nie zagwarantuje, ... [ więcej ]

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

2019-09-06 21:25:17 autor: Maciej Sobczak

> > Kupa różnych narzędzi weryfikuje adnotacje zaszyte w komentarzach. Statycznie. I tak powinno być. > > Dlaczego? Bo właśnie do tego służą komentarze? Powinno być ... [ więcej ]

grupa: pl.comp.programming