Programų inžinerijos katedra

Katedra įkurta 2001 m. pertvarkius Programinės įrangos katedrą į Programų inžinerijos, Kompiuterinių tinklų ir Sisteminės analizės katedras. Nuo įkūrimo pradžios iki 2011 m. katedrai vadovavo prof. dr. Eduardas Bareiša. Nuo 2011 m. katedros vedėjas yra doc. dr. Tomas Blažauskas.

Programų inžinerijos katedra kiekvienais metais užsiima ir visuomenine, švietėjiška veikla:

  • Organizuoja konkursus "IT galvosūkiai" bei "Dr. Juozo Kazicko moksleivių kompiuterininkų forumas"
  • Rengia technologijų demonstracinius stendus ir eksponuoja studentų darbus įvairiuose renginiuose ir parodose ("Studijų mugė", "Tyrėjų naktis", "Erdvėlaivis žemė", "Technorama" ir kt), tai publikuojama straipsniuose interneto portaluose, žurnaluose ir ir kituose leidiniuose (žurnale "Veidas", "delfi.lt", "15min.lt", "Kauno diena" ir kt.)
  • Organizuoja atvirus mokymus moksleiviams "Programavimo pamokėlės"
  • Bendradarbiauja su regionų mokyklomis "Dr. Juozo Kazicko moksleivių kompiuterininkų forumas" konkurso rėmuose, važiuojama su eksponatais į mokyklas, pareiškus joms iniciatyvą.
 
 
 
 

Studijos

Bakalauro studijų programos


Programų sistemos. Tikslas - parengti aukštos kvalifikacijos kompiuterių programų sistemų specialistus, atitinkančius Lietuvos ūkio ir pasaulinius eksporto poreikius, sugebančius analizuoti, kurti, diegti ir testuoti programinius produktus, dirbti programų sistemų projektų vadovais, programuotojais, programinės įrangos priežiūros specialistais. Išsamiau...

Magistro studijų programos


Programų sistemų inžinerija. Tikslas - parengti aukštos kvalifikacijos programinės įrangos kūrimo lyderius - būsimus projektų ir projektavimo įmonių vadovus, vedančiuosius specialistus, sugebančius sukurti programinę įrangą, turinčią išliekamąją vertę - lengvai palaikomą, pakartotinai panaudojamą ir perdislokuojamą, gebančius įsisavinti ir diegti efektyvius projektavimo metodus, naudoti šiuolaikinius IT įrankius, gebančius valdyti sudėtingų programų sistemų kokybę bei tenkinti Lietuvos ūkio ir eksporto poreikius. Išsamiau...

Nuotolinio mokymosi informacinės technologijos. Tikslas - rengti informacinių technologijų magistrus: turinčius išsamių žinių bei įgūdžių, susijusių su mokymuisi skirtų informacinių technologijų ir jų priemonių projektavimu, realizavimu ir taikymu virtualiose bei nuotolinėse studijose, panaudojant šiuolaikines mokymo ir mokymosi teorijas bei metodus; gebančius kurti elektronines mokymo ir mokymosi priemones bei turinį, organizuoti ir vykdyti kokybiškas nuotolines studijas, užtikrinant mokymosi visą gyvenimą galimybes. Programa skirta ne tik informatikos ar informatikos inžinerijos, bet ir kitų sričių aukštąjį išsilavinimą turintiems specialistams. Išsamiau...

Partneriai

  1. Adform - Skandinavų kompanija, kuri kuria technologinę platformą, skirtą reklamos internete valdymui ir optimizavimui. Bendradarbiavimo kryptys: paskaitų skaitymas studentams.
  2. Atea - Baltijos šalyse veikiantis informacinių technologijų sprendimų ir paslaugų teikėjas. Bendradarbiavimo kryptys: bendrų projektų įgyvendinimas.
  3. Callcredit Information Group - Tarptautinės informacinių sprendimų kompanijos IT padalinys Lietuvoje. Bendradarbiavimo kryptys: paskaitų skaitymas.
  4. Devbridge - Užsienio kapitalo internetinių sistemų kūrimo įmonė. Bendradarbiavimo kryptys: paskaitų skaitymas, specializuotos mokymosi auditorijos įrengimas (Studentų g. 67-302).
  5. Festo - Pasaulinis tiekėjas pneumatikos ir elektronikos technologijų gamybai ir procesų automatizacijai. Bendradarbiavimo kryptys: praktikos vietų Lietuvoje ir užsienyje steigimas.
  6. Microsoft Lietuva - Microsoft kompanijos oficialus atstovas Lietuvoje. Bendradarbiavimo kryptys: specializuotos programinės bei techninės įrangos teikimas studentų mokymui ir moksliniams tyrimas, paskaitų skaitymas.
  7. Iterum - Internetinių sistemų kūrimo įmonė. Bendradarbiavimo kryptys: pasirašytas ketinimų protokolas.
  8. SoftDent - CRM (ryšių su klientais valdymo) ir pardavimų analizės programinės įrangos tiekėja farmacinėms kompanijoms Baltijos šalyse. Bendradarbiavimo kryptys: baigiamųjų darbų temų teikimas, studentų kuravimas, praktikos vietų steigimas.
  9. TeleSoftas - Mobiliųjų sprendimų ir internetinių sistemų kūrimo įmonė. Bendradarbiavimo kryptys: baigiamųjų darbų temų teikimas, studentų kuravimas, praktikos vietų steigimas.
  • Šioje kategorijoje įvykių nėra
  • Šioje kategorijoje įvykių nėra
  • Šioje kategorijoje įvykių nėra
  • Šioje kategorijoje įvykių nėra

Dėstytojai


Profesoriai

Prof. dr. Eduardas Bareiša Prof. dr. Eduardas Bareiša
Studentų g. 50–412
tel. 8 (37) 300 351
e. p. eduardas.bareisa@ktu.lt
Robertas Damaševičius Prof. dr. Robertas Damaševičius
Studentų g. 50-409A
tel. 8 (37) 300 353
e. p. robertas.damasevicius@ktu.lt
Vacius Jusas Prof. dr. Vacius Jusas
Studentų g. 50–416a
tel. 8 (37) 327 617
e. p. vacius.jusas@ktu.lt
Kęstutis Motiejūnas Prof. dr. Kęstutis Motiejūnas
Studentų g. 50–405A
e. p. kestutis.motiejunas@ktu.lt
Rimantas Šeinauskas Prof. Habil. dr. Rimantas Šeinauskas
Studentų g. 50–404A
e. p. rimantas.seinauskas@ktu.lt
Vytautas Štuikys Prof. Habil. dr. Vytautas Štuikys
Studentų g. 50–415
tel. 8 (37) 300 399
e. p. vytautas.stuikys@ktu.lt
Aleksandras Targamadzė Prof. Habil. dr. Aleksandras Targamadzė
Studentų g. 67–406
e. p. aleksandras.targamadze@ktu.lt

Docentai

Tomas Blažauskas Doc. dr. Tomas Blažauskas
Studentų g. 50–406
tel. 8 (37) 454 229
e. p. tomas.blazauskas@ktu.lt
Eimutis Karčiauskas Doc. dr. Eimutis Karčiauskas
Studentų g. 50-415B
tel. 8 (37) 327 629
e. p. eimutis.karciauskas@ktu.lt
Romas Marcinkevičius Doc. dr. Romas Marcinkevičius
Studentų g. 50–415A
tel. 8 (37) 300 366
e. p. romas.marcinkevicius@ktu.lt
Doc. dr. Šarūnas Packevičius
Baršausko g. 59-320
e. p. sarunas.packevicius@ktu.lt
Giedrius Ziberkas Doc. dr. Giedrius Ziberkas
Studentų g. 50–414a
tel. 8 (37) 300 399
e. p. giedrius.ziberkas@ktu.lt

Lektoriai

Dominykas Barisas Lekt. dr. Dominykas Barisas
Studentų g. 50–101A
e. p. dominykas.barisas@ktu.lt
Mikas Binkis Lekt. dr. Mikas Binkis
Studentų g. 50-101A
e. p. mikas.binkis@ktu.lt
Mindaugas Jančiukas Lekt. dr. Mindaugas Jančiukas
Baršausko g. 59–A342
e. p. mindaugas.janciukas@ktu.lt
Tatjana Dulinskienė Lekt. Tatjana Dulinskienė
Studentų g. 67-408
e. p. tatjana.dulinskiene@ktu.lt
Vitalija Jakštienė Lekt. dr. Vitalija Jakštienė
Studentų g. 50-415A
e. p. vitalija.jakstiene@ktu.lt
Vitalija Keršienė Lekt. Vitalija Keršienė
Studentų g. 50-402
e. p. vitalija.kersiene@ktu.lt
Ramūnas Kubiliūnas Lekt. dr. Ramūnas Kubiliūnas
Studentų g. 50–411
e. p. ramunas.kubiliunas@ktu.lt
Virginija Limanauskienė Lekt. Virginija Limanauskienė
Studentų g. 67-404
tel. 8 (37) 327 617
e. p. virginija.limanauskiene@ktu.lt
Rima Sturienė Lekt. Rima Sturienė
Studentų g. 67–408
e. p. rima.sturiene@ktu.lt
Andrej Ušaniov Lekt. dr. Andrej Ušaniov
Studentų g. 50–405
e. p. andrej.usaniov@ktu.lt
Lekt. Kęstutis Valinčius
Baršausko g. 59–342
e. p. kestutis.valincius@ktu.lt

Asistentai

Mindaugas Vasiljevas Asist. Mindaugas Vasiljevas
Studentų g. 50–101A
e. p. mindaugas.vasiljevas@ktu.lt
Žydrūnas Tamoševičius Asist. Žydrūnas Tamoševičius
Studentų g. 50–101A
e. p. zydrunas.tamosevicius@ktu.lt

Doktorantai

Darius Ašeriškis Darius Ašeriškis
Studentų g. 50
e. p. darius.aseriskis@ktu.lt
Alvydas Muliuolis
Studentų g. 50
e. p. alvydas.muliuolis@ktu.lt
Greta Rudžionienė
Studentų g. 50
e. p. greta.rudzioniene@ktu.lt
Šarūnas Stanskis
Studentų g. 50-101A
e. p. sarunas.stanskis@ktu.lt
Justas Šalkevičius
Studentų g. 50
e. p. justas.salkevicius@ktu.lt
Tomas Uktveris
Studentų g. 50-101A
e. p. tomas.uktveris@ktu.lt
Mindaugas Vasiljevas Mindaugas Vasiljevas
Studentų g. 50-101A
e. p. mindaugas.vasiljevas@ktu.lt

Administracija

Doc. dr. Tomas Blažauskas Vedėjas Doc. dr. Tomas Blažauskas
Studentų g. 50–406
tel. 8 (37) 454 229
e. p. tomas.blazauskas@ktu.lt
Zita Janulytė Administratorė – Zita Janulytė
Studentų g. 50–406
tel. 8 (37) 454 229
e. p. zita.janulyte@ktu.lt
Zita Janulytė Akademinė padėjėja – Giedrė Drėgvaitė
Studentų g. 67–405
tel. 8 (37) 300 353
e. p. giedre.dregvaite@ktu.lt
 
 
 
 

Mokslo kryptys

  1. Skaitmeninių schemų testavimo metodų kūrimas ir tyrimai. Tirta nuosekli sinchroninė schema gali būti transformuota į kombinacinę schemą, naudojant iteracinio loginio masyvo modelį. Pasiūlyta keletas gedimų modelių, skirtų tikrinti perjungimo vėlinimo gedimus struktūriniame schemos lygmenyje. Tyrinėtas nuoseklių schemų be skleidimo grandinėlės testavimas. Pasiūlyta metodika kaip sudaryti testus tokio tipo schemoms. Tirta, kokią tai turi įtaką testinių rinkinių atrinkimo rezultatams. 
  2. Žmogaus smegenų–kompiuterio sąsajos metodų kūrimas ir tyrimai. Žmogaus smegenų–kompiuterio sąsajoms reikalingi sudėtingi elektroencefalogramos (EEG) signalų apdorojimo, triukšmų šalinimo, požymių išskyrimo ir klasifikavimo algoritmai. Buvo pasiūlytas netiesinių operatorių, tokių kaip Taeger-Kaiser energijos operatorius (TKEO) ir keletas jo atmainų, panaudojimas EEG signalams apdoroti. Šių operatorių efektyvumas vertinamas klasifikavimui naudojant atraminių vektorių metodą su tiesine funkcija. Buvo pasiūlytas diskrečiosios kosinuso transformacijos metodo naudojimas charakteringų EEG signalų išskyrimui ir klasifikavimui. Diskrečioji kosinuso transformacija leidžia sukoncentruoti EEG energiją į keletą pirmųjų transformacijos koeficientų. Šis metodas naudojamas kaip požymių išskyrimo žingsnis ir leidžia žymiai sumažinti duomenų apimtį, neprarandant svarbios informacijos. 
  3. Programinės įrangos sistemų testavimo metodų kūrimas ir tyrimai. Funkcinių (vienetų) testų generavimas aparatūrinėms kalboms naudojant formalius metodus iš (pagal) modelių. Statinių analizės, kompiliavimo įrankių kūrimas, simbolinės analizės metodo, "Satisfability modulus" (SMT) teorijos analizė ir taikymas. Automatizuotų testavimo ir testinių atvejų generavimo metodų, paremtų statine kodo analize ir kompoziciniu dinaminiu simboliniu vykdymu, kūrimas ir tyrimas. Atliktas teorinis pasiūlyto paskirstytų sistemų testavimo metodo tyrimas. Išnagrinėta tokio tipo klaidas metodas sugeba aptikti. 
  4. Virtualaus mokymosi technologijų ir metodų kūrimas ir tyrimai. Tirti konkurencija paremti socialinio mokymosi metodai. Tirti informacinių technologijų modulių teikimo ypatumai. 
  5. Dalykinės srities sistemų ir jų komponentų variantiškumo analizė, požymiais-grįstas modeliavimas ir automatizuoto kūrimo metodų tyrimai. Modeliavimo metodai tiriami meta-projektavimo paradigmos kontekste. Nagrinėjamas bendrinių komponentų modelių (meta-modelių, srities ontologijų) sukūrimas. Variantiškumas tiriamas produktų linijų metodologijos kontekste. Tirta kaip generatyviniai metodai gali būti pritaikyti mokymęsi.

Dalyvavimas mokslo projektuose

  1. 158677-TEMPUS-1-2009-1-DE-TEMPUS-JPCR:  TEMPUS programos projektas HEICA: „Aukštojo mokslo iniciatyva centrinės Azijos informatikams“ ( Higher Education Initiative For Informatics In Central Asia), koordinatorius-  Dresdeno technikos universitetas,  2010-01-01– 2012-12-31. Pratęstas iki 2013-10-14. KTU  Programų inžinerijos katedra, vadovė  Virginija Limanauskienė.  http://heica.inf.tu-dresden.de
  2. VP1-3.1-ŠMM-06-V-01-003: EUREKA ITEA2 klasterinis projektas ATAC: „Automatizuotas sudėtingų programų sistemų testavimas“ (Advanced Test Automation for Complex Software-Intensive Systems), koordinatorius  Belgijos įmonė BARCO.  Finansavimas skirtas nuo 2011-10-01 pagal Struktūrinių fondų projektą „Programos „Eureka“ mokslinių tyrimų ir technologinės plėtros projektų įgyvendinimas“.  KTU mokslinio tyrimo vadovas – Informatikos fakulteto prof. Eduardas Bareiša.  UAB Singletonas mokslinio tyrimo vadovas – dr. Šarūnas Packevičius. Projekto vadovė KTU –  Virginija Limanauskienė
  3. VP1-3.1-ŠMM-08-K-01-018: „Daiktų ir paslaugų interneto technologijų ir jų infrastruktūros išmaniosioms aplinkoms tyrimai bei kūrimas“ (Research and development of internet technologies and their infrastructure for smart  environments of  things and services). Koordinatorius -  Europos socialinio fondo agentūra,  2012-08-14 – 2015-08-13 . Mokslinio tyrimo vadovas  prof. Eduardas Bareiša.  Projekto vadovė  Virginija Limanauskienė
  4. ES programos LLL projektas  7EU-VET (Detailed Methodological Approach to understanding the VET education) „Detalus metodinis tyrimas profesiniam  švietimui ir lavinimui suprasti“, No. 505480-LLP-1-2009-1-SI-KA1-KA1SCR , atsakingas asmuo Virginija Limanauskienė, 2010 -2012, koordinatorius   Faculty of Social Sciences  University of Ljubljana.  http://7eu-vet.org/