Displaying similar documents to “Architecture of Extensible Computations Driven Systems Архитектура на разширяеми, управлявани от изчисления системи”

The Cloud Computing and Computer Virology “облачни изчисления” и компютърна вирусология

Nickolov, Eugene, Polimirova, Dimitrina (2011)

Union of Bulgarian Mathematicians

Similarity:

Евгений Николов, Димитрина Полимирова - Докладът представя текущото състояние на “облачните изчисления” и “облачните информационни атаки” в светлината на компютърната вирусология и информационната сигурност. Обсъдени са категориите “облачни възможни информационни атаки” и “облачни успешни информационни атаки”. Коментирана е архитектурата на “облачните изчисления” и основните компоненти, които изграждат тяхната инфраструктура, съответно “клиенти” (“clients”), „центрове за съхранение на...

Understanding Computing through Defining its Lexicon Речник на “пресмятането”, разбирано в широк смисъл

Bantchev, Boyko (2010)

Union of Bulgarian Mathematicians

Similarity:

Бойко Банчев - Понятието пресмятане в широкия му смисъл и неговото присъствие в природата, науката, технологията и други области е свързано с редица неизяснени въпроси. Дори в по-тесните рамки на програмирането и използването на компютри то не е адекватно разбрано. Представяме тезата, че един начин за приближаване към такова разбиране е разкриването на дълбинните структури и отношения, свързани с пресмятането, и на тази основа построяване на речник на пресмятането. Important...

Transforming Mathematics Learning for Students and Teachers with Digital Technologies Трансформиране на обучението по математика с дигитални технологии

Hoyles, Celia, Noss, Richard (2011)

Union of Bulgarian Mathematicians

Similarity:

Силия Хойлс, Ричардс Нос - Това представяне е вдъхновено от делото на Сиймър Пепърт и много други от целия свят (включително Джим Капут и наши колеги от България), които са работили и работят в духа на конструкционизма и с които сме имали щастието да си сътрудничим в областта на математическото образование и дигиталните технологии в течение на десетилетия. This presentation takes inspiration from the work of Seymour Papert and many others across the world (including Jim...

Evaluating the Quality of Student Web Design Projects Оценка на качеството на студентски проекти за уеб дизайн

Shotlekov, Ivan, Rahnev, Asen (2010)

Union of Bulgarian Mathematicians

Similarity:

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

Verification of Procedural Programs via Building their Generalized Nets Models Верификация на процедурни програми чрез изграждане на техни обобщени мрежови модели

Todorova, Magdalina (2012)

Union of Bulgarian Mathematicians

Similarity:

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

CORE: A Multi-Purpose Programming Contest Repository System CORE - многоцелева система-хранилище за състезания по програмиране

Chaushev, Yani, Sredkov, Miloslav, Manev, Krassimir (2012)

Union of Bulgarian Mathematicians

Similarity:

Яни Чаушев, Милослав Средков, Красимир Манев - Всяко състезание по програмиране използва множество софтуерни инструменти за управление на процесите по време на състезанието. Въпреки че тези инструменти обикновено покриват спецификите на конкретния вид състезание задоволително, те рядко адресират трудностите на дългосрочното съхранение на данни и оперативната съвместимост. В тази статия е представен един софтуерен инструмент адресиращ тези проблеми. Вместо комплексна система, касаеща...

Extracting Business Rules through Static Analysis of the Source Code Извличане на бизнес правила чрез статичен анализ на програмен код

Manev, Krassimir, Maneva, Neli, Haralambiev, Haralambi (2012)

Union of Bulgarian Mathematicians

Similarity:

Красимир Манев, Нели Манева, Хараламби Хараламбиев - Подходът с използване на бизнес правила (БП) беше въведен в края на миналия век, за да се улесни специфицирането на фирмен софтуер и да може той да задоволи по-добре нуждите на съответния бизнес. Днес повечето от целите на подхода са постигнати. Но усилията, в научно-изследователски и практически аспект, за постигане на „’формална основа за обратно извличане на БП от съществуващи системи “продължават. В статията е представен подход...

Automated Software Reengineering Model and Framework Модел и среда за автоматизиране на процеса на реинженеринг

Cholakov, Todor, Birov, Dimiter (2012)

Union of Bulgarian Mathematicians

Similarity:

Тодор П. Чолаков, Димитър Й. Биров - Тази статия представя цялостен модел за автоматизиран реинженеринг на наследени системи. Тя описва в детайли процесите на превод на софтуера и на рефакторинг и степента, до която могат да се автоматизират тези процеси. По отношение на превода на код се представя модел за автоматизирано превеждане на код, съдържащ указатели и работа с адресна аритметика. Също така се дефинира рамка за процеса на реинженеринг и се набелязват възможности за по-нататъшно...