Proiectare Software

PS Lab1-2

Componente comandate
a1 Predontitie Context Order Value>0
a2 context order value = 0 implies Componente Comandate (EMPTY)
a3 Compcomandate - > collect (pret)
    Componente -> all  Omstamced

a4 - Operatorul all.in
Context Component -> allInstances forall( fiecare componenta care o gasim in sistem ) bla bla daca codurile difera

b - Preconditie OCL
Contextu Comenzi apply Sale ( reducere : Dooble)
preconditie - reduction >0

c - Postconditie
1
rezultatul operatiunii de cancel , fieldul confirm de pe comanda sa fie setat fals
ulterior executiei metodei cancel trebuie sa se indeplineasca conditia
c
2
valoare at pre
se calculeaza reducerea , ne asiguram ca valoarea comenzii ulterior apelarii reducerii este
c
3

Trebuie sa ne asiguram ca respectivul o avut salariu in ultimele 12 luni > de cat nu stiu cat
in contecxtul de aprove rate payment returneaza un boolean valoarea rezultata = rezult = valoarea
booleana a faptului ca daca colectam toate salariile care au >12 luni is >2000  si ca are 12 salarii


2.1
 Garantul este prin asociatii clientului cumva
in contexul unui imprumut LOAN invariantul r fi , garantul intre 0 si 1 , si not empty != NUll
exista un asociat in lista
pt fiecare self.customer.associate E warrantor .

b  Are un security implica ca fiecare , in.security este owned de customers
c text value pt fiecare casa cel putin 20% din valoarea loanului

P3 , similar cu c1
P4 primele pareau destul de usoare


seagate backup data plus
http://www.pcgarage.ro/hard-disk-uri-externe/filtre/general-capacitate-1000/general-serie-backup-plus/