fiŞa disciplinei - math.uvt.ro · 2.4 anul de studiu 1 2.5 semestrul 2 2.6 tipul ... (ore pe...

FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest Timişoara 1.2 Facultatea / Departamentul Facultatea de Matematică şi Informatică 1.3 Catedra Departamentul de Informatică 1.4 Domeniul de studii Informatică 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea Inginerie software

2. Date despre disciplină 2.1 Denumirea disciplinei Arhitecturi si modele de securitate in retele 2.2 Titularul activităţilor de curs Conf. Dr. Iordan Victoria 2.3 Titularul activităţilor de seminar Conf. Dr. Iordan Victoria 2.4 Anul de studiu 1 2.5 Semestrul 2 2.6 Tipul de evaluare C 2.7 Regimul disciplinei Opt

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 14 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 10 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 28 Tutoriat 18 Examinări 4 Alte activităţi…………………………………… 0 3.7 Total ore studiu individual 74 3.8 Total ore pe semestru 130 3.9 Numărul de credite 6

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • 4.2 de competenţe •

5. Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului •

5.2 de desfăşurare a seminarului/laboratorului •

6. Competenţele specifice acumulate

Com

pete

nţe

prof

esio

nale

• Însușirea conceptelor de bază în rețele de calculatoare • Dezvoltarea abilităţilor de exploatare a unor echipamente incluse în reţele locale de

calculatoare pentru potenţiali utilizatori. C

ompe

tenţ

e tra

nsve

rsal

e • Îmbunătăţirea abilităţilor în utilizarea calculatoarelor și în administrarea rețelelor de calculatoare

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Dobandirea de cunostinte pentru implementarea unor politici de

securitate in retelele de calculatoare si cunoasterea principalilor algoritmi de criptare a informatiilor.

7.2 Obiectivele specifice • Însuşirea algoritmilor de criptare simetrici/asimetrici • Cunoașterea mecanismelor de generare a cheilor publice/private și

a modului de administrare a acestora • Principiile de bază ale securității rețelelor

8. Conţinuturi 8.1 Curs Metode de predare Observaţii 1. Securitatea pe calculatoare şi în LAN-uri. Prelegere însoţită de

materiale în format electronic (PDF)

Se va pune accent şi se va stimula o co-participare activă din partea studenţilor

2. Securitatea nivelelor reţea şi transport în reţele.

Prelegere însoţită de materiale în format electronic (PDF)

3. Algoritmi de dirijare a pachetelor de date: algoritmi statici, algoritmi dinamici.


4. Algoritmi pentru controlul congestiei în subreţele.


5. Protocoale de securitate ale nivelului aplicaţie în reţele.


6. Securitatea în Internet: vulnerabilitatea reţelelor, protecţia transmisiei prin criptare, securitatea serviciilor Internet, securitatea prin


firewall, tratarea incidentelor de securitate. 7. Utilizarea schimbului de chei in sistemul

kerberos pentru sisteme distribuite. Prelegere însoţită de materiale în format electronic (PDF)

8. Sisteme electronice de plăţi. Protocolul Secure Electronic Transaction (SET): caracteristici, criptografia sistemului SET.


9-10. Criptografia computaţională: Algoritmi criptografici cu cheie secretă


11. Algoritmi criptografici cu chei publice. Moduri de cifrare cu algoritmi simetrici


12. Algoritmi moderni de criptare –AES, RSA Prelegere însoţită de materiale în format electronic (PDF)

13-14. Administrarea cheilor in criptografie. Prelegere însoţită de materiale în format electronic (PDF)

Bibliografie 1. Lars Klander - Anti Hacker. Ghidul securitătii reţelelor de calculatoare”- Editura All Educational, 1998 2. Victor V. Patriciu, Ion Bica, Monica Pietroşanu-Ene, Costel Cristea – Securitatea Informatică în Unix şi

Internet, Ed. Tehnică, 1998 3. Harold F. Tipton, Micki Krause – Information Security Management Handbook, Auerbach Publications, CRC

Press LLc, 2000 4. Matt Curtin - Introduction to Network Security, 1997, http://www.interhack.net/pubs/network-security.pdf 5. www.cybercash.com 6. Stallings W.- Cryptography and Network Security, Principles and Practice –, Third Edition, Prentice Hall,

2003. 7. Shafi Goldwasser, Mihir Bellare - Lecture Notes on Cryptography, 2001 8. Jonathan Knudsen - Java Cryptography, Editura O’Reilly, 1998 8.2 Seminar / laborator Metode de predare Observaţii

1. Algoritmi de criptare clasici - Codul Caesar - Codificări simple - Roata alfabetică - Pig Latin - Tabela Viginere - Tabela Porta - Codificări matrice - Codificări Bifid

Prelegere și exemplificare practică pe calculator

2. Algoritmi moderni de criptare - DES - Triplu DES - RC5 - AES - RSA

Prelegere și exemplificare practică pe calculator

Crearea de aplicaţii in C++, C# sau Java (la alegerea studentului) care implementeaza algoritmii de criptare prezentați

Lucrări practice pe calculator

Securitate: algoritmi de criptare Prelegere și exemplificare practică pe calculator

http://www.cybercash.com/

9. Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice,

asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului • Dezvoltarea abilităţilor de exploatare a reţelelor de calculatoare pentru potenţiali utilizatori. Piaţa muncii

locală, naţională sau europeană este în permanentă căutare de absolvenţi cu bune cunoştinţe în proiectarea unor rețele sigure.

10. Evaluare Tip activitate 10.1 Criterii de evaluare 10.2 Metode de

evaluare 10.3 Pondere din nota finală

10.4 Curs Lucrare scrisă – test grila si descriptiv- la care se evaluează cunoştinţele teoretice dobândite din tematica cursului şi a laboratorului.

Examen scris 40%

10.5 Seminar / laborator

Temele de la laborator Elaborarea unui referat din tematica securitatii de calculatoare Testarea continua pe parcursul semestrului - cunoştinţe pentru nota 5 – Efectuarea tuturor temelor de laborator - cunoştinţe pentru nota 10 – cunoaşterea tuturor elementelor predate la laborator

Probă practică pe calculator

30%

Realizarea unui proiect care implementează algoritmii de criptare prezentati la curs

30%

10.6 Standard minim de performanţă • Obţinerea notei minime 5(cinci) atât la evaluarea teoretică (curs) cât şi la cea practică (laborator)

Data completării Semnătura titularului de curs Semnătura titularului de seminar

Data avizării în catedră/departament Semnătura şefului catedrei/departamentului

FIŞA DISCIPLINEI

1. Date despre program

1.1 Instituţia de învăţământ superior UNIVERSITATEA DE VEST TIMISOARA

1.2 Facultatea / Departamentul Matematica si Informatica / Informatica

1.3 Catedra 1.4 Domeniul de studii Informatica 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea IACD, IS

2. Date despre disciplină 2.1 Denumirea disciplinei Sisteme multi-agent 2.2 Titularul activităţilor de curs Prof. Dr. Viorel Negru 2.3 Titularul activităţilor de seminar Prof. Dr. Viorel Negru 2.4 Anul de studiu I IS, IASTE; II IACD 2.5

Semestrul 2 2.6 Tipul de

evaluare E 2.7 Regimul

disciplinei Obl / IS Opt


4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • AI, Sisteme inteligente 4.2 de competenţe • Programare Java



6. Competenţele specifice acumulate C

ompe

tenţ

e pr

ofes

iona

le - abilitatea de a identifica metodele de rezolvare a unor probleme complexe

- abilitatea de a analiza si proiecta o aplicatie MAS

- abilitatea de a implementa si testa aplicatii MAS

Com

pete

nţe

trans

vers

ale

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Abordarea unor probleme teoretice si experimentale legate de

calculul paralel si distribuit in Inteligenta Artificiala. 7.2 Obiectivele specifice • Dezvoltarea unor modele distribuite de tip multi-agent..

8. Conţinuturi 8.1 Curs Metode de predare Observaţii C1-2. Sisteme inteligente Slide-uri

C3. Rezlvarea distribuita a problemelor

C4-5. Algoritmi paraleli in IA. Paralelism in reprezentarea cunostintelor. Paralelizarea algoritmilor de compilare a regulilor. Paralelism in rationament.

C6. Sisteme bazate pe agenti

C7-9. Modelul blackboard. Sisteme expert distribuite. Moduri de cooperare. Tipuri de control in sistemele blackboard. Aplicatii.

C10-14. Modelul multi-agent. Pricipiile sistemelor multi-agent. Interactiune si cooperare. Tipuri de agenti. Actiune si

comportament. Comunicare. Colaborare si coordonare.

8.2 Seminar / laborator Metode de predare Observaţii Paralelizarea unor componente din sistemele expert bazate pe reguli.

Dezvoltarea de aplicatii in: Clips, Jess, FuzzyJess, GBB, BBClips, JADE, OAA, Cougaar etc.

Bibliografie

1. Michael Wooldridge - An Introduction to Multi - Agent Systems, John Wiley & Sons, 2002 2. F. Bellifemine, G. Claire, D. Greenwood – Developing Multi-Agent Systems with Jade, John Wiley \&

Sons' 2007 3. S.Russel, P. Norvig - Artificial Intelligence. A Modern Approach, second edition, Prentice Hall, 2002 4. J. Ferber - Les systemes multi-agents. Vers une intelligence collective, InterEditions, 1995 5. M. dInverno - Understanding Agent Systems, Springer Verlag, second edition, 2004 6. M. Singh and M. Huhns. Readings in Agents. Morgan-Kaufmann Publishers, 1997. 7. M. P. Singh - Multiagent Systems - A theoretical Framework for Intentions, Know-How, and

Communications, Springer Verlag, 1994 8. J. M. Bradshaw - Software agents, MIT Press, 1997 9. G. Weiss, eds. Multi-Agent Systems. A modern approach to Distributed AI, The MIT Press, 1999. 10. G. F. Luger, W. A. Stubblefield - Artificial intelligence and the design of expert systems,

Benjammin/Cummings Pbs., 1998 11. T. Ishida - Parallel, Distributed and Multiagent Production Systems, Springer Verlag, 1994 12. R. Engelmore, T. Morgan - Blackboard systems, Addison Wesley, 1988 13. H. Kitano, J. A. Hendler - Massively Parallel Artificial Intelligence, 14. MIT Press, 1994 15. M. Watson - Intelligent Java applications for the Internet and intranets, Morgan Kaufmann, 1997 (sau

versiunea in romana, ed. ALL, 1999) 16. M. Wooldridge, N. R. Jennings - Intelligent agents: Theory and practice, Knowledge engineering review,

1995 17. *** IEEE - Intelligent systems 18. *** Autonomous Agents and Multi-Agent Systems, Kluwer Academic Pbs. 19. J. Giarratano, G. Riley - Expert Systems: Principles and Programming, PWS Pbs. Comp., ITP, 4th edition,

2005 20. Ernest Friedman-Hill - Jess in action. Java rule-based systems, Manning Publ. Co., 2003 21. http://www.ghg.net/clips/Version623.html 22. http://herzberg.ca.sandia.gov/jess/ 23. http://myri1.ieat.ro/mas/; http://www.cougaar.org/ 24. http://www.ai.sri.com/oaa/; http://jade.tilab.com/

9. Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului

•

10. Evaluare

Tip activitate 10.1 Criterii de evaluare 10.2 Metode de evaluare 10.3 Pondere din nota finală

10.4 Curs Verificarea cunostintelor teoretice si practice

Examen scris / Proiect / Refera sinteza

50%

Verificare periodica cunostinte curs Teste, Teme 20% ] ] 10.5 Seminar / laborator

Se vor verifica temele de laborator si a temele de casa

Teste pe calculator; Evaluare teme

30%

10.6 Standard minim de performanţă

• Curs: Capacitatea de a intelege conceptele de baza ale MAS. Capacitatea de a intelege principiile de baza ale programarii bazate pe agenti

• Laborator: Rezolvarea de probleme de nivel mediu



FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest din Timisoara 1.2 Facultatea / Departamentul Matematica si Informatica/Informatica 1.3 Catedra - 1.4 Domeniul de studii Informatica 1.5 Ciclul de studii 2 1.6 Programul de studii / Calificarea Inginerie software

2. Date despre disciplină 2.1 Denumirea disciplinei Calcul paralel 2.2 Titularul activităţilor de curs Dana Petcu 2.3 Titularul activităţilor de seminar Dana Petcu 2.4 Anul de studiu 1 2.5 Semestrul 2 2.6 Tipul de evaluare E 2.7 Regimul disciplinei O

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 28 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 12 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 16 Tutoriat 2 Examinări 4 Alte activităţi……………Proiect……………………… 44 3.7 Total ore studiu individual 108 3.8 Total ore pe semestru 42 3.9 Numărul de credite 6

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • Retele de calculatoare, Programare, Arhitectura calculatoarelor 4.2 de competenţe • Programare

5. Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului • Sala cu video proiector si conexiune la Internet

5.2 de desfăşurare a seminarului/laboratorului • Conectivitate la cluster si sipercalculator


Com

pete

nţe

prof

esio

nale

• Insusirea notiunilor fundamentale legate de calcul paralel

• Dobandirea de abilitati pentru programarea paralela

• Programare paralela

Com

pete

nţe

trans

vers

ale • Dezvoltarea profesionala si a increderii in capacitatile proprii prin prezenta

abilitatilor de intelegere si dezvoltarea aplicatiilor ce utilizeaza calculul paralel

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Stapanirea notiunilor fundamentala in calcul paralel 7.2 Obiectivele specifice • Dexteritate in crearea aplicatiilor paralele

8. Conţinuturi 8.1 Curs Metode de

predare Observaţii

Curs 1: Introducere: Calculatoare paralele, de ce calcul paralel, exemple de aplicatii, istorie scurta, a porta sau a nu porta. Performanta: surplus, metrice de performanta pentru sisteme paralele

Prezentare

Curs 2: Metrici de performanta pentru programe paralele: model analytic, timp de executie, surplus, acceleratie, eficienta, cost, granularitate, scalabilitate, analiza asimpotica a performantei

Prezentare

Curs 3: Arhitectura: organizare logica – taxonomia Flynn taxonomy, SIMD, MIMD, comunicare; organizare fizica – context istoric, memorie partajata versus memorie distribuita

Prezentare

Curs 4: Arhitecturi si modele: organizare fizica – clasificarea bazata pe raza, multicore, cluster, grid, tendinte; modele timpurii, PRAM

Prezentare

Curs 5: Modele: arhitecturi bazate pe fluxuri de date, arhitecturi sistolice, modelul circuit, modelul graf, LogP si LogGP; paradigma transmiterii de mesaje; nivele de paralelism

Prezentare

Curs 6: Paralelism implicit – parallelism la nivel de instructiune. Procesoare pipeline, vectoriale si superscalare

Prezentare

Curs 7: Coerenta cacheurilor in sistemele multiprocesor. Retele de interconectare – clasificare, topologii, evaluarea statica si dinamica a retelor de interconectare

Prezentare

Curs 8: Costuri de comunicare, mecanisme de rutare, tehnici de mapare, negocieri pentru raportul cost-performanta

Prezentare

Curs 9: Concurenta si Pasii in designul algoritmilor paraleli:: concurenta in programele paralele, abordarile pentru asigurarea concurentei, nivelele de baza pentru concurenta; sarcini, procese si procesoare; pasi de design, descompunere – exemple simple si clasificare

Prezentare

Curs 10: Descompunere si Orchestrare: recursiv, data, exploratoriu, speculativ si descompuneri hibride, orchestrare in modelele data-paralelm, spatiu de adresare partajat si transmitere de mesaje

Prezentare

Curs 11: Tehnici de mapare pentru balansarea incarcarii si metode de eliminare a surplusului: clasificarea maparilor, scheme pentru mapare statica, scheme pentru mapare dinamica, maximizarea datelor locale, suprapunerea calculelor cu interactiuni, replicare, interactiuni colective optimizate

Prezentare

Curs 12: Emulare, planificare, sabloane: emularea arhitecturilor, problema planificarii taskurilor, algoritmi de planificare, balansarea incarcarii; sabloane - descompunerea sarcinilor, descompunerea datelor, sarcini de grup si ordonare, partajarea datelor, evaluarea designului

Prezentare

Curs 13: Modele de algoritmi paraleli si algoritmi paraleli simpli: modele – date in paralel, graf de sarcini, gramada de sarcini, stapan-sclav, pipeline, hibride; aplicarea modelului de date in paralel, calcule bazate pe blocuri constructive; retele de sortare

Prezentare

Curs 14: Calcule paralele in analiza numerica: ecuatii neliniare, ecuatii neliniare, ecuatii diferentiale ordinare, dinamica computationala a fluidelor

Prezentare

Bibliografie 1. D.Petcu, Parallel processing (in Romanian), Editura Eubeea, Timisoara, 2001 2. Bahi J. M., Contassot-Vivier S., Couturier R., Parallel iterative algorithms: from sequential to grid computing,

Chapman & Hall/CRC, Taylor & Francis Group, 2008 3. Bruaset, Are Magnus, Tveito Aslak, Numerical Solution of Partial Differential Equations on Parallel

Computers, Springer, 2006 4. Culler David, Singh Jaswinder Pal, Gupta Anoop. Parallel Computer Architecture. A Hardware/Software

Approach, Morgan Kaufmann Publishers, 1997. 5. Grama Ananth, Gupta Anshul, Karypis George, Kumar Vipin. Introduction to Parallel Computing, Second

Edition, Addison Wesley, 2003 6. Kontoghiorghes Erricos J. Handbook of Parallel Computing and Statistics, Chapman & Hall/CRC, Taylor &

Francis Group, 2006 7. Lastovetsky Alexey L. Parallel Computing on Heterogeneous Networks, John Wiley & Sons, 2003 8. Mattson Timothy G., Sanders Beverly A., Massingill Berna L.Patterns for Parallel Programming, Addison-

Wesley Professional, 2004 9. Parhami Behrooz. Introduction to Parallel Processing. Algorithms and Architectures, Kluwer Academic

Publishers, 2002 10. Dana Petcu. Parallel Numerical Algorithms. Mathematical Monographs 60 & 61, Printing House of

University of Timisoara, 1996. 11. Dana Petcu. Parallelism in solving ordinary differential equations, Mathematical Monographs 64, Printing

House of University of Timisoara, 1998. 12. Petersen W. P., Arbenz P., Introduction to Parallel Computing, Oxford University Press, 2004 13. Wittwer Tobias. An Introduction to Parallel Programming, VSSD, Netherlands, 2006

8.2 Seminar / laborator Metode de predare Observaţii Lab 1: OpenMP – Generalitati, mecanisme de baza si exemple simple

Dezvoltare programe de catre studenti

Lab 2: OpenMP – Operatii matriceale Dezvoltare programe de catre studenti

Lab 3: OpenMP – Studii de performanta cu OpenMP Dezvoltare programe de catre studenti

Lab 4: MPI – Generalitati, mecanisme de baza si exemple simple


Lab 5: MPI – Operatii matriceale Dezvoltare programe de catre studenti

Lab 6: MPI - Studii de performanta cu MPI Dezvoltare programe de catre studenti

Lab 7: MPI vs OpenMP Dezvoltare programe de catre studenti

Bibliografie 14. Hughes Cameron, Hughes Tracey. Parallel and Distributed Programming Using C++, Addison Wesley, 2003. 15. Karniadakis George E., Kirby Robert M. Parallel Scientific Computing in C++ and MPI, Cambridge University

Press, 2003. 16. Rohit Chandra, Ramesh Menon, Leo Dagum, David Kohr, Dror Maydan, Jeff McDonald, Parallel

Programming in OpenMP, Morgan, 2000 17. Barbara Chapman, Gabriele Jost, Ruud van van der Pas, Using OpenMP: Portable Shared Memory Parallel

Programming (Scientific and Engineering Computation), MIT Press, 2007


• Foarte buna

10. Evaluare Tip activitate 10.1 Criterii de evaluare 10.2 Metode de evaluare 10.3 Pondere din nota finală 10.4 Curs Grad asimilare notiuni Examen scris 50%

10.5 Seminar / laborator Grad abilitate programare Verificare proiect 50%


• Capacitate de a scrie o aplicatie paralela simpla. Intelegerea principiilor calculului paralel

Data completării

Semnătura titularului de curs Semnătura titularului de seminar


FIŞA DISCIPLINEI

1.Date despre program 1.1Instituţia de învăţământ superior Universitatea de Vest din Timişoara 1.2 Facultatea / Departamentul Matematică şi Informatică / Informatică 1.3 Catedra 1.4 Domeniul de studii Informatică 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea Inginerie Software

2.Date despre disciplină 2.1 Denumirea disciplinei Proiectarea sistemelor software 2.2 Titularul activităţilor de curs Mîndruţă Cristina 2.3 Titularul activităţilor de seminar Mîndruţă Cristina 2.4 Anul de studiu I 2.5 Semestrul I 2.6 Tipul de evaluare E 2.7 Regimul disciplinei O

3.Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 40 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 20 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 40 Tutoriat 5 Examinări 5 Alte activităţi……………………………………

3.7 Total ore studiu individual 110

3.8 Total ore pe semestru 42

3.9 Numărul de credite 6

4.Precondiţii (acolo unde este cazul) 4.1 de curriculum • 4.2 de competenţe •Modelare UML, cunoasterea fundamentelor ingineriei software

5.Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului •Sala cu proiector

5.2 de desfăşurare a seminarului/laboratorului •Sala cu calculatoare

6.Competenţele specifice acumulate

Competenţe profesionale

•Cunoasterea conceptelor si principiilor proiectarii de software si capacitatea de a le aplica •Capacitatea de a analiza si proiecta sisteme software pe baza de cerinte date •Capacitatea de a intelege si de a realiza modele UML ale sistemelor software •Capacitatea de a oferi consultanta in utilizarea de instrumente de proiectare •Capacităţi de bază pentru aplicarea unui proces de analiză şi proiectare a sistemelor software de dificultate medie.

Competenţe transversale

•Capacitatea de a comunica verbal si in scris pe teme profesionale cu specialisti in domeniul informaticii •Capacitatea de a lucra individual si in echipa intr-un context interdisciplinar si de a respecta normele de etica specifice domeniului •Capacitatea de a se familiariza cu noi concepte si de a se adapta rapid la noile tehnologii ce apar in domeniul informaticii

7.Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei

•Însuşirea fundamentelor proiectării sistemelor software si dobandirea unei experiente initiale in proiectarea de sisteme software.

7.2 Obiectivele specifice

• Studiul conceptelor şi principiilor de proiectare a sistemelor software.

• Studiul unor metodologii de proiectare a sistemelor software

• Crearea de deprinderi de analiză şi capacităţi de dezvoltare de proiecte software din

seturi date de cerinţe.

• Instruire în utilizarea instrumentelor specifice şi în aplicarea procesului de

proiectare de software.

8.Conţinuturi 8.1 Curs Metode de predare Observaţii Analiza sistemelor software. Concepte si principii. Expunere sistematica, exemple. 4 ore Proiectarea sistemelor software. Concepte si principii. Proiectare arhitectura, date, componente, interfete

Expunere sistematica, exemple, studii de caz, analize critice.

10 ore

Analiza si proiectarea aplicatiilor Web. Limbajul WebML si instrumentul WebRatio.


8 ore

Proiectarea si utilizarea de componente reutilizabile si de servicii Web.


6 ore

• D. Budgen, Software Design, second ed., Addison-Wesley, 2004.

• R.S. Pressman, Software Engineering: A Practitioner’s Approach, sixth ed., McGraw-Hill, 2004.

• Pankaj Jalote, An Integrated Approach to Software Engineering, Third Edition, Springer, 2005,

capitolele 4,6,7,8, (9,10)

• E.Gamma, R.Helm, R.Johnson, J.Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, ISBN 978-0201633610, Addison Wesley Professional, 1994

• Tom Pender, UML Bible, John Wiley & Sons, 2003

• IEEE Std 1016-1998, IEEE Recommended Practice for Software Design Descriptions, IEEE, 1998.

• http://www.webml.org 8.2 Seminar / laborator Metode de predare Observaţii Studiul cerintelor si realizarea modelului functional Expunerea metodei si

conversatii. Activitate practica 2 ore

individuala. Realizarea modelului analiza Expunerea metodei si

conversatii. Activitate practica individuala.

4 ore

Realizarea modelului proiect Expunerea metodei si conversatii. Activitate practica individuala.

8 ore

Bibliografie https://sites.google.com/site/psswcm

9.Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului •Activitatea de laborator urmeaza o metodologie de proiectare bazata pe AUP (Agile Unified Proces). •Proiectarea sistemelor software este esentiala in orice model de proces de dezvoltare de software, deci necesara in orice firma de dezvoltare de software.



10.4 Curs Cunoasterea problematicii expuse si discutate la curs

Lucrare scrisa 50%


Realizarea unui proiect software, compus din modelul functional, modelul analiza si modelul proiect, pe baza de cerinte date.

Verificare teme 50%

10.6 Standard minim de performanţă •Cunoaşterea noţiunilor fundamentale de teorie. Realizarea analizei şi proiectării unei aplicaţii software prin care să se dovedească cunoaşterea elementelor de bază ale acestui proces.


Data avizării în catedră/departament

Semnătura şefului catedrei/departamentului

FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest Timisoara 1.2 Facultatea / Departamentul Facultatea de Matematice si Informatica 1.3 Catedra Departamentul de informatica 1.4 Domeniul de studii Inofrmatica 1.5 Ciclul de studii MAster 1.6 Programul de studii / Calificarea Iacd,is, iaste

2. Date despre disciplină 2.1 Denumirea disciplinei Tehnologii Workflow 2.2 Titularul activităţilor de curs Cicortas Alexandru 2.3 Titularul activităţilor de seminar Cicortas Alexandru 2.4 Anul de studiu M1 2.5 Semestrul 1 2.6 Tipul de

evaluare e 2.7 Regimul disciplinei Ob

Op Iaste

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 20 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 20 Pregătire seminarii / laboratoare, teme, referate 40 Tutoriat Examinări 4 Alte activităţi: proiect 40 3.7 Total ore studiu individual 120 3.8 Total ore pe semestru 146 3.9 Numărul de credite 6

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • 4.2 de competenţe •




Com

pete

nţe

prof

esio

nale

• Analiza fluxului pentru procese complexe • Utilizarea instrumentelor specifice pentru modelarea workflow-ului • Proiectare si implementare de componente software pentru controlul si executia workflow-

ului • Utilizarea standardelor si tehnologiilor din domeniu

Com

pete

nţe

trans

vers

ale • Dezvoltarea capacitatii de analiza aproceselor din diferite domenii

• Dezvoltarea aptitudinilor de lucru in echipa • Communicarea si lucrul cu experti din alte domenii

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Utilizarea de instrumente pentru proiectarea sistemelor complexe

• Folosirea standardelor si tehnologiilor in modelarea workflow-ului • Dezvoltarea de instrumente pentru facilitarea controlului fluxului

in procese 7.2 Obiectivele specifice • Modelarea workflow-ului cu instrumente specifice BPMN 2.0

• Controlul si verificarea fluxului • Dezvoltarea de servicii pentru executia workflow-ului

8. Conţinuturi 8.1 Curs Metode de predare Observaţii Procese, fluxuri si activitati Prezentatare si exemple Metode interactive Workflow concepte de baza Prezentatare si exemple Metode interactive WfMC standarde, BPMN, BPEL Prezentatare si exemple Metode interactive BPMN Introducere Prezentatare si exemple Metode interactive BPMN Componente:Swimlanes, flux si elemente de conectare: activitati, evenimente, gateways, sequenta, fluxul mesajelor, date si artifacte

Prezentatare si exemple Metode interactive

Activiti ca si Tool pentru BPMN Prezentatare si exemple Metode interactive Sabloane Workflow Prezentatare si exemple Metode interactive ConceptePetri Nets Prezentatare si exemple Metode interactive Modelarea Workflow cu retele Petri Prezentatare si exemple Metode interactive Integrare Prezentatare si exemple Metode interactive Camel tool pentru integrare Prezentatare si exemple Metode interactive Interactiuni si interactiunea umana Prezentatare si exemple Metode interactive Studiu de caz Prezentatare si exemple Metode interactive Workflow reengineering Prezentatare si exemple Metode interactive

Bibliografie [White 2004] Stephen A . Wh i t e , D e r e k Mi e r s, BPMN and Modeling reference Guide, Develop rigorous yet understandable graphical representations of business processes, 2004. [Aalst 2003] W.M.P. van der Aalst, How to handle dynamic change and capture management information? An approach based on generic workflow models [Kiepuszewsk 2003] B. Kiepuszewski, A.H.M. ter Hofstede, W.M.P. van der Aalst, Fundamentals of control flow in workflow, Acta Informatica 39, 143–209 (2003). [Aalst 2002] Wil van der Aalst and Kees van Hee, Workflow Management Models, Methods, and Systems, MIT Press Cambridge, 2002. [Sharp 2001] Sharp, A., Mc Dermott, P., Workflow Modeling—Tools for Process Improvement and Application Development, 2001. [Fischer 2005] . Fischer, L. Ed, Workflow Handbook 2005, ISBN 0-9703509-8-8. [BPEL 2001] OASIS Web Services Business Process Execution Language (WSBPEL) TC, https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsbpel Business Process Execution Language for Web Services version 1.1, http://www.ibm.com/developerworks/library/specification/ws-bpel/ [BPELWS 2004] Business Process Execution Language for Web Services, http://msdn.microsoft.com/en-us/library/ee251592%28v=bts.10%29.aspx [Aalst X] W.M.P. van der Aalst, How to handle dynamic change and capture management information? An approach based on generic workflow models [Shena 2007] Jun Shena, Georg Grossmann, Yun Yang, Markus Stumptner, Michael Schrefl, Thomas Reiter, Analysis of business process integration in Web service context, Future Generation Computer Systems 23 (2007) 283–294. [Reijers 2003] Reijers,H., Design and Control of Workflow Processes Business Process Management for the Service Industry, Design and Control of Workflow Processes, Springer, 2003, ISBN 978-3-540-01186-6, http://alexandria.tue.nl/extra2/200212511.pdf [ DIVITINI 2000] DIVITINI, M., Simone, C., Supporting Different Dimensions of Adaptability in Workflow Modeling, Computer Supported Cooperative Work 9: 365–397, 2000, 2000 Kluwer Academic Publishers. [Luo 2000] Luo, Z. et al., Exception Handling in Workflow Systems, Applied Intelligence 13, 125–147, 2000 Kluwer Academic Publishers. [Demirkan 2012] Demirkan, H., et. al, Ensuring reliability in B2B services: Fault tolerant inter-organizational workflows, Inf Syst Front (2012) 14:765–788. [Yuan 2007]Yuan, CY., et al, A, three layer model for Business Processes, Process Logic, Case Semantic, and Workflow Management, Journal of Computer Science and Technology, 22(3) 410-415, 2007. 8.2 Seminar / laborator Metode de predare Observaţii Exemple de procese si analiza lor Documentare, exemple si

implementare

BPMN componente de baza: activitati, evenimente, secventa

Documentare, exemple si implementare

BPMN gateways, data si artifacte Documentare, exemple si implementare

Activiti gestiunea taskurilor Documentare, exemple si

implementare

Activiti modeler Documentare, exemple si implementare

Activiti designer Documentare, exemple si implementare

Activiti engine Documentare, exemple si implementare

Studiu de caz exemple 1 Documentare, exemple si implementare

Studiu de caz exemple 2 Documentare, exemple si implementare

Camel context exemple Documentare, exemple si implementare

Camel containers exemple Documentare, exemple si implementare

Studiu de caz 1 Documentare, exemple si implementare

Studiu de caz 2 Documentare, exemple si implementare

Retele Petri exemplu 1 Documentare, exemple si implementare

Bibliografie [White 2004] Stephen A . Wh i t e , D e r e k Mi e r s, BPMN and Modeling reference Guide, Develop rigorous yet understandable graphical representations of business processes, 2004. [Aalst 2003] W.M.P. van der Aalst, How to handle dynamic change and capture management information? An approach based on generic workflow models [Kiepuszewsk 2003] B. Kiepuszewski, A.H.M. ter Hofstede, W.M.P. van der Aalst, Fundamentals of control flow in workflow, Acta Informatica 39, 143–209 (2003). [Aalst 2002] Wil van der Aalst and Kees van Hee, Workflow Management Models, Methods, and Systems, MIT Press Cambridge, 2002. [Sharp 2001] Sharp, A., Mc Dermott, P., Workflow Modeling—Tools for Process Improvement and Application Development, 2001. [Fischer 2005] . Fischer, L. Ed, Workflow Handbook 2005, ISBN 0-9703509-8-8. BPMN 1) tutorials http://www.omg.org/news/meetings/workshops/SOA-HC/presentations-2011/14_MT-2_Brookshier.pdf

http://www.cragsystems.co.uk/bpmn_tutorial/bpmn_2_0_notation_guide.pdf http://www.cragsystems.co.uk/bpmn_tutorial/bpmn_2_0_tutorial.pdf BPMN Introduction Bpmn Components:Swimlanes, flow and connecting objects: activities, events, gateways, sequence flows, message flows, data and artifact Activiti references 1) http://activiti.org/download.html Activiti Downloads 2) http://activiti.org/userguide/index.html#10minutetutorial Activiti 5.13 User Guide 3) http://activiti.org/userguide/index.html Activiti 5.13 User Guide 4) http://www.activiti.org/ Activiti BPM Platform 5) http://www.mastertheboss.com/activiti-bpmn/activiti-tutorial Activiti tutorial 6) http://www.mastertheboss.com/activiti-bpmn/activiti-tutorial/page-3 Projects examples: a) tracing and testing applications b)Design advanced data store solutions c) Automate Java EE Application building d) Develop RESTful web solutions with JBoss e) Create JBoss portal solutions f) Core Framework for network connectivity 7) http://www.idevnews.com/stories/4719/Alfresco%20Previews%20Open%20Activiti%20BPM%20Integration%20Environment Alfresco Previews Open Activiti BPM Integration Environment 8) Examples: a) http://stacktrace.be/blog/ - Custom variable representations in Activiti REST - Dynamic Process Creation and Deployment in 100 Lines of Code 9) http://www.ohloh.net/p/activiti 10) http://biemond.blogspot.ro/2013/03/testing-activiti-bpm-on-weblogic-12c.html Testing Activiti BPM on WebLogic 12c 11) http://www.infoq.com/news/2013/03/baeyens-activiti Tom Baeyens, creator of jBPM and Alfresco Activiti, Starts New Venture to Bring BPM to the Cloud 12) Examples https://www.google.ro/#q=activiti+bpm+examples&revid=1440741732

a)MAJOR http://www.manning.com/rademakers2/ActivitiSampleCh4.pdf b) tutorial Tutorial: a BPMN 2.0 Hello World With Activiti 5.0.alpha4 in 5 steps http://www.jorambarrez.be/blog/2010/08/02/tutorial-a-bpmn-2-0-hello-world-with-activiti-5-0-alpha4-in-5-steps/ c) http://blog.progs.be/141/activiti-bpm-first-steps Activiti BPM first steps 13) Biblio diverse https://github.com/Activiti/Activiti/wiki/Articles-and-Blogs-on-Activiti Articles and Blogs on Activiti 14) http://www.webspeclanguage.org/esteban/2011/05/integrating-activiti-bpm-with-jms/ Integrating Activiti BPM with JMS 15) http://www.openntf.org/Projects/pmt.nsf/381443ECFAA950F486257B5700223099/$file/Workflow%20for%20XPage%20-%20Sample%20Application%20on%20Activiti.pdf Workflow for XPages Vacation Management on Activiti 16) http://m.safaribooksonline.com/hd/public/content?portal=my&fpid=9781617290121&s290=4664&s290w=819&s290h=584&s290uaw=819&s290uah=614#id=9781617290121\firstchapter 17) http://www.osintegrators.com/opensoftwareintegrators|Integrating-Workflow-With-Activiti Integrating Workflow With Activiti 18) http://openidm.forgerock.org/doc/integrators-guide/index/chap-workflow.html Integrating Business Processes and Workflows 19) http://blog.tsgrp.com/2012/11/13/activiti-bpm-engine-active-wizard-5-0/ Activiti BPM Engine – Active Wizard 5.0 20) http://java.dzone.com/articles/activiti-performance-showdown The Activiti Performance Showdown 21) https://cwiki.apache.org/confluence/display/SYNCOPE/Choose+workflow+engine Choose workflow engine CamelApache 1) http://camel.apache.org/ Apache Camel ™ is a versatile open-source integration framework based on known Enterprise Integration Patterns. 2) http://camel.apache.org/tutorials.html Camel Apache Tutorial 3) http://camel.apache.org/tutorial-for-camel-on-google-app-engine.html Camel on Google App Engine Tutorial 4) http://camel.apache.org/tutorial-example-reportincident.html

Tutorial - camel-example-reportincident 5) http://camel.apache.org/tutorial-on-using-camel-in-a-web-application.html Tutorial on using Camel in a Web Application 6) http://camel.apache.org/tutorial-business-partners.html Tutorial Business Partners 7) http://camel.apache.org/examples.html 8)MAJOR http://camel.apache.org/architecture.html 9) http://camel.apache.org/enterprise-integration-patterns.html Enterprise Integration Patterns 10) http://camel.apache.org/dsl.html Domain Specific Language for creating Enterprise Integration Patterns 11) http://camel.apache.org/components.html Camel includes the following Component implementations via URIs Books 1. Claus Ibsen and Jonathan Anstey, Camel in Action, Manning , 2010. 2. Bilgin Ibryam, Instant Apache Camel Message Routing, Packt publishing, 2013. 3. Tijs Rademakers and Jos Dirksen, Open Source ESBs in Action, Manning, 2008. 4. Gregor Hohpe and Bobby Woolf, Enterprise Integration Patterns, Addison Wesley, 2003. Petri Nets 1.Jucan T Tiplea F.L Retele Petri, Teorie si practica, Ed Academiei Romane, 1999. Tools for Petri nets: 1. http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/ 2. http://projects.laas.fr/tina//


•

10. Evaluare

http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/

http://projects.laas.fr/tina/

Tip activitate 10.1 Criterii de evaluare 10.2 Metode de evaluare 10.3 Pondere din nota finală 10.4 Curs examen scris 20%

10.5 Seminar / laborator Activitate permanata 30%

Prezentare proiect 50% 10.6 Standard minim de performanţă

• Modelare proces cu BPMN si activiti, modelare Retele Petri



FIŞA DISCIPLINEI

1. Date despre program

1.1 Instituţia de învăţământ superior UNIVERSITATEA DE VEST TIMISOARA

1.2 Facultatea / Departamentul Matematica si Informatica / Informatica

1.3 Catedra 1.4 Domeniul de studii Informatica 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea IACD, IS, IASTE

2. Date despre disciplină 2.1 Denumirea disciplinei Programamre logica si functionala avansata 2.2 Titularul activităţilor de curs Prof. Dr. Viorel Negru 2.3 Titularul activităţilor de seminar Prof. Dr. Viorel Negru 2.4 Anul de studiu I IS, IASTE; II IACD 2.5

Semestrul 1 2.6 Tipul de

evaluare E 2.7 Regimul

disciplinei Obl / IASTE Opt


4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • Logica, AI 4.2 de competenţe • Programare Lisp, Prolog




ompe

tenţ

e pr

ofes

iona

le - abilitatea de a identifica metoda de rezolvare a unei probleme complexe

- abilitatea de a descrie algoritmic metoda si de a analiza corectitudinea si eficienta algoritmului

- abilitatea de a implementa si testa algoritmii utilizand conceptele programarii logice si functionale avanasate

Com

pete

nţe

trans

vers

ale

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Prezentarea unor elemente avansate de programare functionala

(inchideri lexicale, macrouri, structuri abstracte de date) • Prezentarea unor modalitati de rezolvare a problemelor asociate

cu sisteme de constrangeri formulate in diverse domenii de calcul: domenii finite, termeni aritmetici reali, rationali, polinoame.

7.2 Obiectivele specifice • Dezvoltarea de aplicatii practice in cateva din limbajele de calcul functional si logic cu contrangeri mai importante.

8. Conţinuturi 8.1 Curs Metode de predare Observaţii C1. Notiuni de baza de programare functionala si logica

Slide-uri

C2-3. Tehnici avansate in Lisp.

C4-5. Inchideri lexicale si abstractrizare date

C6-7. Continuare. Aplicatii.

C8. Notiuni de bza dep rogramare logica

C9-10. Probleme de satisfacere a constrangerilor (CSP). Limbaje de modelare a

problemelor si de specificare a constrangerilor

C11-12. Cautarea unei solutii pe domenii finite(generate&test, standard backtracking, forward checking, lookahead, partial lookahead). Solutii optimale (forme de cautare branch and bound)

C13-14. Programare logica cu constrangeri

8.2 Seminar / laborator Metode de predare Observaţii Aplicatii in Prolog, Oz, CLP, Lisp, Scheme.

Bibliografie

1. B. Buchberger, G. Collins, R. Loos - Computer algebra and Symbolic Computation, Springer Verlag, 1983 N. C. Heinze, J. Jaffar, C. Michailov, P. J. Stuckey,

2. R. H. C. Yap - The CLP($\cal R$) Programmers Manual, version 1.2, 3. Dept. of Computer Science, Monash University, 1992. P. Van Hentenryck - Constraint Satisfaction in

Logic Programming, M.I.T. 1989 4. T. Muller, K. Popov,C. Schulte, J. Wurtz – Constraint Programming in Oz, DFKI Oz Documentation Series,

1995 5. C. Muscalagiu - Introducere in programarea logica si limbajele de programare logica, Ed. Univ.

"A.I.Cuza" Iasi, 1996 6. Bratko - PROLOG. Programming for Artificial Intelligence, Addison Wesley, third edition, 2001 7. St. Trausanu-Matu - Programare in LISP. Inteligenta artificiala si web semantic, Ed. POLIROM, 2004 8. P. Graham - ANSI Common Lisp, Prentice Hall, 1996 9. P. Graham - On Lisp. Advanced techniques for Common Lisp, Prentice Hall, 1994. 10. D. Friedman, M. Wand, C. Hayes - Essentials of Programming Languages, second edition, MIT, 2001. 11. Grillmeyer - Exploring Computer Science with Scheme, Springer, 1997. 12. B. Harvey, M. Wright - Simply Scheme. Introducing Computer Science, second edition, MIT, 1999. 13. H. Abelson, G.J. Sussman, J. Sussman - Structure and Interpretation of Computer Programs, Second

edition, MIT, 1996. 14. C. Queinnec - Les Langages Lisp, InterEditions, 1994. 15. http://pauillac.inria.fr/~diaz/gnu-prolog/ 16. http://www.prologia.fr/ 17. http://web.info.uvt.ro/~cizbasa/lisp/ 18. http://web.info.uvt.ro/~cizbasa/prolog/

http://web.info.uvt.ro/%7Ecizbasa/lisp/


•

10. Evaluare


10.4 Curs Verificarea cunostintelor teoretice si practice

Examen scris / Proiect / Refera sinteza

50%

Verificare periodica cunostinte curs Teste, Teme 20% ] ] 10.5 Seminar / laborator

Se vor verifica temele de laborator si a temele de casa

Teste pe calculator; Evaluare teme

30%


• Curs: Capacitatea de a intelege conceptele de baza ale programarii functionale si logice. Capacitatea de a intelege principiile programarii bazate pe constrangeri

• Laborator: rezolvarea de probleme de nivel mediu



FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest din Timisoara 1.2 Facultatea / Departamentul Matematica si Informatica/Informatica 1.3 Catedra - 1.4 Domeniul de studii Informatica 1.5 Ciclul de studii 2 1.6 Programul de studii / Calificarea Inginerie software

2. Date despre disciplină 2.1 Denumirea disciplinei Sisteme distribuite 2.2 Titularul activităţilor de curs Dana Petcu 2.3 Titularul activităţilor de seminar Dana Petcu 2.4 Anul de studiu 1 2.5 Semestrul 1 2.6 Tipul de evaluare E 2.7 Regimul disciplinei O

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 28 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 12 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 16 Tutoriat 2 Examinări 4 Alte activităţi……………Proiect……………………… 44 3.7 Total ore studiu individual 108 3.8 Total ore pe semestru 42 3.9 Numărul de credite 6

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • Retele de calculatoare, Programare, Arhitectura calculatoarelor 4.2 de competenţe • Programare

5. Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului • Sala cu video proiector si conexiune la Internet

5.2 de desfăşurare a seminarului/laboratorului • Laborator cu Java instalat


Com

pete

nţe

prof

esio

nale

• Insusirea notiunilor fundamentale legate de sisteme distribuite

• Dobandirea de abilitati pentru programarea sistemelor distribuite

• Programare distribuita

Com

pete

nţe

trans

vers

ale • Dezvoltarea profesionala si a increderii in capacitatile proprii prin prezenta

abilitatilor de intelegere si dezvoltarea sistemelor distribuite

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Stapanirea notiunilor fundamentala in sisteme distribuite 7.2 Obiectivele specifice • Dexteritate in crearea aplicatiilor distribuite


predare Observaţii

Curs 1: Ce este un sistem distribuit? Tehnologii moderne pt. sisteme distribuite Prezentare

Curs 2: Design si Middleware. P2P Prezentare

Curs 3: Comunicare in modelul client-server . Grid Prezentare

Curs 4: Apel de procedura la distanta (RPC) . Calcul ominiprezent Prezentare

Curs 5: Comunicare in grup. Virtualizare Prezentare

Curs 6: Sincronizarea ceasurilor - partea 1. Arhitecturi bazate pe servicii Prezentare

Curs 7: Sincronizarea ceasurilor - partea 2. Servicii Web Prezentare

Curs 8: Excludere mutuala distribuita. XML si WSDL Prezentare

Curs 9: Impasul si tratarea acestuia. SOAP Prezentare

Curs 10: Alegeri. UDDI Prezentare

Curs 11: Toleranta esecurilor. REST Prezentare

Curs 12: Tranzactii atomice. Web 2.0 si aplicatii Web Prezentare

Curs 13: Modele ale sistemelor distribuite. Servici de date Prezentare

Curs 14: Sisteme in timp real. Servicii publice si comerciale Prezentare

Bibliografie 1. D.Petcu,V.Negru, Distributed processing (in Romanian), Ed. Univ. de Vest, Timisoara, 2002. 2. Joe Clabby, Web Services Explained: Solutions and Applications for the Real World, Prentice Hall PTR, 2002 3. Thomas Erl, Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall PTR, 2005 4. Arno Puder, Kay Römer, Frank Pilhofer, Distributed systems architecture: a middleware approach, Elsevier,

2006 5. Andrew S. Tanenbaum, Distributed Operating Systems, Prentice Hall, 1994 8.2 Seminar / laborator Metode de

predare Observaţii

Lab 1: Socluri in Java. Socluri TCP

Lab 2: Streams, Readers si Writers pentru I/O


Lab 3: Socluri UDP

Lab 4: Expediere si receptionare de date codate


Lab 5: Invocarea metodelor de distanta (RMI)

Lab 6: NIO - I/O packages


Lab 7: Construirea serviciilor Web cu Eclipse WTP

Lab 8: Construirea automata a clientilor serviciilor Web cu Eclipse WTP


Lab 9: Programarea unui client a unui serviciu Web cu Eclipse WTP

Lab 10: Scrierea unui clinet a unui serviciu public


Lab 11: Cloud computing – servicii de infrastructura

Lab 12: Cloud computing – servicii software


Lab 13: Tehnologii Web 2.0 - compunere

Lab 14: Tehnologii Web 2.0 - sindicare


Bibliografie 6. Binildas CA, Malhar Barai, Vincenzo Caselli, Service Oriented Architecture with Java. Using SOA and web

services to build powerful Java applications, Packt Publishing Ltd., 2008 7. Kenneth L. Calvert, Michael J. Donahoo. TCP/IP sockets in Java : practical guide for programmers, 2nd ed.,

Elsevier, 2008 8. Naci Dai, Lawrence Mandel, Arthur Ryman, Eclipse Web tools platform developing Java Web applications,

Pearson Education, Inc., 2007 9. Jim Farley, Java Distributed Computing, O'Reilly, 1998 10. Robert Flenner, Michael Abbott, Toufic Boubez, Frank Cohen, Navaneeth Krishnan, Alan Moffet, Jan Graba,

An Introduction to Network Programming with Java, Springer, 2007 11. William von Hagen, Professional Xen Virtualization, Wiley Publishing, Inc., 2008 12. Brian Hochgurtel, Cross-Platform Web Services Using C# and Java, Charles River Media, 2003 13. Anthony T. Holdener, Ajax: The Definitive Guide, O'Reilly, 2008 14. John Paul Mueller, Mining Google Web Services: Building Applications with the Google API, Sybex, 2004 15. James Murty, Programming Amazon Web Services, O'Reilly, 2008 16. Ramesh Nagappan, Robert Skoczylas, Rima Patel Sriganesh, Developing Java Web Services: Architecting and

Developing Secure Web Services Using Java, Wiley Publishing Inc., 2003

17. Eric Newcomer, Greg Lomow, Understanding SOA with Web Services, Addison Wesley Professional, 2004 18. Rajam Ramamurti, Bilal Siddiqui, Frank Sommers, Java P2P Unleashed, Sams Publishing, 2002 19. Inderjeet Singh, Sean Brydon, Greg Murray, Vijay Ramachandran, Thierry Violleau, Beth Stearns, Designing

Web Services with the J2EE 1.4 Platform JAX-RPC, SOAP, and XML Technologies, Addison Wesley, 2004


• Foarte buna

10. Evaluare

Tip activitate 10.1 Criterii de evaluare 10.2 Metode de evaluare 10.3 Pondere din nota finală 10.4 Curs Grad asimilare notiuni Examen scris 50%

10.5 Seminar / laborator Grad abilitate programare Verificare proiect 50%


• Capacitate de a scrie o aplicatie distribuita simpla. Intelegerea principiilor sistemelor distribuite

Data completării



FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior UNIVERSITATEA DE VEST TIMIŞOARA 1.2 Facultatea / Departamentul FACULTATEA DE MATEMATICĂ ŞI INFORMATICĂ 1.3 Catedra DEPARTAMENTUL DE INFORMATICĂ 1.4 Domeniul de studii INFORMATICĂ 1.5 Ciclul de studii MASTER 1.6 Programul de studii / Calificarea INTELIGENTA ARTIFICIALĂ ŞI CALCUL DISTRIBUIT, IS

2. Date despre disciplină 2.1 Denumirea disciplinei Algoritmi sistolici 2.2 Titularul activităţilor de curs Mircea DRĂGAN 2.3 Titularul activităţilor de seminar Mircea DRĂGAN 2.4 Anul de studiu I 2.5 Semestrul 1 2.6 Tipul de evaluare E 2.7 Regimul disciplinei O

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 0/1 3.4 Total ore din planul de învăţământ 3 din care: 3.5 curs 2 3.6 seminar/laborator 1 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 50 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 40 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 40 Tutoriat 4 Examinări Alte activităţi………Pregatire examen final…………………………… 16 3.7 Total ore studiu individual 150 3.8 Total ore pe semestru 36 3.9 Numărul de credite 5

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • 4.2 de competenţe • Abilitati de programare




Com

pete

nţe

prof

esio

nale

• C

ompe

tenţ

e tra

nsve

rsal

e •

7. Obiectivele disciplinei 7.1 Obiectivul general al disciplinei cunoasterea si intelegerea modelului teoretic de calcul şi aplicaţiile

acestuia în calculul simbolic

7.2 Obiectivele specifice - cunoasterea arhitecturilor dedicate si intelegerea conceptului VLSI

- proiectarea si implementarea algoritmilor sistolici in diverse domenii: aritmetica de baza, calcul matricial, calcul numeric si grafica


predare Observaţii

1. Definiţii şi istoric: construcţia modelului, variante şi legătura cu alte modele (sisteme Lindenmayer); originea (von Neuman), motivaţia şi evoluţia modelului.

2. Proprietăţi fundamentale: variante neomogene, reducerea vecinătăţii, echivalenţa cu maşina Turing.

3. Algoritmi sistolici în aritmetica numerelor întregi: adunarea, înmulţirea (Atrubin), împărţirea, împărţirea exactă c.m.m.d.c.: aritmetica modulară.

4. Algoritmi sistolici in operatii cu polinoame. Algorimnul lui Euclid. 5. Algoritmi sistolici in calcul matricial 6. Algoritmi sistolici in teoria grafurilor 7. Algoritmi sistolici in procesare de imagini. 8. Algoritmi sistolici in grafica 9. Proiectarea circuitelor logice pentru implementarea algoritmilor

predare la tabla si uneori predarea asistata de calculator

sistolici. 8.2.1 Seminar Metode de predare Observaţii 8.2.2 Laborator 1. Lucrul cu un mediu de simulare: PARALLAXIS

2. Implementari sistolice pentru inmultire

3. Implementari sistolice pentru operatii cu matrici

4. Implementari sistolice pentru convolutie

5. Implementari sistolice pentru filtre finite

6. Implementari sistolice pentru operatii cu polinoame

7. Implementari sistolice pentru cautare

problematizarea, lucrări practice pe calculator

Bibliografie:

1. Brudaru, Octav şi Gâlea, Dan – Introducere în CALCULUL SISTOLIC, Ed. Academiei Române, 1994 2. Jebelean, T. – Systolic Multiprecision Arithmetic, Phd. Thesis, RISC Linz, 1994 3. Knuth, D. – Tratat de programarea calculatoarelor. Vol. 2. Algoritmi seminumerici, Editura Tehnică. 4. Kramer, M. şi Van Leeuwen, J. – Systolic Computation and VLSI, în Foundations of Computer Science, Part

1., Algorithms and Complexity, Amsterdam, 1983 5. Petkov, N. – Systolic Parallel Processing, in Advances in Parallel Computing, Volume 5, North-Holland, 1993


•

10. Evaluare


10.4 Curs Examen scris 50%


Implementarea algoritmilor

Evaluare lucrari de laborator

50%

10.6 Standard minim de performanţă •

Anexa nr. 2

FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest – Timișoara 1.2 Facultatea / Departamentul Matematică - Informatică 1.3 Departamentul Informatică 1.4 Domeniul de studii Informatică 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea ...

2. Date despre disciplină 2.1 Denumirea disciplinei Invățare Automată 2.2 Titularul activităţilor de curs Conf. Dr. Liviu Ciortuz 2.3 Titularul activităţilor de seminar Conf. Dr. Liviu Ciortuz 2.4 Titularul activităţilor de laborator Conf. Dr. Liviu Ciortuz 2.5 Anul de studiu I 2.6 Semestrul I 2.7 Tipul de evaluare M 2.8 Regimul disciplinei ...

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar 1 3.4 laborator - 3.5 Total ore din planul de învăţământ 36 din care: 3.6 curs 24 3.7 seminar 12 3.8 laborator - Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 12 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 12 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 12 Tutoriat 4 Examinări 2 Alte activităţi…………………………………… 3.7 Total ore studiu individual 36 3.8 Total ore pe semestru 1 78 3.9 Numărul de credite

4. Precondiţii (acolo unde este cazul)

4.1 de curriculum • Algoritmică, Analiză matematică, Probabilități și statistică 4.2 de competenţe •

5. Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului • Prezența obligatorie la 80% din ore

5.2 de desfăşurare a seminarului • Prezența obligatorie la 80% din ore

5.3 de desfăşurare a laboratorului • -

1 Numărul total de ore nu trebuie să depăşească valoarea (Număr credite) x 27 ore


ompe

tenţ

e pr

ofes

iona

le • Capabilitatea de a înțelege, a implementa și utiliza algoritmi de bază din domeniul clasificării

automate

Com

pete

nţe

trans

vers

ale • Capabilitatea de a lucra în paradigma “data-driven programming”: explorarea datelor, crearea

automată de modele, evaluarea modelelor. • Abilitatea de utilizare a instrumentelor matematice (analiză matematică, algebră,

probabilități, logică) pentru înțelegerea și analiza algoritmilor. • Capabilitatea de a rezolva probleme ale căror domeniu aparține altor discipline (de exemplu

bioinformatică, procesarea textelor, etc).

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Însușirea conceptelor de bază din domeniul învățării automate;

înțelegerea și folosirea unor tehnici standard din acest domeniu. 7.2 Obiectivele specifice • Înțelegerea algoritmilor de bază pentru crearea arborilor de

decizie (ID3), învățarea bazată pe memorare (k-NN), antrenarea rețelelor neuronale de tip “feed-forward” (retropropagare) și a mașini cu vectori suport. Înțelegerea algoritmilor de bază pentru clusterizare. Algoritmi de clasificare bayesiană și modele Markov ascunse. Aplicarea acestor algoritmi pe seturi relativ mici de date.

8. Conţinuturi 8.1 Curs Metode de predare Observaţii Noțiuni introductive de invățare automată Prezentare după slide-uri

Expunere la tablă Dialog cu studenții

Arbori de decizie idem Invățare bazată pe memorare idem Rețele neuronale de tip feed-forward idem Mașini cu vectori-suport idem Clusterizare idem Clasificare bayesiană idem Modele Markov ascunse Idem Bibliografie: - Machine Learning, Tom Mitchell, McGrawHill, 1997 - The top ten algorithms in data mining, Xindong Wu, Vipin Kumar, CRC Press, 2009 - articole științifice

8.2 Seminar Metode de predare Observaţii Exerciții și probleme la fiecare din capitolele predate

Lucru la tablă Teme de casă Programe (demo-uri)

8.3 Laborator - Bibliografie: - Culegere de exerciții și probleme de învățare automată, Liviu Ciortuz, Alina Munteanu, Elena Bădărău (draft), 2014 - An introduction to pattern recognition: A Matlab approach, Sergios Theodoridis, Konstantinos Koutroumbas, Academic Press, 2010 - Machine learning with R, Brett Lantz, Pakt Publishing, 2013 - An introduction to statistical learning with applications in R, Gareth James, Daniela Witten, Trevor Hastie, Robert Tibshirani, Springer, 2013


• Conținutul disciplinei este coroborat cu ceruinețele posturillor din companii mari de IT.

10. Evaluare Tip activitate

10.1 Criterii de evaluare 10.2 Metode de evaluare

10.3 Pondere din nota finală

10.4 Curs

Înțelegerea corectă a funcționării algoritmilor de învățare automată: 1. antrenare (cu crearea unui model al datelor) și 2. testare (aplicarea modelului). Capacitatea de a crea variante ale algoritmilor predați în funcție de diverse cerințe specifice.

Examen final (scris)

50%

10.5 Seminar

Aplicarea concretă a algoritmilor de bază din învățarea automată pe dataset-uri didactice. Demonstrarea diverselor proprietăți ale noțiunilor predate, precum și algoritmilor.

Exerciții la tablă

40%

10.6 Laborator

[Înțelegerea corectă a funcționării unor aplicații simple de invățare automată; elaborarea de extensii diverse.]

[Prezentare de demo-uri]

10%

10.7 Standard minim de performanţă • 30% din punctajul total

Data completării:

Titular curs (Semnătura):

Conf. Dr. Liviu Ciortuz

Data avizării în departament

Director departament (Semnătura):

Conf. Dr. Victoria Iordan

FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior UNIVERSITATEA DE VEST DIN TIMISOARA 1.2 Facultatea / Departamentul MATEMATICA-INFORMATICA/INFORMATICA 1.3 Catedra 1.4 Domeniul de studii STIINTE 1.5 Ciclul de studii MASTER 1.6 Programul de studii / Calificarea INGINERIE SOFTWARE

2. Date despre disciplină 2.1 Denumirea disciplinei PROCESE SI MANAGEMENT IN INGINERIA SOFTWARE 2.2 Titularul activităţilor de curs Lect. Dr. Calin Sandru 2.3 Titularul activităţilor de seminar Lect. Dr. Calin Sandru 2.4 Anul de studiu 1 2.5 Semestrul 2 2.6 Tipul de evaluare E 2.7 Regimul disciplinei O

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 14 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 10 Tutoriat 14 Examinări 18 Alte activităţi…………………………………… 3.7 Total ore studiu individual 24 3.8 Total ore pe semestru 98 3.9 Numărul de credite 6

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • Inginerie Software, Management de Proiect 4.2 de competenţe •

5. Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului • sala cu video-proiector



Com

pete

nţe

prof

esio

nale

• Folosirea unor tool-uri pentru gestiunea activitatilor companiei de soft • Folosirea unor elemente pentru managementu proiectelor • Dobandirea unor abilitati in domeniul gestiunii configuratiilor programelor software

Com

pete

nţe

trans

vers

ale • Intelegerea modelelor de ciclu de viata software

• Integrarea diferitelor procese tehnice in modelele de ciclu de viata software • Integrarea proceselor de management cu cele tehnice

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate)

7.1 Obiectivul general al disciplinei • Discutarea manierelor de integrare a diferitelor procese implicate in ingineria software in raport cu modele de ciclu de viata software

7.2 Obiectivele specifice • Asimilarea unor elemente legate de PMI-PMBOK legate de management-ul scopului, timpului si calitatii

• Asimilarea caracteristicilor unor modele de ciclude viata software precum V-Model, RUP, SCRUM.

8. Conţinuturi 8.1 Curs Metode de predare Observaţii Proiecte software. Software engineering. Software Development. Project Management.

Prezentare cu diapozitive

Grupuri de procese in PMBOK Prezentare cu diapozitive Procese de dezvoltare. Analiza, Proiectare, Implementare, Depanare, Testare, Livrare.

Prezentare cu diapozitive 2 cursuri

Modele de ciclu de viata software. Prezentare cu diapozitive 3 cursuri Recapitulare partiala Prezentare cu diapozitive Abordarea bazata pe riscuri in dezvoltarea proiectelor. Studiu de caz.

Prezentare

Managementul de integrare. Managementul configuratiilor.

Prezentare cu diapozitive

Managementul scopului Prezentare cu diapozitive Managementul timpului Prezentare cu diapozitive Managementul calitatii Prezentare cu diapozitive Recapitulare finala.

Bibliografie J. Giarratano and G. Riley. EXPERT SYSTEMS: Principles and Programming, ed 3(1998) or ed 4 (2003), PWS.

S. J. Russel and P. Norvig. Artificial Intelligence. A Modern Approach. Prentice Hall, 1995.

8.2 Seminar / laborator Metode de predare Observaţii Relatia scop-timp-cost-calitate. Dezbatere Investigatie asupra modelelor de ciclu de viata software.

Referat

Introducerea unui tool pentru gestiunea proceselor companiei de software

Identificarea riscurilor unui proiect software.

Elaborarea documentelor legate de managementul de integrare.

Realizarea unui plan de gestiune a scopului unui proiect.

Realizarea unui plan de gestiune a timpului unui proiect.


• Continutul favorizeaza integrarea studentilor in procese legate de dezvoltarea de software. Studentii sunt expusi la aspecte majore cu impact in ingineria software-ului (dezvoltare si management).

10. Evaluare

Tip activitate 10.1 Criterii de evaluare 10.2 Metode de evaluare


10.4 Curs Abilitatea de a identifica caracteristicile unui model de ciclu de viata software. Abilitatea de a evalua potrivirea unui model de viata software cu un proiect software dat. Abilitatea de a descrie planuri de scop si temporale

Examen scris 40%


Abilitatea de a descrie si argumenta modele de viata software si folosirea lor. Abilitatea de a utilza tool-uri dedicate gestionarii proceselor intr-o companie de soft.

Proiecte. 60%


• Cunoasterea principalelor caracteristici ale modelelor reprezentative pentru descrierea ciclului de viata a unui software

• Cunoasterea caracteristicilor de baza ale activitatilor tehnice implicate in dezvoltarea de software • Folosirea unor tool-uri specifice.

Data completării

Semnătura titularului de curs

Semnătura titularului de seminar


FIŞA DISCIPLINEI

1.Date despre program 1.1Instituţia de învăţământ superior Universitatea de Vest din Timişoara 1.2 Facultatea / Departamentul Matematică şi Informatică / Informatică 1.3 Catedra 1.4 Domeniul de studii Informatică 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea Inginerie Software

2.Date despre disciplină 2.1 Denumirea disciplinei Modele si metode formale in ingineria software 2.2 Titularul activităţilor de curs Mîndruţă Cristina 2.3 Titularul activităţilor de seminar Mîndruţă Cristina 2.4 Anul de studiu I 2.5 Semestrul II 2.6 Tipul de evaluare E 2.7 Regimul disciplinei Ob

3.Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 40 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 15 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 35 Tutoriat 5 Examinări 5 Alte activităţi……………………………………

3.7 Total ore studiu individual 100

3.8 Total ore pe semestru 42

3.9 Numărul de credite 6

4.Precondiţii (acolo unde este cazul) 4.1 de curriculum • Fundamentele ingineriei software. Proiectarea sistemelor software. 4.2 de competenţe

5.Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului •Sala cu proiector

5.2 de desfăşurare a seminarului/laboratorului •Sala cu calculatoare

6.Competenţele specifice acumulate

Competenţe profesional

•Conceptele şi problematica modelelor abstracte şi logica fundamentală pentru caracterizarea şi analiza

sistemelor software.

•Crearea de specificaţii matematice riguroase şi de design software utilizînd limbaje formale (OCL, Z,

etc)

•Analiza proprietăţilor specificaţiilor formale şi a design-ului software

•Utilizare de instrumente pentru transformare specificaţii formale în design software.

•Dezvoltarea abilităţilor pentru realizarea de descrieri formale şi derivare proiecte.

Competenţe transversale

•Formarea si dezvoltarea capacităţii de analiză şi decizie.

7.Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei

•Studiul modelelor abstracte şi logica fundamentală pentru caracterizarea şi analiza sistemelor software.

7.2 Obiectivele specifice

•Cunoasterea bazelor matematice ale metodelor formale. •Studiul unor limbaje şi tehnici formale pentru specificare şi proiectare. •Specificarea şi proiectarea analizei şi verificării sistemelor software. •Programare automată şi transformare design.

8.Conţinuturi 8.1 Curs Metode de predare Observaţii Fundamente:logică, tehnici de demonstrare, mulţimi, relaţii,

funcţii, secvenţe. Expunere sistematica, exemple. 2 ore

Modelare: modele matematice şi limbaje de specificare,

tipuri de modele, modelare comportamentală. Expunere sistematica, exemple, studii de caz.

2 ore

Maşini cu stări finite şi expresii regulate: concepte

fundamentale, variaţii, FSP (Finite State Process), analiza

maşinilor cu stări finite: LTSA (Labelled Transition System

Analyzer).

Expunere sistematica, exemple. 4 ore

Limbajul Z: descriere limbaj, tehnici ale limbajului,

exemple, rafinare şi abstractizare. Expunere sistematica, exemple, studii de caz.

4 ore

Concurenţa: modelarea concurenţei in FSP, tehnici de

modelare, analiza concurenţei. Expunere sistematica, exemple. 4 ore

Analiză şi evaluare model. Expunere sistematica, exemple. 4 ore

Verificare model: logica temporală lineară, introducere în

verificarea modelelor cu Promela/Spin; reţele Petri. Expunere sistematica, exemple. 2 ore

Evoluţie model: refactorizare, transformare. Expunere sistematica, exemple. 2 ore

Modelare formală în practică: OCL, UML. Expunere sistematica, exemple, studii de caz.

4 ore

1. "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, Vol. 28, No. 4,

December 1996, pp. 626-643. Available as CMU-CS-96-178.

2. "Statecharts: a visual formalism for complex systems." D. Harel. Science of Computer Programming, 8:231-

274, 1987.

3. "Coloured Petri Nets: A High Level Language for System Design and Analysis." K. Jensen. In High-level

Petri Nets: Theory and Application. K. Jensen and G. Rozenberg (eds.) Springer-Verlag, 1991.

4. Concurrency: State Models and Java Programs. J. Magee and J. Kramer. Wiley, 1999., http://www-dse.doc.ic.ac.uk/concurrency/

6. "UML Walkthrough.” J. Rumbaugh, I. Jacobson, and G. Booch. In The Unified Modeling Language

Reference Manual. Addison Wesley, 1999, pp. 25-39.

7. Using Z: Specification, Refinement, and Proof. J. Woodcock and J. Davies. Prentice Hall 1996.

8. Software Engineering Mathematics. J. Woodcock and M. Loomis, Addison-Wesley 1988.

9. "Systems and Software Verification: Model Checking Techniques and Tools." B. Berard, M. Bi-doit, and A.

Finkel.Springer Verlag, 2001.

10. Z: An Introduction to Formal Methods. Antoni Diller. Wiley, 1990.

11. Larch: Languages and Tools for Formal Specification. Guttag and Horning. Springer-Verlag, 1993.

12. A Logical Approach to Discrete Math. D. Gries and F.B. Schneider. Springer-Verlag, 1993.

13. Communicating Sequential Processes. C.A.R. Hoare. Prentice-Hall International, 1985.

14. The Way of Z: Practical Programming with Formal Methods. J. Jacky. Cambridge, 1997.

15. The Temporal Logic of Reactive and Concurrent Systems Specification. Z. Manna and A. Pnueli. Springer-

Verlag, 1991. (secţiunile 3.0-3.4.)

16. Concurrent and Real-time Systems: The CSP Approach. Steve Schneider. Wiley, 2000.

http://www.usingz.com/

8.2 Seminar / laborator Metode de predare Observaţii Exercitii de modelare matematica Expunerea metodei si

conversatii. Activitate practica individuala.

2 ore

Crearea unui model. Analiza si evaluarea modelului creat. Expunerea metodei si conversatii. Activitate practica individuala.

8 ore

Refactorizarea si transformarea modelului creat. Expunerea metodei si conversatii. Activitate practica individuala.

4 ore

Bibliografie Instrument open-source pentru verificare formală

http://www-dse.doc.ic.ac.uk/concurrency/

http://spinroot.com/spin/

The Z Notation: http://spivey.oriel.ox.ac.uk/~mike/zrm/

9.Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului •Se pun bazele specificarii formale a sistemelor software. Specificarea formala este elementul fundamental in dezvoltarea de sisteme software de calitate superioara.



10.4 Curs Cunoasterea problematicii expuse si discutate la curs

Lucrare scrisa 50%


Realizarea unui model de sistem software. Analiza, evaluarea, refactorizarea si transformarea acestuia.

Verificare teme 50%

10.6 Standard minim de performanţă •Cunoaşterea noţiunilor fundamentale de teorie. Abilitati de realizare a unui model formal al unui sistem software si utilizarea acestuia in analiza si evaluarea sistemului.


Data avizării în catedră/departament

Semnătura şefului catedrei/departamentului

http://spinroot.com/spin/

http://spivey.oriel.ox.ac.uk/%7Emike/zrm/

FIŞA DISCIPLINEI

1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest din Timisoara 1.2 Facultatea Matematică și Informatică 1.3 Departamentul Informatică 1.4 Domeniul de studii Informatică 1.5 Ciclul de studii Master 1.6 Programul de studii / Calificarea Inginerie Software

2. Date despre disciplină 2.1 Denumirea disciplinei Biostatistică și Bioinformatică 2.2 Titularul activităţilor de curs Zaharie Daniela 2.3 Titularul activităţilor de seminar Zaharie Daniela 2.4 Anul de studiu II 2.5 Semestrul I 2.6 Tipul de evaluare E 2.7 Regimul disciplinei opt

3. Timpul total estimat (ore pe semestru al activităţilor didactice) 3.1 Număr de ore pe săptămână 3 din care: 3.2 curs 2 3.3 seminar/laborator 1 3.4 Total ore din planul de învăţământ 42 din care: 3.5 curs 28 3.6 seminar/laborator 14 Distribuţia fondului de timp: ore Studiul după manual, suport de curs, bibliografie şi notiţe 23 Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate / pe teren 23 Pregătire seminarii / laboratoare, teme, referate, portofolii şi eseuri 60 Tutoriat 6 Examinări 6 Alte activităţi…………………………………… 3.7 Total ore studiu individual 118 3.8 Total ore pe semestru 160 3.9 Numărul de credite 6

4. Precondiţii (acolo unde este cazul) 4.1 de curriculum • Algoritmică, Probabilități și Statistică, Programare 4.2 de competenţe • Cunoștințe de algoritmică și statistică la nivel de licenţă şi abilităţi de programare

5. Condiţii (acolo unde este cazul) 5.1 de desfăşurare a cursului • Sala de curs

5.2 de desfăşurare a seminarului/laboratorului • Sala de laborator dotată corespunzător


Com

pete

nţe

prof

esio

nale

• abilitatea de a accesa baze de date biologice • capacitatea de identifica algoritmul/metoda adecvată pentru a prelucra un set de date

biologice • abilitatea de a implementa/adapta algoritmi specifici prelucrării datelor biologice

Com

pete

nţe

trans

vers

ale • Capacitatea de a desfăşura activitate de cercetare şi de a elabora rapoarte de cercetare pe o

tematică dată • Capacitatea de a lucra în echipă

7. Obiectivele disciplinei (reieşind din grila competenţelor specifice acumulate) 7.1 Obiectivul general al disciplinei • Familiarizarea cu tehnici şi metode specifice biostatisticii și

bioinformaticii

7.2 Obiectivele specifice • Furnizare cunoștințe privind conceptele din biologia

computațională și prelucrarea datelor biologice • Prezentare metode statistice de analiză a secvențelor ADN și a

secvențelor de aminoacizi • Prezentare algoritmi de identificare șabloane în secvențe

biologice, aliniere secvențe biologice, construire arbori filogenetici, predicție a structurii proteinelor

8. Conţinuturi 8.1 Curs Metode de predare Observaţii C1. Introducere in biologia moleculara. Notiuni de baza. Dogma centrala a biologiei. Codul genetic.

Prelegere, exemplificare

2 ore

C2-3. Elemente de biostatistica. Repartitii discrete si continue utilizate in modelarea datelor biologice. Estimarea parametrilor. Teste statistice parametrice si neparametrice. Regresie liniara multipla, regresie neliniara si regresie logistica


4 ore

C4. Tehnici algoritmice utilizate in bioinformatica. Tehnici de cautare in spatiul solutiilor (backtracking si branch and bound). Tehnica greedy. Tehnica programarii dinamice. Tehnica divizarii. Aplicatii in bioinformatica (restriction mapping, partial digest problem).


2 ore

C5.Algoritmi de identificare a sabloanelor (motivelor) in secvente biologice. Variante bazate pe algoritmi de tip branch and bound si


2 ore

greedy

C6-C8. Algoritmi de aliniere a perechilor de secvente biologice: aliniere globala (algoritmul Needleman Wunsch) si aliniere locala (algoritmul Smith Waterman). Matrici de scor si tehnici de penalizare a gap-urilor. Tehnici euristice de aliniere si cautare (BLAST si FASTA). Aliniere multipla (algoritmul ClustalW).


6 ore

C9. Baze de date biologice. Tehnici de cautare in bazele de date biologice. Arbori sufix.


2 ore

C10. Gruparea datelor biologice. Algoritmi de grupare partitionali (kMeans) si ierarhici (aglomerativi). Algoritmi de grupare bazati pe grafuri si algoritmi pentru seturi mari de date.


2 ore

C11. Analiza filogenetica. Arbori filogenetici. Metode de construire. Prelegere, exemplificare

2 ore

C12. Algoritmi aleatori. Aplicatii in bioinformatica (identificarea sabloanelor)


2 ore

C13. Predictia structurii tertiare a proteinelor. Modelul hidrofobic-hidrofilic si algoritmi de estimare a configuratiei optime.


2 ore

C14. Modele Markov cu stari invizibile si utilizarea lor in modelarea datelor biologice.


2 ore

Bibliografie

1. W. Ewens, G.R. Grant – Statistical Methods in Bioinformatics, Springer, 2005 2. Neil C. Jones, Pavel A. Pevzner – An Introduction to Bioinformatics Algorithms, MIT Press, Cambridge,

2004 3. R. Durbin, S. R. Eddy, A. Krogh, G. Mitchison – Biological Sequence Analysis. Probabilistic models of

proteins and nucleic acids, Cambridge University Press, 2002 4. Jin Xiong, Essential of Bioinformatics, Cambridge Press, 2006 5. D. Zaharie - Biostatistică și bioinformatică, suport de curs in format electronic

(http://www.info.uvt.ro/~dzaharie/bioinfo2014/)

8.2 Seminar / laborator Metode de predare Observaţii L1. Ilustrarea unor procese din biologia moleculara. Accesarea bazelor de date biologice. Familiarizare cu pachetele software specifice.

Problematizare, dialog 2 ore

L2. Prelucrari statistice asupra secventelor biologice (analiza distributii, analiza independenta)


L3. Identificarea sabloanelor (algoritmi de cautare exhaustiva, algoritmi greedy)


L4. Alinierea perechilor de secvente (aliniere globala, aliniere locala) Problematizare, dialog 2 ore

L5. Alinierea multipla a secventelor (construire arbori de ghidare, construire aliniere)


L6. Algoritmi de grupare a datelor (implementarea algoritmilor ierarhici si a celor partitionali)


L7. Analiza filogenetica Problematizare, dialog 2 ore

Bibliografie 1. http://web.info.uvt.ro/~dzaharie/bioinfo2014/lab


• Conţinutul este în concordanţă cu structura cursurilor similare de la alte universităţi şi acoperă aspectele principale privind utilizarea de metode și tehnici specifice bioinformaticii

10. Evaluare

Tip activitate 10.1 Criterii de evaluare 10.2 Metode de evaluare


10.4 Curs Cunoașterea principalelor modele statistice utilizate în biologie și a metodelor de analiză a datelor biologice

Examen scris în sesiunea de examene

20%

Identificarea corectă a instrumentului adecvat de analiză a unui set de date biologice

Prezentarea unui proiect

60%


Utilizarea unor instrumente softwate adecvate si implementarea unor algoritmi specifici bioinformaticii

Aplicatii si teme de laborator

20%


• Cunoașterea noțiunilor fundamentale din biostatistică și bioinformatică • Cunoașterea principalelor tipuri de prelucrări din bioinformatică (identificare șabloane, aliniere,

grupare, construire arbori filogenetici) • Utilizarea corectă a funcțiilor din modulele pentru bioinformatică din Matlab; accesarea bazelor de

date biologice

Data completării



fiŞa disciplinei - math.uvt.ro · 2.4 anul de studiu 1 2.5 semestrul 2 2.6 tipul ... (ore pe...

Documents