Boris Pozdneev

Algebraic models of digital system design debugging decomposition

Due to the complexity and large dimensions of the task of digital system design debugging decomposition by method of modeling as a whole, algebraic models of decomposition methods are proposed, namely, methods of vertical and horizontal structure decomposition, functional decomposition, decomposition based on error types. An algebraic model of the digital systems software is presented. The software is considered as a semi group of operators.

Smart University Management Based on Process Approach and IT-Standards

The document describes state of art approaches, best practices and standards for the development of the Smart University Management System. It defines fundamental meaning of the Strategic Thinking, Risk Management and Knowledge Management in connection with the new version of the standard ISO 9001:2015. It presents a process model of the university system management that accounts for the specific features of the development of the system of electronic learning and forming of integrated Smart University environment based on fundamental IT standards and the set of standards (Information Technology for Learning, Education and Training). The implementation of the presented approach guarantees the development of the Smart University as an important component of the Smart Society.