Ads
    Related conference
  1. ATLAS CHRONICLE: DEVELOPMENT AND VERIFICATION OF A SYSTEM FOR PROCEDURAL GENERATION OF STORY-DRIVEN GAMES
  2. COVERAGE DRIVEN VERIFICATION OF I2C PROTOCOL USING SYSTEM VERILOG
  3. IMPLEMENTATION OF L-SYSTEM IN PROCEDURAL CITY GENERATION USING JAVA
  4. Basic principles of story development of a game project within the framework of game design. Archetypes in the plot of computer and video games
  5. Comparative Study of Test Driven Development TDD , Behavior Driven Development BDD and Acceptance Test-Driven Development ATDD
  6. THE GENERAL CHARACTERISTICS OF EXTERNAL MANIFESTATION OF PROCEDURAL COMPONENT VERIFICATION OF DECISIONS BY DISCUSSION AS FUNDAMENTAL PRINCIPLE OF DECISION-MAKING BY THE PARLIAMENT OF UKRAINE
  7. Design of a robust verification environment for AMBA AHB System in Universal Verification Methodology
  8. ONTOLOGY-DRIVEN PUBLICATIONS SUB-ACCOUNTING SYSTEM AS AN ELEMENT OF DECISION SUPPORT SYSTEM FOR EDUCATIONAL INSTITUTION STRATEGY DEVELOPMENT
  9. THE GOSPEL TEXT IN DESCRIBING THE HISTORY OF THE KIEVAN RULE IN THE 12TH CENTURY (ACCORDING TO THE HEGUMEN MOISEI'S CHRONICLE AND THE NIKON CHRONICLE)
  10. Verification of event-driven software systems using the specification language of cooperating automata objects