Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Methods of traversal of high-level multi-threaded models formalized in the Use Case Map computer language. Advantages and disadvantages of this approach compared to existing ones. Generation character lines that are used to test software systems.
Подобные документы
- 51. CASE-технологии
Определение термина case-средств - программных средств, поддерживающих процессы создания и сопровождения информационных систем. Характеристика основных преимуществ от использования приложения. Ознакомление с программными продуктами Computer Associates.
контрольная работа, добавлен 17.01.2015 Assistive computer programs are one of the most invaluable technologies for people who are blind: category of inclusive software can be effectively utilized for both educational purposes, enabling its users to work with windowed graphical user interfaces.
статья, добавлен 15.09.2020Practical acquaintance with the capabilities, configuration of firewalls. Information security in computer systems. Identify and control applications. The addition of security devices. Regular inspections of all users, regardless of location or device.
лабораторная работа, добавлен 17.03.2016The main tasks of artificial intelligence: creation and work in systems of symbolic calculations, systems with fuzzy logic, cognitive psychology, understanding of natural language, creation of expert systems. Its importance in business processes.
статья, добавлен 17.12.2022The regression models of software project duration based on project effort. Equations of confidence interval of a non-linear regression model of software project duration based on Johnson transformation for the personal computer development platform.
статья, добавлен 22.03.2016An integrated approach to the study of different kinds of virus attacks that are launched against wireless networks and computer systems. Characteristics of certificate programs provide protective mechanisms and practical tools for information security.
книга, добавлен 08.03.2014Hardware-in-the-loop test bench for testing and verification navigational equipment structure is investigated. Equation for determination hardware-in-the-loop test bench for testing and verification navigational equipment effectiveness is determined.
статья, добавлен 26.06.2016The determination of the level of security provided by the finalists is largely guesswork, as in the case of any unbroken cryptosystem. Software implementation languages. General security. Software speeds for encryption, decryption, and key setup.
книга, добавлен 08.03.2014Natural Language Processing as a subfield of computer science and artificial intelligence is concerned with interactions between computers and human languages. The purpose of this paper, is to outline the linguistic and NLP methods for textual processing.
статья, добавлен 18.05.2022Theory and tools communication. Effect of employees at computer system. The importance of accurate pronunciation and eye contact. Gestures and body language programs. Back channels and turn-taking. Multiplexing – several topics in one utterance.
лекция, добавлен 28.12.2013The concept of e-learning, its advantages, flexibility of time and place in comparison with formal learning. Creation of a hybrid information system that integrates computer vision and machine learning technologies for visual and interactive systems.
статья, добавлен 10.05.2018Development of smart contracts based on business rules using natural language processing as an object of research. Development of software components for decentralized systems by building smart contracts from business rules written in natural language.
статья, добавлен 02.10.2024Software system documentation is the most critical during maintenance tasks, where tremendous amounts of time are spend understanding the software and its documentation. The status of current documentation practices as well as a view on its quality.
статья, добавлен 23.02.2016Процесс применимости технологии Test-Driven Development, сущность моделирования сетями Петри, их верификация. Характеристика и предназначение функции загрузки сети из файла, описание и отличительные черты методов выявления, разработки бизнес процессов.
дипломная работа, добавлен 27.08.2016Characteristics of the SoLIM approach and the specifics of its use through available software platforms. Implementation of digital soil mapping within the SoLIM approach. Theoretical justification and availability of software platforms for SoLIM.
контрольная работа, добавлен 22.03.2021The computer based mechanism which lead to the identification of lines with Romanian chromatic words as the first step in the process of elaboration of a dictionary of poetic meanings of colors. The cooperation of specialists from different fields such.
статья, добавлен 23.02.2016Levels of programming support tools. Elements of windowing systems. Possible software architectures. Using toolkits for objects interaction. Paradigms for programming interfaces in applications. Implementation of user interface management systems (UIMS).
презентация, добавлен 28.12.2013Antivirus is used to prevent, detect and remove malware, including computer viruses and worms. Such programs may also prevent and remove adware, spyware and other forms of malware. Identification methods: signature based detection and file emulation.
доклад, добавлен 04.12.2011The methods for adaptive, knowledge-based learning, such as online incremental feature selection, spiking neural networks, adaptive data and model integration, and artificial life systems, particle swarm optimisation, ensembles of evolving systems.
книга, добавлен 09.04.2013Comprehensive consideration of the relevance of password use. Analysis of current password statistics, detailed study of methods for hacking accounts. Description of alternative authentication methods and additional steps of multi-factor authentication.
статья, добавлен 20.03.2024Stages of the development of computer technologies for compilation of dictionaries. Determination of the prerequisites that led to the emergence of such a direction in linguistics as computer lexicography. The tasks of the Language and Information Fund.
статья, добавлен 04.09.2024- 72. RSA Labs FAQ 4.0
Some of the more popular techniques in cryptography. The advantages and disadvantages of public-key cryptography compared with secret-key cryptography. Digital signature applications exportable from the United States. Proactive security techniques.
книга, добавлен 08.03.2014 Using Duraton-Overman test to study detailed location patterns of the forestry and agricultural industry in Russia. Data analysis package. The first article on geocoding. Methods for measuring localization. Distance-based localization measurement.
курсовая работа, добавлен 11.02.2017Вatch generation of web pages, local interaction. Non-linear structure: blocks of text, links between pages create a mesh or network, users follow their own path through information. Delivery technology: on the computer, on the web, on the move.
презентация, добавлен 28.12.2013Rubik’s cube 3D model. Hardware and software systems for rubik’s cube solving. Designing and developing application for assembling a rubik's cube. Preventing wrong moves algorithm. Introduction to group theory and permutation puzzles. Computer vision.
дипломная работа, добавлен 01.12.2019