| |
Specializuota programų inžinerijos asmeninių
kompiuterių klasė, automatizuotojo elektroninės aparatūros projektavimo
laboratorija. „Cadence“, „Synopsys“, „ISE Foundation“ programinė įranga.
Projektavimo automatizavimo metodai (prof. R. Šeinauskas);
Elektroninės
aparatūros projektavimo automatizavimas (prof. R. Šeinauskas);
Informacinių
technologijų metodai (prof. R. Šeinauskas);
Programinės įrangos kūrimo
technologijos (prof. A. Targamadzė);
Aukšto lygmens specifikacijų transformavimo
metodologija (prof. V. Štuikys);
Programų transformavimo modeliai ir procesai
(prof. V. Štuikys); Programų kūrimo pagrindai (prof. V. Jusas).
Informatikos inžinerijos mokslų daktaro
disertacijos:
Ramūnas Kubiliūnas. Lanksčiai pritaikomų
mokymosi objektų formavimo metodas ir jo tyrimas (vadovas prof. E. Bareiša);
Marijus Montvilas. Portalų automatizuotas
kūrimas įvertinant keitimus ir komponentų generavimą: koncepcija, metodologija
ir realizacija (vadovas prof. V. Štuikys);
Šarūnas Packevičius. Programinių
vienetų testų generavimas naudojantis programinės įrangos modeliais ir
netiksliais apribojimais (vadovas prof. E. Bareiša);
Ilona Rupšienė. Generatyvinių mokymo(si) objektų
kūrimo metodai, pagrįsti aukšto lygmens abstrakcijomis (vadovas prof. V.
Štuikys).
Skaitmeninių schemų testavimo metodų kūrimas ir
tyrimas
Prof. R. Šeinauskas, prof. E. Bareiša, prof. V. Jusas, prof. K. Motiejūnas
Pasiūlytas ir
patobulintas metodas keliems schemos vėlinimo
gedimų testams sudaryti. Patobulinti funkcinių
vėlinimo testų sudarymo kriterijai.
Komponentų variantiškumo, optimalumo ir
intelektualumo analizė ir metaprojektavimo metodo tyrimas
Prof. V. Štuikys, doc. R. Damaševičius,
doc. G.Ziberkas, lekt. V. Limanauskienė, I.
Brauklytė
Atliktas mokymo(-si) objektų
projektavimo ir tobulinimo metodų tyrimas ir pasiūlytas mokymo(-si) objektų
konteksto modelis. Atlikta programų sistemų srities analizė ir pasiūlyta
programų sistemų projektavimo srities analizės sąvokų ontologija. Atliktas
metaprogramų ir dalykinės srities metamodelių sudėtingumo įvertinimo metodų
tyrimas ir pasiūlyti metodai modelių sudėtingumui ir kokybei įvertinti. Atliktas
dalykinės srities generatorių projektavimo metodų tyrimas.
Programų testavimas
Prof. E. Bareiša, asist. Š. Packevičius,
asist. A. Ušaniov, dokt. J. Prelgauskas, dokt. D. Barisas
Atliekami programų testavimo metodų tyrimai.
Pagrindinė tyrimų kryptis yra UML modelių
naudojimas ir orakulo problemos sprendimas kuriant automatizuotus programų
testavimo algoritmus.
Mokslinės informacijos
instituto (ISI) duomenų bazėse referuojamuose leidiniuose
- Damaševičius, Robertas. Analysis of components for generalization using
multidimensional scaling // Fundamenta Informaticae. Amsterdam: IOS
Press. ISSN 0169-2968. 2009, Vol. 91, iss. 3-4, p. 507-522. [ISI Web of
Science IF: 0,715].
- Bareiša, Eduardas; Jusas, Vacius; Motiejūnas,
Kęstutis; Šeinauskas, Rimantas.
Functional delay test generation based on software prototype //
Microelectronics Reliability. Oxford: Pergamon-Elsevier Science Ltd.
ISSN 0026-2714. 2009, Vol. 49, iss. 12, p. 1578-1585. [ISI Web of
Science; Science Direct IF: 1,29].
- Štuikys, Vytautas; Montvilas, Marijus; Damaševičius, Robertas. Development of Web component generators using
one-stage metaprogramming // Informacinės
technologijos ir valdymas = Information technology and control / Kauno
technologijos universitetas. Kaunas: Technologija. ISSN 1392-124X. 2009,
T. 38, nr. 2, p. 108-118. [Science Citation Index Expanded (Web of
Science); INSPEC].
- Barisas, Dominykas; Bareiša, Eduardas. A software
testing approach based on behavioral UML models // Informacinės
technologijos ir valdymas = Information technology and control / Kauno
technologijos universitetas. Kaunas: Technologija. ISSN 1392-124X. 2009,
T. 38, nr. 2, p. 119-124. [Science Citation Index Expanded (Web of
Science); INSPEC].
- Štuikys, Vytautas; Damaševičius, Robertas. Measuring complexity of domain models represented
by feature diagrams // Informacinės
technologijos ir valdymas = Information technology and control / Kauno
technologijos universitetas. Kaunas: Technologija. ISSN 1392-124X. 2009,
T. 38, nr. 3, p. 179-187. [Science Citation Index Expanded (Web of
Science); INSPEC].
- Bareiša, Eduardas; Jusas, Vacius; Motiejūnas,
Kęstutis; Šeinauskas, Rimantas. On the
enrichment of functional delay fault tests // Informacinės
technologijos ir valdymas = Information technology and control / Kauno
technologijos universitetas. Kaunas: Technologija. ISSN 1392-124X. 2009,
T. 38, nr. 3, p. 208-216. [Science Citation Index Expanded (Web of
Science); INSPEC].
- Bareiša, Eduardas; Jusas, Vacius; Motiejūnas,
Kęstutis; Šeinauskas, Rimantas;
Tamoševičius, Žydrūnas.
Test quality assessment based on small delay defects // Informacinės
technologijos ir valdymas = Information technology and control / Kauno
technologijos universitetas. Kaunas: Technologija. ISSN 1392-124X. 2009,
T. 38, nr. 4, p. 263-270. [Science Citation Index Expanded (Web of
Science); INSPEC].
- Bareiša, Eduardas; Jusas, Vacius; Motiejūnas,
Kęstutis; Šeinauskas, Rimantas. On the
enrichment of static functional test // Electronics and Electrical
Engineering = Электроника и
электротехника = Elektronika ir elektrotechnika. Kaunas: Technologija.
ISSN 1392-1215. 2009, nr. 3(91), p. 9-14. [Science Citation Index
Expanded (Web of Science); INSPEC; Computers & Applied Sciences
Complete; Central & Eastern European Academic Source].
- Toldinas, Eugenijus; Štuikys, Vytautas; Damaševičius, Robertas; Ziberkas, Giedrius.
Application-level
energy consumption in communication models for handhelds // Electronics
and Electrical Engineering = Электроника и электротехника =
Elektronika ir elektrotechnika. Kaunas: Technologija. ISSN 1392-1215.
2009, nr. 6(94), p. 73-76. [Science Citation Index Expanded (Web of
Science); INSPEC; Computers & Applied Sciences Complete; Central &
Eastern European Academic Source].
- Damaševičius, Robertas. Analysis of open source software evolution using
evolution curve method // Databases and Information Systems V: selected
papers from 8th international Baltic conference, DB&IS 2008 / edited by Hele-Mai Haav, Ahto Kalja. Amsterdam: IOS Press, 2009. (Frontiers in
Artificial Intelligence and Applications, Vol. 187,, ISSN 0922-6389).
ISBN 9781586039394. p. 205-216. [Conference Proceedings Citation Index].
Lietuvos mokslo tarybos patvirtinto sąrašo
tarptautinėse duomenų bazėse referuojamuose leidiniuose
- Kubiliūnas, Ramūnas;
Bareiša, Eduardas. A formation method of
flexible learning objects // Informatics in Education. Vilnius:
Institute of Mathematics and Informatics. ISSN 1648-5831. 2009, Vol. 8,
no. 1, p. 49-68. [INSPEC].
- Tankelevičienė, Lina; Damaševičius, Robertas. Characteristics of domain ontologies for web based
learning and their application for quality evaluation // Informatics in
Education. Vilnius: Institute of Mathematics and Informatics. ISSN
1648-5831. 2009, Vol. 8, no. 1, p. 131-152. [INSPEC].
- Štuikys, Vytautas; Brauklytė,
Ilona. Aggregating of Learning Object Units derived from a Generative
Learning Object // Informatics in Education. Vilnius: Institute of
Mathematics and Informatics. ISSN 1648-5831. 2009, Vol. 8, no. 2, p.
295-314. [INSPEC].
- Damaševičius, Robertas. 7DO: a model for ontology complexity evaluation //
Computing and Information Systems. Paisley: University of the West
Scotland. ISSN 1352-9404. 2009, Vol. 13, no. 1, p. 12-19. [INSPEC].
- Damaševičius, Robertas. On the human, organizational, and technical
aspects of software development and analysis // Information Systems
Development: Towards a Service Provision Society / Eds. G.A.
Papadopoulos, G. Wojtkowski, W. Wojtkowski, S. Wrycza, J. Zupancic. New
York: Springer, 2009. ISBN 9780387848099. p. 11-19. [SpringerLINK].
- Damaševičius, Robertas. Ontology of domain analysis concepts in software
system design domain // Information Systems Development: Towards a
Service Provision Society / Eds. G.A. Papadopoulos, G. Wojtkowski, W.
Wojtkowski, S. Wrycza, J. Zupancic. New York: Springer, 2009. ISBN
9780387848099. p. 319-327. [SpringerLINK].
- Damaševičius, Robertas. Analysis of academic results for informatics
course improvement using association rule mining // Information Systems
Development: Towards a Service Provision Society / Eds. G.A.
Papadopoulos, G. Wojtkowski, W. Wojtkowski, S. Wrycza, J. Zupancic. New
York: Springer, 2009. ISBN 9780387848099. p. 357-363. [SpringerLINK].
- Damaševičius, Robertas. Specification of learning content using feature
diagrams // Information Systems Development: Towards a Service Provision
Society / Eds. G.A. Papadopoulos, G. Wojtkowski, W. Wojtkowski, S.
Wrycza, J. Zupancic. New York: Springer, 2009. ISBN 9780387848099. p.
821-829. [SpringerLINK].
- Damaševičius, Robertas. Refactoring of learning objects for mobile
learning // Information Systems Development: Towards a Service Provision
Society / Eds.G.A. Papadopoulos, G. Wojtkowski, W. Wojtkowski, S.
Wrycza, J. Zupancic. New York: Springer, 2009. ISBN 9780387848099. p.
839-847. [SpringerLINK].
- Tamušauskaitė, Asta;
Skiecevičius, Paulius; Bonkevičiūtė, Jurgita; Jakštienė,
Vitalija (0,5); Navickaitė,
Jolanta. Ranking of Lithuanian universities within the context of the
conception and features of a modern university // Social Sciences = Socialiniai mokslai / Kaunas University of Technology. Kaunas:
Technologija. ISSN 1392-0758. 2009, nr. 3(65), p. 66-77. [CSA
Sociological Abstracts; SocINDEX with Full Text].
- Brauklytė,
Ilona (0,5); Štuikys, Vytautas;
Tekutov, Jurij. Analysis of granularity within generative learning
objects to support reusability // Vadyba = Journal of Mangement / Vakarų
Lietuvos verslo kolegija. Klaipėda: Klaipėdos universiteto leidykla.
ISSN 1648-7974. 2009, Vol. 14, no. 1, p. 107-114. [IndexCopernicus].
- Limanauskienė,
Virginija; Blažauskas, Tomas;
Binkis, Mikas. Knowledge sharing with group portfolio // The Ninth
IEEE International Conference on Advanced Learning Technologies
[elektroninis išteklius], July 1-5, 2009, Riga, Latvia: proceedings. Los
Alamitos: IEEE Computer Society, 2009. ISBN 9780769537115. p. 428-430.
[IEEE/IEE; INSPEC].
- Damaševičius, Robertas; Štuikys, Vytautas. Specification and
generation of learning object sequences for e-learning using sequence
feature diagrams and metaprogramming techniques // The Ninth IEEE
International Conference on Advanced Learning Technologies [elektroninis
išteklius], July 1-5, 2009, Riga, Latvia: proceedings. Los Alamitos:
IEEE Computer Society, 2009. ISBN 9780769537115. p. 572-576. [IEEE/IEE;
INSPEC].
- Tankelevičienė, Lina; Damaševičius, Robertas. Towards a conceptual model of learning context in
e-learning // The Ninth IEEE International Conference on Advanced
Learning Technologies [elektroninis išteklius], July 1-5, 2009, Riga,
Latvia: proceedings. Los Alamitos: IEEE Computer Society, 2009. ISBN
9780769537115. p. 645-646. [IEEE/IEE; INSPEC].
Kituose recenzuojamuose mokslo leidiniuose
- Ušaniov, Andrej; Packevičius,
Šarūnas;
Motiejūnas,
Kęstutis. Application of the OCL constraints
for GUI testing // Information Technologies' 2009: 15th International
Conference on Information and Software Technologies, IT 2009, Kaunas,
Lithuania, April 23-24, 2009: Research Communications / Kaunas
University of Technology. Kaunas: Technologija. ISSN 2029-0039. 2009, p.
53-58.
- Damaševičius,
Robertas; Tankelevičienė,
Lina. Conceptualisation of learning context in e-learning // MIPRO 2009:
32nd International Convention on Information and Communication
Technology, Electronics and Microelectronics, May 25-29, 2009, Opatija,
Croatia: proceedings. Rijeka: MIPRO, 2009. ISBN 9789532330458. p.
175-180.
- Damaševičius,
Robertas. Automatic generation of part-whole
hierarchies for domain ontologies using Web search data // MIPRO 2009:
32nd International Convention on Information and Communication
Technology, Electronics and Microelectronics, May 25-29, 2009, Opatija,
Croatia: proceedings. Rijeka: MIPRO, 2009. ISBN 9789532330458. p.
215-220.
- Targamadzė,
Aleksandras; Petrauskienė,
Rūta. Educational barriers in distance learning // Innovation and
Creativity in e-Learning, 20th November, 2009, Kaunas, Lithuania
[elektroninis išteklius]: international conference proceedings. Kaunas:
[s.n.], 2009. ISBN 9789955257363. p. [1-8].
- Limanauskienė, Virginija;
Štuikys, Vytautas. The enhancement of reusability of course
content and scenarios in unified e-learning environment for schools //
Electronic Journal of e-Learning. Reading: Academic Conferences Ltd.
ISSN 1479-4403. 2009, Vol. 7, iss. 2, p. 137-146.
- Damaševičius,
Robertas. Generation of combinational circuit metaprograms from truth table specifications using evolutionary design
techniques // Information Technologies' 2009: proceedings of the 15th
International Conference on Information and Software Technologies, IT
2009, Kaunas, Lithuania, April 23-24, 2009 / Kaunas University of
Technology. Kaunas: Technologija. ISSN 2029-0020. 2009, p. 109-116.
- Jusas, Vacius; Šeinauskas, Rimantas; Tamoševičius,
Žydrūnas.
Paths selection under transition fault test // Information Technologies'
2009: proceedings of the 15th International Conference on Information
and Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009
/ Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020.
2009, p. 117-124.
- Motiejūnas,
Kęstutis; Motiejūnas,
Liudas. A postprocessing procedure of functional test enrichment //
Information Technologies' 2009: proceedings of the 15th International
Conference on Information and Software Technologies, IT 2009, Kaunas,
Lithuania, April 23-24, 2009 / Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020. 2009, p. 139-144.
- Jusas, Vacius; Smilingis, Mantas; Šeinauskas, Rimantas.
Functional delay test generation approach based on extracting
information from the software prototype // Information Technologies'
2009: proceedings of the 15th International Conference on Information
and Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009
/ Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020.
2009, p. 149-157.
- Štuikys, Vytautas; Damaševičius,
Robertas; Toldinas, Eugenijus; Ziberkas,
Giedrius. Matching DSP algorithm transformations for power,
performance and memory trade-offs // Information Technologies' 2009:
proceedings of the 15th International Conference on Information and
Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009 /
Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020.
2009, p. 178-186.
- Barisas, Dominykas; Bareiša, Eduardas. Software system
testing method based on state transitions // Information Technologies'
2009: proceedings of the 15th International Conference on Information
and Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009
/ Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020.
2009, p. 187-193.
- Packevičius,
Šarūnas;
Ušaniov, Andrej; Bareiša, Eduardas. Universal unit tests
generator based on software models // Information Technologies' 2009:
proceedings of the 15th International Conference on Information and
Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009 /
Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020.
2009, p. 201-206.
- Limanauskienė,
Virginija; Štuikys, Vytautas. The
development and use of generic e-learning scenario for schools //
Information Technologies' 2009: proceedings of the 15th International
Conference on Information and Software Technologies, IT 2009, Kaunas,
Lithuania, April 23-24, 2009 / Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020. 2009, p. 282-291.
- Štuikys, Vytautas; Brauklytė,
Ilona; Damaševičius,
Robertas. How to integrate generative learning
objects into teaching and learning processes // Information
Technologies' 2009: proceedings of the 15th International Conference on
Information and Software Technologies, IT 2009, Kaunas, Lithuania, April
23-24, 2009 / Kaunas University of Technology. Kaunas: Technologija.
ISSN 2029-0020. 2009, p. 292-300.
- Jakštienė,
Vitalija; Janiūnaitė,
Brigita. Holism of information and communication technology competence
of university lecturers // Changes in Social and Business Environment:
proceedings of the 3rd international conference, November 4-5, 2009,
Kaunas University of Technology Panevėžys Institute, Lithuania: selected
papers / Kaunas University of Technology Panevėžys Institute, Bank of
Finland, Koaceli University, Panevėžys Science and Technology Park ...
[et al.]. Kaunas: Technologija. ISSN 1822-7090. 2009, p. 146-153.
Straipsnių skaičius
| Publikacijos rūšis |
Skaičius
(autorių indėlis) |
| Mokslinės
informacijos instituto (ISI Web of Science) leidiniuose: |
8,75 |
|
iš jų turinčiuose citavimo
indeksą |
2 |
| Tarptautinėse
duomenų bazėse referuojamuose leidiniuose:
|
11,6 |
|
iš jų ISI Proceedings |
1 |
| Kituose recenzuojamuose leidiniuose |
11,75 |
|
Iš viso |
32,1 |
|
|