статья  Use of the "model checking" technique for verification of territorial development programs

• посмотреть текст работы

• полная информация о работе

Подобные документы

• Information security management system of a corporate network

  IS management standards development. The national peculiarities of the IS management standards. The most integrated existent IS management solution. General description of the ISS model. Application of semi-Markov processes in ISS state description.
  
  дипломная работа [2,2 M], добавлен 28.10.2011
  

• Division of the sentence into phrases

  Lists used by Algorithm No 2. Some examples of the performance of Algorithm No 2. Invention of the program of reading, development of efficient algorithm of the program. Application of the programs to any English texts. The actual users of the algorithm.
  
  курсовая работа [19,3 K], добавлен 13.01.2010
  

• Разработка Android приложений

  Архитектура операционной системы Android. Инструменты Android-разработчика. Установка Java Development Kit, Eclipse IDE, Android SDK. Настройка Android Development Tools. Разработка программы для работы с документами и для осуществления оперативной связи.
  
  курсовая работа [2,0 M], добавлен 19.10.2014
  

• Алгоритм. Программа. Этапы решения задач на компьютере

  Основные алгоритмические структуры. Запись алгоритма в словесной форме, в виде блок-схемы. Система команд исполнителя. Язык высокого уровня. Создание программы и её отладка. Интегрированные среды разработки: Integrated Development Environment, IDE.
  
  лекция [61,7 K], добавлен 09.10.2013
  

• Создание тестового стенда на основе системной платы чипсета VIA KT266

  Процессоры Duron на ядре Spitfire (Model 3), Morgan (Model 7), Applebred (Model 8), Mobile Duron Camaro. Схема материнской платы EP-8KHAL+. Микросхема "Северный мост". Звуковой чип ALC201A. Конфигурация системной памяти. Регулятор заглушки шины RT9173.
  
  курсовая работа [3,6 M], добавлен 26.03.2013
  

• Система Primavera

  Модули, входящие в пакет программного обеспечения. Project Menagement, Methodology Management, Portfolio Analysis, Timesheets, myPrimavera, Software Development Kit, ProjectLink. Иерархическая структура Primavera и ее взаимосвязь с программой MS Project.
  
  контрольная работа [9,5 K], добавлен 18.11.2009
  

• Smart House – the house of Future

  History of development. Building Automation System (BMS) and "smart house" systems. Multiroom: how it works and ways to establish. The price of smart house. Excursion to the most expensive smart house in the world. Smart House - friend of elders.
  
  контрольная работа [26,8 K], добавлен 18.10.2011
  

• Development of a computer simulator for air traffic controllers

  Technical methods of supporting. Analysis of airplane accidents. Growth in air traffic. Drop in aircraft accident rates. Causes of accidents. Dispatcher action scripts for emergency situations. Practical implementation of the interface training program.
  
  курсовая работа [334,7 K], добавлен 19.04.2016
  

• Концептуальне та логічне проектування навчальної бази даних "Автотранспортне підприємство"

  Концептуальна модель бази даних, визначення зв’язків між ними, атрибутів сутностей їх доменів. Створення ORM source model та Database model diagram для бази даних "Автотранспортне підприємство". Генерування ddl-скрипта для роботи в СУБД SQL-Server.
  
  курсовая работа [47,3 K], добавлен 17.10.2013
  

• Модель ISO/OSI

  Модель взаимодействия открытых систем Open Systems Interconnection Reference Model. Основные особенности модели ISO/OSI. Характеристики физических сигналов, метод кодирования, способ подключения. Канальный уровень модели ISO/OSI. Передача и прием кадров.
  
  презентация [52,7 K], добавлен 25.10.2013
  

• Algorithmic recognition of the Verb

  Basic assumptions and some facts. Algorithm for automatic recognition of verbal and nominal word groups. Lists of markers used by Algorithm No 1. Text sample processed by the algorithm. Examples of hand checking of the performance of the algorithm.
  
  курсовая работа [22,8 K], добавлен 13.01.2010
  

• Investigation of Firewalls

  Practical acquaintance with the capabilities and configuration of firewalls, their basic principles and types. Block specific IP-address. Files and Folders Integrity Protection firewalls. Development of information security of corporate policy system.
  
  лабораторная работа [3,2 M], добавлен 09.04.2016
  

• Automation of business processes in hospitals

  Technical and economic characteristics of medical institutions. Development of an automation project. Justification of the methods of calculating cost-effectiveness. General information about health and organization safety. Providing electrical safety.
  
  дипломная работа [3,7 M], добавлен 14.05.2014
  

• Организация процесса конструирования программного обеспечения

  Технология конструирования программного обеспечения, надежно и эффективно работающего в реальных компьютерах. Модель быстрой разработки приложений (Rapid Application Development) как один из примеров применения инкрементной стратегии конструирования.
  
  реферат [666,5 K], добавлен 24.06.2009
  

• Разработка программного обеспечения для моделирования комбинационных схем

  Создание электрической схемы проектируемого устройства с помощью графического интерфейса. Улучшение кодовой базы с помощью рефакторинга. Разработка алгоритма работы программы. Использование методики Test driven development, написание тестового покрытия.
  
  курсовая работа [1,3 M], добавлен 15.02.2016
  

• Apple Inc

  American multinational corporation that designs and markets consumer electronics, computer software, and personal computers. Business Strategy Apple Inc. Markets and Distribution. Research and Development. Emerging products – AppleTV, iPad, Ping.
  
  курсовая работа [679,3 K], добавлен 03.01.2012
  

• Процеси управління проектами з розробки програмного забезпечення

  Програмний засіб моніторингу реалізації проектів з побудовою графіків та завданням відхилень. Вибір моделі життєвого циклу розробки додатків Rapid Application Development об'єктно-орієнтованою мовою програмування C# на платформі Microsoft .NET Framework.
  
  дипломная работа [1,4 M], добавлен 11.09.2012
  

• Сервис бронирования столиков в заведениях ZakaZone

  Этапы разработки автоматизированной системы приема и бронирования заказов столиков в заведениях. Анализ среды разработки Android Development Tools. Общая характеристика диаграммы компонентов IOS приложения. Рассмотрение системы контроля версий сервера.
  
  курсовая работа [8,7 M], добавлен 14.05.2014
  

• Electronic competency system development for oil company

  Overview history of company and structure of organization. Characterization of complex tasks and necessity of automation. Database specifications and system security. The calculation of economic efficiency of the project. Safety measures during work.
  
  дипломная работа [1009,6 K], добавлен 09.03.2015
  

• Программный пакет CA ERwin Modeling Suite

  Использование CASE-средств для моделирования деловых процессов; совершенствование проектирования информационных систем с помощью программного пакета CA ERwin Modeling Suite: характеристики, возможности визуализации структуры данных и среды развертывания.
  
  реферат [970,5 K], добавлен 20.03.2012
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к подобным работам