Süsteemianalüüs - Kolmanda loengutöö konspekt
enne operatsiooni täitmist. Neid ei testita selle operatsiooni loogika sees, vaid eeldatakse, et
need kehtivad. Kirjutatakse vaid mittetriviaalsed eeldused, mida lugejal on vaja teada.
Järeltingimused: Domeeni mudel objektide seisund pärast operatsiooni lõppu.
Järeltingimused - on lepingu tähtsaimad osad. Nendega on seotud kontseptuaalne
klassidiagramm (domeeni mudel), nad toetavad detailset analüüsi.
Konkreetse kasutusjuhu jaoks - 1. Identifitseeri süsteemi operatsioonid jadadiagrammist.
2. Süsteemi operatsioonide jaoks, mis on keerulised või ebaselged tulemuste osas või mis
pole piisavalt selged kasutusjuhtudes, konstrueeri leping. 3. Järeltingimuste kirjeldamisel
kasuta järgmisi kategooriaid: Objektide (eksemplaride) loomine ja kustutamine, Atribuutide
väärtustamine, Assotsiatsioonide loomine ja katkestamine.
Lepingute kirjutamise üldine viga - unustatakse kirjeldada seoste moodustamist. Lepingute
annaabi.ee 
