Kokouspöytäkirja  Ohjelmistotuotantoprojekti ToTo

Aika: pe 28.3.2003 klo 12-14

Läsnä:
Jaakko Nenonen (sihteeri,puheenjohtaja)
Visa Röyskö 
Teppo Kankaanpää
Aki Nyrhinen
Juha-Matti Tapio (estynyt)
Marja Huovinen (estynyt)


Toteutusvaihe alkoi. 
Sovittiin, että luokat jaetaan seuraaviin pakkauksiin:

fi.helsinki.ohtu.toto.IO (parser-luokat, ParsedFormula?)
fi.helsinki.ohtu.toto.proof (Proof, Formula, ParsedFormula?)
fi.helsinki.ohtu.toto.calculus (Calculus, Connective,
Elimination-luokat)
fi.helsinki.ohtu.toto.UI (käli-luokat)

Parsedformula-luokan pakkausta ei ilmeisesti vielä lyöty luokkoon.


Sitten seuraavaksi jaettiin alustavasti luokkien toteutustyö:

Aki: Parser-luokat 
Teppo: proof,formula,Parsedformula, UI
Visa & Jaakko: Elimination-luokat, Connective, Calculus
Juha-Matti: kirjoittaa kai jotain dokumentteja, tekee UI:ta tai nukkuu

CVS:ään pitäisi aina viedä aluksi luokasta sellainen versio, johon on
laitettu
luokan rakenne (kentät ja metodien otsikot) sekä main-testaus.
Samalla jokainen voisi kirjoittaa oman testauksensa kuvauksen
testausdokumenttiin.

Calculuksen Main-metodiin ajateltiin kirjoitettavan integrointitestaus. 

Visa ja Jaakko kokeilevat pariohjelmoinnilla toteuttaa
eliminointi-luokkia maanantaina klo 15 jälkeen.
Muilla ei ole tapaamista tuolloin.

Tiistain kokouksessa katsellaan ainakin mitä maanantaina tuli tehtyä ja
muutakin koodia.

-Jaakko