Kokouspyötäkirja  Ohjelmistotuotantoprojekti ToTo

Aika: perjantai 31.1.2003 klo 13-15 B475

Läsnä:
Marja Huovinen (ohjaaja)
Teppo Kankaapää
Jaakko Nenonen (puheenjohtaja, sihteeri)
Aki Nyrhinen
Juha-Matti Tapio
Visa Röyskö
Matti Nykänen (asiakas)


Kokouksen tarkoituksena oli kartoittaa asiakkaan vaatimuksia eli tehdä vaatimusanalyysi. 


Aluksi kartoitettiin vaatimuksia käyttöliittymältä:
===================================================
- asiakkaan ehdottaman ikkunointisysteemin tärkeimmäksi ideaksi paljastui tulostamisen helppous
- ikkunointisysteemin huonoiksi puoliksi havaittiin käytettävyys ja ongelmat undo-redo toiminnoissa.
- Asiakas totesi navigointipuun hyväksi käli-ideaksi, kunhan tulostusongelmaan saadaan jokin ratkaisu

- Kaavapuuhun mietittiin erilaisia korostuksia, jotka osoittavat mikä osa kaavasta on lisätty viimeksi
- lisäksi hiiren kursorin liikkuessa voisivat korostua ne osat, joita voi klikata.


Paljon aikaa käytettiin undo-redo toiminnon miettimiseen:
=========================================================

- Eräs varteenotettava idea oli, että klikatessa puun keskellä olevan kaavan uutta osaa vanha alipuu häviää (undo)
ja käyttäjä voi lähteä rakentamaan todistusta uuteen alipuuhun. Jos uusi reitti osoittautuu huonoksi, voi vanhan
alipuun palauttaa (redo) klikkaamalla sitä kaavan osaa, josta vanhan alipuun juuri oli. 
Tällöin uusi alipuu taas katoaa (undo).

- alipuiden pitäminen muistissa saattaa rasittaa sitä ja Matti ehdotti että mahdollisesti jostain eteenpäin undo:t
  voisivat "unohtua" 

- tämän menetelmän lisäksi ajateltiin lisätä mahdollisesti myös perinteinen yhden tai useamman undon namiska
  erityisesti sitä varten jos vahingossa "sohaisee" jotain kaavanosaa

- undon voisi mahdollisesti lisätä myös hiiren oikeanpuoleiseen nappiin jos pop-upille ei löydy tarvetta


Sulkuongelmaa (esim. A v B v C) pohdittiin:
============================================

Matti esitti kolme eri ratkaisua ongelmaan:

1) kaavat sulutetaan aina täysin. Tällöin kaava on yksikäsitteinen, mutta sulut häiritsevät luettavuutta

2) "näkymättömät sulut", joiden tarkka järjestys määritellään dokumenttiin. Ongelmia syntyy siitä, että jos 
   käyttäjä on mielessään hahmottanut erilaisen sulkujärjestyksen, kaavan avautuminen toisin saattaa sekoittaa käyttäjää.
   Toisekseen esim. kaavassa A & B & C -> C saattaa syntyä turha formaali väliaskel. Tätä ratkaisua Matti piti
   kuitenkin ilmeisesti parhaana.

3) kaavapuu voisi olla binääripuun sijaan monihaarainen. Tämä olisi käyttäjän kannalta mukavin mutta ei formaalin 
   logiikan mukainen.


Rajoituksia & yms huomioita:
============================

- Muistirajoitusta ja suorituskykyä tulisi olla sen verran että ohjelma toimisi jouhevasti keskiverto-opiskelijan
  kotikoneella ja laitoksella

- ohjelmalta vaaditaan G3CP ja G3IP kalkyylit, lisäksi toteutuksessa voitaisiin varautua myös G3CP+Cut(?) 
  kalkyylin lisäämiseen myöhemmin. Muihin kalkyyleihin ei liene syytä varautua, ettei ohjelman toteutus käy liian vaikeaksi.

- Cut-säännön(?) lisäämiseen pitäisi varautua. Kaavapuuhun voi siis jäädä "aukkosolmuja", johon voidaan lisätä kaava myöhemmin

- Tulostus tulisi tapahtua ainakin latex-formaatissa ja mahdollisesti myös asciina, jos kaavapuita halutaan
  lähettää helposti esim. sähköpostitse

- puun talletusformaatin saamme päättää itse

--------------------------------------------------------------------------------

Asiakkaan (ja ohjaajankin) lähdettyä sovittiin määrittelydokumentin osien alustavasta jaosta:


- Sisällysluettelo: Juha-Matti
- Yleiskuvaus, käyttötapaukset, palvelut: Teppo
- sidosryhmät & sidoskaavi: Visa
- Luokkakaavio: Aki
- Kälin alustava hahmotelma: Jaakko
- Käytettävyysvaatimukset & rajoitukset: Jaetaan myöhemmin

Ryhmän jäsenten kesken sovittiin epävirallisesta tapaamisesta ensi maanantaina 27.1 klo 16 gurulassa. Tarkoituksena
on ainakin katsoa mitä kukin on tehnyt ja yhdistellä porukalla jotain valmiiksi tiistain kokoukseen. 

Lisäksi puhuttiin, että kukin voisi tutustua G3CP ja G3IP -kalkyyleihin, Proof theoryn kansiossa on 
materiaalia.

Ensi perjantain 7.3. kokous on normaaliin aikaan klo 14-16. matti saapuu paikalle klo 15.