Katalóg požiadaviek

[PanFilipko]

https://www.overleaf.com/project/66fc31993316eb9aa16a9fc6

[pavelpetrovic]

tu su moje nepodstatne komentare, s ktorymi nalozte podla vlastneho uvazenia:

• myslim, ze namiesto catalog je krajsie povedat System Requirements Specification Document
• 1.1. binding agreement....
• representations of mathematical relations => pod tymto som si predstavil nieco celkom ine
• 1.3. please use bold font
• 1.5. prosim konkretnejsie
• 2.1. can manipulate => what do you mean? their => cim menej zamen, tym mensia sanca ze to zle pochopim that prove => contribute to one of the possible proofs => z toho vyplyva, ci su v mm vsetky dokazy aj vychadzajuce z roznych tvrdeni a ci by nebolo mozne pri vizualizacii zobrazovat iba niektore tvrdenia - tie ktore sa podielaju na nejakom konkretnom dokaze myslienky:
  • zobrazit nahodny / prvy dokaz, nie vsetky tvrdenia, ktore sa podielaju na nejakom dokaze
  • kostra
  • mat moznost konstru dynamicky menit
  • co s cyklami a ekvivalenciami
  • viac roznych rieseni najdenia teorie z ktorej vyplyva ina teoria
• 2.2. ma byt jeden plynuly text s nadvazujucimi vetami
• 3.1. privelmi ambiguous, radsej presnejsie opisat
• aj v 2. aj v 3. casti su vsetky vety cele vety (podmet, prisudok)
• "using keywords." => utrpel som kulturny sok
• " can be added to theory one or theory two" => opat kulturny sok
• " on the graph." => what graph are you talking about here?
• ak system nieco importuje alebo exportuje, treba mat presne vyspecifikovane, v akom formate (ake datove typy vsetkych poloziek) to bude - mozno pouzit odkaz na priklad takeho dokumentu, alebo subor, ktory popisuje format, alebo rovno do KP

[pavelpetrovic]

este nepodstatnejsie komentare:

• 1.3. statement theorem ma stale pomiatlo. co je v theorem nazvat statement a pod to kurzivou dat to co je v statement
• node ma tiez zmiatol, lebo uz raz ste definovali vertex a bolo by dobre mat konzistentnu terminologiu, LINKy by som dal prec, lebo slovo LINK znie ako hrana a tiez to tam matie
• 2.2 "with uploading" - nerozumiem, co si pod tym mam predstavit
• 2.2. odstavec "Next, the user..." vyvolava nejake nezodpovedane otazky a nadej v citatelovi, ze sa to dozvie neskor, ale bol by spokojnejsi, keby sa to dozvedel uz tu
• "exported as an image" - bitmap or vector image?
• vo vete " Data such as..." som hodil NullPointerException na slove "needed" aj na slove "formed"
• v dalsej vete, FileNotFoundException na "detailed information"
  • 3.1.1. prosim zlucit do 3.1.2
  • 3.1.5,6. importing -> selecting
  • 3.1.6 je v rozpore s 3.1.7. lebo jeden validuje na "select" a druhy validuje na "submit"
  • 3.2.2. "already draw graph" - nevieme co to je a odkial to prislo, minimalne treba dat krizovy odkaz na inu poziadavku
  • 3.2.4. veci, ktore nemozu byt inak netreba zdoraznovat
  • 3.2.2 negacia a negacia -> search is available only when the graph is visualized
  • 3.3 type I a II - could you invent more clear names?
  • 3.3.1.10 "These nodes also branch out to represent the nodes that reference the original node." - very confusing sentence
  • possibility to set maximum depth
  • 3.3.3 suggest red-blue-purple
  • suggesting mentioning that layout of nodes in one layer will be optimized for viewing, not random (optional requirement)
  • missing information about transitivity A <- B,C B <- C, => B and C are not at the same layer, even though A <- B,C suggests they are
  • ostavaju otazniky o tom, co vlastne su tvrdenia v metamathe a co su dokazy a ake to ma dosledky na system, treba to zistit a doplnit do dokumentu