Advertisement
gickul

Proiectare Software

Mar 3rd, 2015
2,909
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Unicon 1.59 KB | None | 0 0
  1. PS Lab1-2
  2.  
  3. Componente comandate
  4. a1 Predontitie Context Order Value>0
  5. a2 context order value = 0 implies Componente Comandate (EMPTY)
  6. a3 Compcomandate - > collect (pret)
  7.     Componente -> all  Omstamced
  8.  
  9. a4 - Operatorul all.in
  10. Context Component -> allInstances forall( fiecare componenta care o gasim in sistem ) bla bla daca codurile difera
  11.  
  12. b - Preconditie OCL
  13. Contextu Comenzi apply Sale ( reducere : Dooble)
  14. preconditie - reduction >0
  15.  
  16. c - Postconditie
  17. 1
  18. rezultatul operatiunii de cancel , fieldul confirm de pe comanda sa fie setat fals
  19. ulterior executiei metodei cancel trebuie sa se indeplineasca conditia
  20. c
  21. 2
  22. valoare at pre
  23. se calculeaza reducerea , ne asiguram ca valoarea comenzii ulterior apelarii reducerii este
  24. c
  25. 3
  26.  
  27. Trebuie sa ne asiguram ca respectivul o avut salariu in ultimele 12 luni > de cat nu stiu cat
  28. in contecxtul de aprove rate payment returneaza un boolean valoarea rezultata = rezult = valoarea
  29. booleana a faptului ca daca colectam toate salariile care au >12 luni is >2000  si ca are 12 salarii
  30.  
  31.  
  32. 2.1
  33.  Garantul este prin asociatii clientului cumva
  34. in contexul unui imprumut LOAN invariantul r fi , garantul intre 0 si 1 , si not empty != NUll
  35. exista un asociat in lista
  36. pt fiecare self.customer.associate E warrantor .
  37.  
  38. b  Are un security implica ca fiecare , in.security este owned de customers
  39. c text value pt fiecare casa cel putin 20% din valoarea loanului
  40.  
  41. P3 , similar cu c1
  42. P4 primele pareau destul de usoare
  43.  
  44.  
  45. seagate backup data plus
  46. http://www.pcgarage.ro/hard-disk-uri-externe/filtre/general-capacitate-1000/general-serie-backup-plus/
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement