gickul

Proiectare Software

Mar 3rd, 2015
673
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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/
RAW Paste Data

Adblocker detected! Please consider disabling it...

We've detected AdBlock Plus or some other adblocking software preventing Pastebin.com from fully loading.

We don't have any obnoxious sound, or popup ads, we actively block these annoying types of ads!

Please add Pastebin.com to your ad blocker whitelist or disable your adblocking software.

×