Zastosowanie sztucznej inteligencji do tworzenia sformalizowanych wymagań oprogramowania

Zgłaszający: dr hab. inż. Michał Śmiałek
  • Availability status:Available
  • Keywords:AI, LLM, ChatGPT, sztuczna inteligencja, wymagania oprogramowania, przetwarzanie języka naturalnego, NLP, języki formalne
  • Opis:

    Praca w ramach tego tematu dotyczy wytworzenia i zbadania rozwiązania opartego na dużych modelach językowych (LLM) lub innych metodach sztucznej inteligencji. Celem rozwiązania jest przekształcanie tekstów w języku naturalnym na teksty w sformalizowanym języku opisu wymagań oprogramowania. Przedmiotem pracy będzie w pierwszej kolejności analiza możliwości aktualnie istniejących rozwiązań w tym obszarze. W drugiej kolejności praca będzie obejmować stworzenie kompleksowego systemu, który ułatwia tworzenie precyzyjnych specyfikacji wymagań poprzez - na przykład - zautomatyzowaną translację ze swobodnego języka naturalnego i/lub interakcję z systemem sztucznej inteligencji.
    Wyniki pracy mogą wpisywać się w tematykę międzynarodowego projektu DoorCE (https://www.interreg-central.eu/projects/doorce/) i zostać wykorzystane jako element pakietu narzędzi do zarządzania otwartymi danymi. Student w ramach pracy może (choć nie musi) uczestniczyć w pracach międzynarodowego konsorcjum.

  • Type: inżynierski magisterski projekt indywidualny projekt zespołowy projekt przejściowy projekt zespołowy - IK recenzja
  • Degree course: Automatyka i Robotyka Informatyka
  • Notes:
Back