Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.052
Issue:1 (71)
MODIFICATION OF AUTOMATA PROGRAMS
Annotation
The method of automata-based programs modification is described in the paper that allows decreasing the number of changes which may lead to error appearance. The method is based on automata refactoring – sequence of small equivalent modifications keeping behavior. A number of automata refactorings is suggested which extends a list of standard refactorings on automata-based programming case.
Keywords
Постоянный URL
Articles in current issue
- THEORETICAL RESEARCH OF CONCAVE TRANSMISSION HOLOGRAM DIFFRACTION GRATING PROPERTIES
- DIFFRACTION CONTROL SCHEME OF OBJECT DISPLACEMENTS WITH THE VARIABLE SCALE OF FOURIER SPECTRUM
- DIFFRACTION OF ONE-PERIOD TERAHERTZ ELECTROMAGNETIC WAVES WITH GAUSSIAN TRANSVERSAL DISTRIBUTION
- ON THE CENTER OF GRAVITY MOVEMENT AND DISPERSIVE SPREADING OF THE INITIAL SINGLE-PERIOD OPTICAL PULSE IN THE TRANSPARENT DIELECTRIC MEDIA
- PULSE TERAHERTZ REFLECTOMETER
- WAYS OF INCREASING LOAD CAPACITY AND DURABILITY OF DOMESTIC PLANETARY REDUCERS
- CONDITIONAL CONTROLLED PHASE SHIFT OPERATION FOR QUANTUM STATES OF ELECTROMAGNETIC FIELD
- OUTPUT CONTROL OF LINEAR PARAMETRICALLY UNCERTAIN OBJECT IN CONDITIONS OF DISTURBANCES AND NEGLECTED DYNAMICS
- INTELLIGENT INFORMATION SYSTEMS OF MAGNETIC MEASUREMENTS
- MANY-PARTICLES STATES IN CURVED LAYERED NANOSTRUCTURES
- PORTFOLIO OF ORDERS UNDER EXPERT SYSTEM CONTROL
- SIMULATION MODEL CREATION OF THE ASSEMBLY LINE WITH DELMIA SYSTEM
- REALIZATION OF THE RADIAL BASIC NEURAL NETWORK ON MASSIVE PARALLEL GPU
- NAVIGATION METHOD THROUGH THE TEXT OF THE DOCUMENT BY ITS CONTENT AUTOMATIC PROCESSING
- CLUSTERS OPTIMISATION WITH THE LIMITED AVAILABILITY OF CLUSTERS GROUPS
- PSEUDOREGULAR CODE SCALES FOR DIGITAL ANGULAR TRANSDUCERS
- DEVELOPMENT OF INTEGRATED NOISE REDUCTION ALGORITHM IN THE VOICE CHANNEL OF CELL COMMUNICATION SYSTEMS FOR ASIC
- PROBLEMS OF EFFICIENT USE OF NETWORK SERVICES
- TECHNIQUE OF DATA ASSEMBLAGE AND PROCESSING, RECEIVED IN 3D SCANNING PROCESS
- MAKING OF PROBES FOR SCANNING PROBE MICROSCOPE FROM GLASS CAPILLARY AND THEIR ATTESTATION
- INFORMATION SECURITY IN CLOUD COMPUTING: PROBLEMS AND PROSPECTS
- LEGO MINDSTORMS NXT FOR TEACHING THE PRINCIPLES OF ADAPTIVE CONTROL THEORY TO STUDENTS
- METHODOLOGY OF IMMERSIVE LEARNING ENVIRONMENT SIMULATOR DESIGN
- ESTIMATION OF THE FINAL OLYMPIC STAGES PARTICIPANTS’ NUMBER
- CONCEPTUAL ASPECTS OF BUSINESS INFORMATIZATION CONTROL SYSTEM
- DEVELOPMENT OF STATE REGULATION OF ENTERPRISE ACTIVITY IN TRADE SPHERE
- CASCADE SCHEME FOR HARMONIC SIGNAL FREQUENCY IDENTIFICATION
- B-SPLINES METHOD APPLICATION FOR CALCULATION OF X-SPLITTERS, MANUFACTURED BY DIFFUSION OF TITANIUM IN THE SUBSTRATE OF LITHIUM NIOBATE
- METHODS AND TECHNOLOGIES FOR COMPLEX INFORMATION SUPPORT OF INNOVATION LIFE-CYCLE
- TWO-LENS STUCK OBJECTIVES WITH AN ASPHERIC SURFACE OF THE SECOND ORDER
- RELIABILITY INCREASE METHOD OF ELASTIC SENSING ELEMENTS OF CONTROL SYSTEMS AND AUTOMATION