Прилог рјешењу ефикасне верификације функционалних захтјева помоћу програмских језика

Abstract

Докторска теза анализира предлог за имплементацију верификације функционалних програмских захтева. Предмет истраживања је проналажење свих релевантних стандарда, препорука и најбољих пракси, а затим особина и функционалности прате дате стандарде и препоруке у области верификације. Истраживање потом проналази постојећа релевантна решења и њихову усклађеност са датим особинама и функционалностима. Резултат истраживања је развој доменски-специфичног језика за верификацију функсионалних програмских захтјева који имплементира све особине и функционалности чиме потврђује исправност концепта.

Alternate abstract:

The doctoral thesis analyzes the proposal for implementing the verification of functional software requirements. The subject of the research is to find all relevant standards, recommendations, and best practices, and then to examine the features and functionalities that follow the given standards and recommendations in the field of verification. The research then identifies existing relevant solutions and their compatibility with the given features and functionalities. The result of the research is the development of a domain-specific programming language for the verification of functional requirements that implements all the features and functionalities, thus confirming the correctness of the concept.

Alternate abstract:

Doktorska teza analizira predlog za implementaciju verifikacije funkcionalnih programskih zahteva. Predmet istraživanja je pronalaženje svih relevantnih standarda, preporuka i najboljih praksi, a zatim osobina i funkcionalnosti prate date standarde i preporuke u oblasti verifikacije. Istraživanje potom pronalazi postojeća relevantna rešenja i njihovu usklađenost sa datim osobinama i funkcionalnostima. Rezultat istraživanja je razvoj domenski-specifičnog jezika za verifikaciju funksionalnih programskih zahtjeva koji implementira sve osobine i funkcionalnosti čime potvrđuje ispravnost koncepta.