Új hozzászólás Aktív témák

• #113 bambano titán cucka #109

  Új Válasz 2020-01-17 14:39:26 #113

  Új hozzászólás

  Összes hozzászólása itt Válaszok az összes hozzászólására itt Válaszok erre a hozzászólásra

  Privát üzenet küldése

  

  bambano

  titán

  válasz cucka #109 üzenetére

  "Látod, megfogalmaztad a lényeget, csak nem akarod elfogadni.": vagy te nem érted, hogy mit írtam.
  te ezt írtad:
  "De hadd kérdezzem meg, részt vettél már szoftvergyártási folyamatban akár beszállítói, akár megrendelői oldalon? Mert a hozzászólásodból az süt, hogy nem, csak lököd itt a saját feltételezéseidet meg fantáziáidat arról, hogy mi hogy kéne legyen."

  ebből két feltételezést lehet kiolvasni:
  1. szerinted fogalmam sincs arról, hogy megy a megrendelés és a szoftverfejlesztés az üzleti életben
  2. szerinted irreális az, és nekem nincs vele kapcsolatban tapasztalatom, hogy a fejlesztő feleljen a szoftverért.

  1. van fogalmam. egy csomó projektet végighajtottam eddigi karrierem során, megrendelői és teljesítői oldalról is.
  1a. most is teljesítői oldalon dolgozom.
  2. az ms megteheti, hogy ráírja a szoftverre, hogy as-is. így az ms-t soha nem meszelik el, ha pocsék kódot ad ki. én nem tehetem meg, engem seggbe rúgnak, ha azért rohad meg a szolgáltatás, mert a szoftverem hibázik. tehát én pont az ellentéte vagyok az ms-nek ebben a kérdésben (meg minden másban is), mert nekem van anyagi felelősségem a kezemből kiadott kódért. ráadásul mivel nem programra szerződök, hanem szolgáltatásra, így folyamatosan felelek a dolgaimért, nem csak garis időben.

  "De azt elvárni, hogy a megrendelő komplett funkcionális speckót tesz le az asztalra, meg kifizeti, hogy te matematikailag igazolod a kód helyességét, ez teljesen a fantázia birodalmában van.": nálam ez úgy megy, hogy addig zaklatom a megrendelőt, amíg nincs rendes speckó. ugyanis ha nincs rendes speckó, akkor én sem tudom eldönteni, hogy mit írjak az editorba. az a modern programozói felfogás, hogy ha a megrendelő nem tudja, hogy mit akar, akkor majd írunk valami szemetet a programba, és átadjuk, és meglátjuk, mit szólnak hozzá, engem nem érdekel. a szervezési munkákat is el kell végezni. ha a megrendelő végzi el, szuper, ha én, akkor én, de a végén komplett speckó van, mielőtt elindítom az editort. ha a megrendelő nem tudja, hogy mit akar, akkor beülök a leendő júzer székébe, és kiderítem. ha interjúztatni kell a júzert, akkor interjúztatom. ha döntésre kell kényszeríteni, akkor rákényszerítem.

  a matematikai bizonyítás meg úgy működik, hogy tudom, hogy hogyan kellene bebizonyítani, és úgy írom meg a kódot, ahogy a programhelyesség bizonyításhoz kellene, és akkor tudom, hogy ha akarnám, bebizonyíthatnám, illetve nem formálisan be is bizonyítom. akár megfizetik, akár nem. ehhez kell az egyetemi oktatás, hogy tudd, hogy mi az, hogy programhelyesség bizonyítás, és tudd, hogy adott kódon meg tudnád csinálni, ha kellene. már ettől a tudattól jobb lesz a kód akkor is, ha nem végzed el papíron a bizonyítást.

Új hozzászólás Aktív témák