Amons O. Adaptive technology for computer-aided software development: models, algorithms and means

This dissertation work is devoted to decide problem connected with developing models, methods and facilities of automotive manufacture of object-oriented software data-control system for technical-organizational control objects based on progressive information technologies, control automation and designing experience, computer science achievement. Mathematic model based on Glushkov's system of algorithmic algebras (SAA-schemes), which allows formally determine algorithms with explicit use data in the form of classes and objects developed and investigated in this dissertation work. Object language SAA-schemes to set algorithms and data structure was determined based on this model. Matrix method derivation for clause logics, which differs from well-known methods by using numerical matrix multiplication, is used for getting contradictoriness criteria of clauses set formulated in matrix terms was proposed.