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

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

Valchanov, Nikola, Terzieva, Todorka, Shkurtov, Vladimir, Iliev, Anton (2010)

Union of Bulgarian Mathematicians

Similarity:

Никола Вълчанов, Тодорка Терзиева, Владимир Шкуртов, Антон Илиев - Една от основните области на приложения на компютърната информатика е автоматизирането на математическите изчисления. Информационните системи покриват различни области като счетоводство, електронно обучение/тестване, симулационни среди и т. н. Те работят с изчислителни библиотеки, които са специфични за обхвата на системата. Въпреки, че такива системи са перфектни и работят безпогрешно, ако не се поддържат остаряват....

The Notion of Model in Software Engineering Понятието модел в софтуерните технологии

Sredkov, Miloslav (2011)

Union of Bulgarian Mathematicians

Similarity:

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

Defining the semantics of rule-based Web applications through model-driven development

Joaquín Cañadas, José Palma, Samuel Túnez (2011)

International Journal of Applied Mathematics and Computer Science

Similarity:

Rule languages and inference engines incorporate reasoning capabilities to Web information systems. This paper presents an approach for the specification and development of Web applications performing the usual functionalities of data management and incorporating a rule engine for reasoning capabilities. The proposed approach is based on the definition of a high-level representation of the semantics of rule-based applications through a formalism for conceptual modeling combining lightweight...

Formal Specification of Relational Model of Data in Z-Notation Формална спецификация на релационния модел на данни в Z-нотация

Dimitrov, Vladimir (2010)

Union of Bulgarian Mathematicians

Similarity:

Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни. The aim of this paper is to specify formally the Relational Model of Data. This specification could be extended to cover Object-Relational Model of Data and Data Streams. *2000 Mathematics Subject Classification: 68U35. This work was sponsored by...

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

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

Union of Bulgarian Mathematicians

Similarity:

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

Extending the UML for modelling variability for system families

Silva Robak, Bogdan Franczyk, Silva Robak (2002)

International Journal of Applied Mathematics and Computer Science

Similarity:

The process of modelling and developing commonality and variability for system families should be supported by suitable methods and notations. The object-oriented methods and their notations, which are used at present, focus on the development of a single system at a time. In this paper we analyse feature models as a representation of the common parts and variants contained in a system family, and propose using a feature diagram as a basic representation of commonality, variability and...