Abstract Methods and Applications in Computer Science Apstraktni metodi i primene u računarskim naukama Projekt 144017A Ministarstva nauke i zaštite životne sredine Republike Srbije (2006--2010)