One Approach to Knowledge Mapping for International Student Portal

* The work is partly supported by RFFI grant 08-07-00062-a

Evaluating the Quality of Student Web Design Projects

Иван Шотлеков, Асен Рахнев - В настоящата работа се представя набор от критерии за оценяване на качеството на студентски проекти за уеб дизайн. Критериите са подходящи за разработване, самооценяване, колегиално оценяване и оценка на уеб сайтове, проектирани от студенти. Тази оценъчна скала е апробирана по време на курс “Английски език в информационните технологии”, проведен със студенти от първи курс по информатика във Факултета по математика и информатика на Пловдивски университет “Паисий Хилендарски”. Тя помага на студентите при разработването на мултидисциплинарен проект за уеб дизайн да придобият не само технически умения, свързани с проектирането на качествени уеб сайтове, но и някои процесуални умения, които ще им бъдат необходими в реалната практика.

Verification of Procedural Programs via Building their Generalized Nets Models

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.