Keresés alapú szoftver- és rendszertervezés

Témalaborosoknak:

A keresés alapú problémák sok helyen jelen vannak a mindennapi életben, például milyen útvonalon menjünk el egy adott helyre, hogyan osszuk be az időnket, melyik zh-ra tanuljunk többet, hogyan oldjunk meg egy logikai feladványt, egy áruházlánc hogyan szervezze az áruszállításokat, stb. Ezeknek a problémáknak a közös jellemzője, hogy elméletileg több megoldás is elképzelhető a megoldásukra, de számunkra ezekből csak néhány az, ami elfogadható (A-ból B-be sokféleképpen el lehet jutni, de a legrövidebb érdekel vagy például sudokuban véletlenszerűen beírva a számokat is egyfajta megoldáshoz jutunk, de olyan számokat keresünk, amelyek megfelelnek a szabályoknak is). Hasonló problémák az informatikában is előjönnek, például amikor egy rendszert szeretnénk teljesítmény, költség és hibatűrés szempontok alapján optimalizálni vagy egy osztálydiagramot bizonyos szoftvermetrikák mentén refaktorálni.

A témában a hallgatók megismerkedhetnek az alapvető fogalmakkal (kényszer kielégítési probléma, célfüggvény, többcélú optmailizáció, genetikus algoritmus) és egy feladat mentén belekostólhatnak a keresés alapú technikák/technológiák használatába, esetleg kiegészítve a modellalapú szoftverfejlesztés eszköztárával.