course and diplom


Course & diplom works

3 course

Supervisor Professor Nikitchenko MS

  • methods and language specifications subject areas.

  • verification of software systems.

  • Formalization of language semantics of UML.

  • Logic programming and its application.

  • temporal logics and their applications.

  • Paradigms of programming and specification.

Associate Supervisor Boyko BI

  • development tools illustrative graphics for online training courses.

  • implementation subsystem editing HTML-pages for the needs of the educational process.
  • Development file manager and subsystem specialized word processing.

Supervisor Associate Volokhov VM

  • Create a database in the environment of SQL.

  • Personal creating queries in the database.

  • safety information. Data protection.

Supervisor Associate Zubenko VV

  • Obchyslyuvalnist in arbitrary domains.

  • temporal algorithms.

Supervisor Associate Kuzenko VF

  • Developing client-server systems based on COM -technology.
  • Developing client-server systems based on CORBA -technology.
  • Specification ( UML ) and implementation of software systems.
  • Specification ( UML ) and implementation ERP -systems.
  • Use Rational Unified Process ( RUP ) in software systems.
  • CASE -means ( Microsoft Borland IBM Rational ), comparison and use.
  • CASE -means RUP .
  • distributed software systems ( NET Remoting ).
  • distributed software systems ( EJB ).
  • Web -services NET .
  • Web -services JAVA .
  • of search web -services.
  • Means reflection COM .
  • Means reflection CORBA .
  • Means reflection NET .
  • Interaction COM NET .
  • Interaction NET COM .
  • JAVA- technology: JAVA KMI, JAVA EJB.

Supervisor Associate Shkilnyak SS

  • Design graphic material for the electronic manual.

Supervisor Assistant Panchenko TV

  • Internet – technologies.
  • WWW in the context of the overall globalization.

  • use of Internet.

  • scheduling.

  • Management System WEB – sites.

  • e-education (electronic control knowledge, electronic journal, filling courses.

  • e-commerce system.

  • portal system.

  • Composite methods and correctness of P3.

  • Technology search the Internet.

  • remote management of distributed resources (management, synchronization, etc).

  • Internet Data Mining.

  • Development of automated test programs.

  • Development of Web-based system to support the learning process.

  • analysis and development of algorithms for comparing program source code.

4th year

Supervisor Professor Nikitchenko MS

  • validation requirements.

  • Implementation

  • composition nominative recursive programming language RECON.
  • Modeling transport of areas.

  • Interactive language and formalization.

Supervisor Professor Doroshenko A.

  • Formal methods for program analysis.

  • Effective parallelization of direct methods for solving systems of linear algebraic equations.

  • Using Grid-technologies for high performance parallel computing.

Supervisor prof. DB Bui

  • Management tranzatsiyamy in language SQL.

Supervisor Professor Lavrischeva KM

  • technology and life cycle processes (rd).

  • Standards Lifecycle and approaches to create models of rd.

  • Quality and evaluation indicators.

  • Valuation of manufacturing software systems.

  • Methods for designing the system architecture.

Associate Supervisor Boyko BI

  • Developing specialized visual system design HTML-pages
  • Methods for designing information systems based on the tabular database.

  • parsing grammar software.

  • application programming on the networks.

Supervisor Associate Volokhov VM

  • Network technology. LAN protocols and network operating systems.

  • Technologies’ client-server “in the case of software products.

Supervisor Associate Zubenko VV

  • Obchyslyuvanist in arbitrary domains. Temporal algorithms. Distance learning course on the example of “Programming and operating systems”.

Supervisor Associate Kuzenko VF

  • Developing client-server systems based on COM -technology.
  • Developing client-server systems based on CORBA -technology.
  • Specification ( UML ) and implementation of software systems.
  • Specification ( UML ) and implementation ERP -systems.
  • Use Rational Unified Process ( RUP ) in software systems.
  • CASE -means ( Microsoft Borland IBM Rational ), comparison and use.
  • CASE -means RUP .
  • distributed software systems ( NET Remoting ).
  • distributed software systems ( EJB ).
  • Web -services NET .
  • Web -services JAVA .
  • of search web -services.
  • Means reflection COM .
  • Means reflection CORBA .
  • Means reflection NET .
  • Interaction COM NET .
  • Interaction NET COM .
  • JAVA- technology: JAVA KMI, JAVA EJB.

Supervisor Associate Shkilnyak SS

  • temporal logics and their applications.

  • Properties neoclassical logic.

  • properties of modal logics

Supervisor Assistant Panchenko TV

  • DBMS: features, performance, optimization.

  • Research Opportunities Internet.

  • Building a composite language parser BaCoN, ACoN, ReCoN.

  • Building compilers of composite language.

  • scheduling.

  • Management System WEB – sites.

  • e-education (electronic control knowledge, electronic journal, filling courses.

  • e-commerce system.

  • portal system.

  • remote management of distributed resources (management, synchronization, etc).

  • Internet Data Mining.

  • Composite methods and correctness of P3.

  • Development of automated test programs.

  • Development of Web-based system to support the learning process.

  • analysis and development of algorithms for comparing program source code.

5 course

Supervisor Professor Nikitchenko MS

  • Methods of verification of reactive systems.
  • Methods broadcast programming languages ??and building language translator with RECON.
  • Development and implementation of query languages ??compositional databases.

  • aided proofs of theorems temporal logics

  • Deductive methods of verification of software systems.

Supervisor Professor Lavrischeva KM

  • Methods for testing software systems.

  • reliability models and their use to evaluate indicator reliability of software systems.
  • Project Management.

  • generative programming methodology.

  • description language domains.

  • Engineering domains and applications.

  • Language-oriented programming.

Associate Supervisor Boyko BI

  • CASE-means designing information systems. Experience in implementation and use

  • image processing tools that are stored in the database fragments.
  • Development of the system design of interactive training courses on information technology.

Supervisor Associate Volokhov VM

  • Technology database on computer networks.

  • Network technology. LAN protocols and network operating systems.

  • Technologies’ client-server “in the case of software products.

Supervisor Associate Kuzenko VF

  • Developing client-server systems based on COM -technology.
  • Developing client-server systems based on CORBA -technology.
  • Specification ( UML ) and implementation of software systems.
  • Specification ( UML ) and implementation ERP -systems.
  • Use Rational Unified Process ( RUP ) in software systems.
  • CASE -means ( Microsoft Borland IBM Rational ), comparison and use.
  • CASE -means RUP .
  • distributed software systems ( NET Remoting ).
  • distributed software systems ( EJB ).
  • Web -services NET .
  • Web -services JAVA .
  • of search web -services.
  • Means reflection COM .
  • Means reflection CORBA .
  • Means reflection NET .
  • Interaction COM NET .
  • Interaction NET COM .
  • JAVA- technology: JAVA KMI, JAVA EJB.

Supervisor Associate Shkilnyak SS

  • Formal withdrawal of neoclassical logic.

  • reductive properties kvaziarnyh logic predicates.

  • neoclassical calculus sequential type.

  • Properties sequential calculus.

Supervisor Associate Zubenko VV

  • Distance learning course on the example of “Programming and OS”

6 course

Supervisor Professor Nikitchenko MS

  • Software logic and their implementation.

  • Systems proofs of properties of programs.

Associate Supervisor Boyko BI

  • dynamic generation of queries to the tabular database and information retrieval of semi-structured information.
  • Development tools online training courses in information systems.
Новини
Дошка оголошень
Цікаві факти