Kokouspöytäkirja  Ohjelmistotuotantoprojekti ToTo

Aika: 7.2.2003 klo 14-16

Läsnä:
Teppo Kankaanpää (sihteeri)
Aki Nyrhinen
Visa Röyskö
Juha-Matti Tapio
Marja Huovinen
Matti Nykänen

Jaakko Nenonen oli edelleen kipeänä.

1 Projektisuunnitelma

Projektisuunnitelma hyväksyttiin lopullisesti.
Huomautettiin kalenterien yhteensopimattomuusvirheestä
projektisuunnitelmassa, minkä takia FTR-kokouksen
ajankohta on tiistain 11.3 sijaan perjantai 14.3.
Tästä huolimatta suunnitelman jäädytystä ei kuitenkaan
päätetty enää lykätä.

Seuraaviin käyttöliittymään liittyviin päätöksiin saatiin
vahvistus asiakkaalta:

2 Tulostus

Tulostamisoperaatiossa päädyttiin seuraavaan ratkaisuun:
käyttäjä valitsee erillisessä tulostustilassa todistuspuusta
tulostuksen juurisolmun ja jonkin sen lapsisolmun, ja puusta
tulostetaan tämän juurisolmun alta kaikki maksimissaan
lapsisolmun sukupolvea olevat solmut.

3 Kaavojen syöttäminen

Kun kaavoja syötetään ohjelmaan, käytetyn kielen on oltava
visuaalista, ts. merkkien on näytettävä suunnilleen matemaattisilta
vastineiltaan (-> on implikaatio tms.)

4 Eri sääntöjen valinta

Toggle käy, jos samaan konnektiiviin voidaan soveltaa useampaa sääntöä.

5 Kaaviokokous

Maanantaiksi 10.2. sovittiin kaaviokokous klo 16 gurulan edessä, jossa
suunnitellaan vaatimusmäärittelydokumentin kaavioita.

6 Työnjako

Kukin jatkaa aiemmin määrättyjä osiaan vaatimusmäärittelydokumentista.
Visa sanoi ottavansa yhteyttä Jaakkoon, jotta selviäisi voiko hän tehdä
tehtävänsä (rajoitteiden kirjoittamisen).

6 Perjantain kokous

Perjantain 14.2. kokous on klo 12.

Teppo Kankaanpää