Research Activites in 1996

Todays research topics of the Software Department are

• object-oriented programming,
• programming environments,
• data-models,
• automatic program synthesis and programming languages.

The results of previous years of the scientific activities have been described in the technical reports of the IoC no CS61/93, CS73/94 and CS84/95.

The most recent results obtained are briefly described in the following sections.

• Integration of Deductive and Inductive Synthesis of Programs
  J.Penjam)
  • References of the Section
• An Object Classification Method for OODB
  (H.-M.Haav)
• Algebraic Theory of Automata
  • Compositions of Attributed Automata
    (V.Vene, M.Meriste, J.Penjam)
    • Primitive Attributed Automata
    • Basic composition operators
    • Properties of Composition Operators
    • Conclusions
  • Constructions on Automata
    (U. Kaljulaid)
• Applications of AI Techniques
  • AI in Mechanical Engineering Design
    (A.Kalja)
  • Natural Language Processing
    (K.Uustalu)
  • Digital Image Interpretation (Visual Languages Implementation)
    (A.Järg)
• Development of the NUT Programming System
  (Mait, Rando ja Närep)
  • Development of the NUT programming system
    (M.Harf)
    • Extension of the automatic program synthesis
    • Implementation of the large object memory in the NUT system
  • Interoperability of KB Systems
    (R.Valt)
• List of Publications
• Defences of Dissertations
• Graduate Studies
  • PhD Students
  • Master students
• Participation in International Co-operation Programmes
• Lectures Given by the Staff Members
  • Lecture courses
  • Lectures, Conference and Seminare Talks
• Membership in Scientific Organisations
• Visiting
• Other activities of the members of the Department
• Organisation of Scientific conferences, Meetings, Schools
  • Tarkvaraosakonna sügisseminar Jäneda Õppe-ja Nõuandekeskuses 8. - 9. novembril 1996.a.
  • Second International Baltic Workshop on DB and IS
  • Nordic-Baltic Summer School
  • Graduate Students Winter School at Pühajärve
  • Tarkvaraosakonna seminarid 1996.a.
• Development of Computer System of the Software Department
  • Hardware
  • Software