Перегляд за темою "Методи та засоби програмної інженерії"

Результати 1-20 з 76

Наступна сторінка

50 лет инженерии программного обеспечения

Сидоров, Н.А. (Проблеми програмування, 2018)

Статья посвящается 50 годовщине образования, ключевой на сегодняшний день области информатики – инженерии программного обеспечения. В октябре 2018 года исполнилось 50 лет со дня проведения конференции, на которой ...
Formal foundations for software model to model transformation operation

Chebanyuk O.V. (Проблеми програмування, 2018)

Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained ...
Interactive assessment of simulated service qualities by business stakeholders: principles and research issues

Shekhovtsov, A. (2010)

We present the principles of an approach supporting the stakeholder involvement in a software process for service-oriented systems in a form of assessing the perceived quality of the software under development in its usage ...
Interactive method for cumulative analysis of software formal models behavior

Kolchin, A. (Проблеми програмування, 2018)

The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce ...
Models and tools for effectiveness increase of requirements traceability in agile-software development

Tkachuk, M.V.; Gamzayev, R.O.; Mayr, H.C.; Bolshutkin, V.O. (Проблеми програмування, 2012)

This paper presents the Agile-centered framework for advanced requirements traceability support which consists of following components: a procedure to build an advanced traceability matrix (ATM) using the elaborated ...
Software engineering ontologies categorization

Sydorov, N.A.; Sydorova, N.N.; Mendzebrovsky, I.B. (Проблеми програмування, 2018)

Software engineering is an own scientific and practice aria with an own structure, terminology, products, processes and resources. The software product is a knowledge-based product and it is the result of the knowledge-based ...
Tete-A-Tete Project: software engineering tools supporting understanding

Hrytsay, V.P.; Zakhariya, L.M. (Проблеми програмування, 2012)

Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development ...
Traversal of arbitrary sequences of UCM symbolic transitions for test generation

Guba, A.A. (Проблеми програмування, 2014)

The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space ...
Use of metods of algebraic programming for the formal verification of legal acts

Peschanenko, V.; Poltorackiy, M. (Проблеми програмування, 2018)

This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a ...
АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу

Антонов, В.М.; Антонова-Рафі, Ю.В. (2010)

Робота присвячена розгляду питань теорії і практики кіберакмеологічного підходу до управління високопродуктивними когнітологічними автоматизованими робочими місцями (АРМ), який полягає у широкому використанні комп‟ютерних ...
Вдосконалення організації даних об′єктних прикладних програмних систем як метод підвищення життєздатності

Федоров, І.В. (2006)

У роботі розглянуто актуальну проблему забезпечення життєздатності прикладних програмних систем. Для більш економного і збалансованого використання зовнішньої пам’яті пропонується нетрадиційна структура даних, яка дозволяє ...
Визначення предмету – програмна інженерія

Лавріщева, К.М. (2008)

Запропоновано нове визначення програмної інженерії, як наукової, інженерної і виробничій дисципліни. Дається визначення базових понять, об’єктів, процесів і змісту цих дисциплін. Наведені теоретичні наробки для об’єктного ...
Визуальное моделирование сложного программного обеспечения интернет узла

Меренков, А.Ю. (2006)

Представлена модель иерархической структуры программного обеспечения Интернет узла. Проведен анализ и оценка возможности применения визуального моделирования для задач этого класса. Приведены примеры визуального моделирования ...
Генерация тестовых сценариев на основе формальной модели

Летичевский, А.А.; Колчин, А.В. (2010)

Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными ...
Графическое программирование в управлении динамикой моделирования сложных процессов

Ластовченко, М.М. (2008)

Рассмотрены основные требования пользователя к графической программной среде, которая управляет моделированием сложных систем. Также анализируются методы реализации UML алгоритмов такой среды.
Життєздатні програмні системи. Концептуалізація підходу до автоматизації систем організаційного керування

Ігнатенко, П.П. (2006)

Розглянуто концепцію нового підходу до створення життєздатних прикладних програмних систем, що автоматизують системи організаційного керування, який базується на принципах та основних положеннях програмної інженерії.
Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем

Андон, П.І.; Слабоспицька, О.О. (Проблеми програмування, 2017)

Зафіксовано основні проблеми розроблення сучасних прикладних застосунків. Проаналізовано особливості їх постановок у парадигмах компонентного та сервісного програмування. Підсумовано результати фахівців ІПС НАНУ з опрацювання ...
Здоровьесберегающие технологии и компьютерные системы в современном человековедении для рациональной организации жизненного цикла человека

Кузьмина, К.И.; Сёмик, Т.М. (Проблеми програмування, 2017)

Основная цель работы – очертить инновационные перспективы в теоретико-эмпирическом исследовании личности, ее целостности, системности, динамичности, ритмологичности, междисциплинарности и широком использовании этих знаний ...
Инженерия качества процессов производства программных систем с помощью сетей Петри

Матвеева, Л.Е. (2010)

Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя ...
Ін’єкція функціональних залежностей у контейнері інверсії керування

Глибовець, М.М. (Проблеми програмування, 2014)

У статті розглянуто використання функціональних інтерфейсів для зменшення зв’язності в компонентних ОО-системах та підвищення рівня повторного використання компонентів. Запропоновано і реалізовано механізм ін’єкції ...

Результати 1-20 з 76

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за темою "Методи та засоби програмної інженерії"

Репозиторій DSpace/Manakin

Перегляд за темою "Методи та засоби програмної інженерії"

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис