Educational Software Audit

This article describes an audit in the IT field, namely the audit of software using the example of Kazan (Volga Region) Federal University. The most significant goal of the audit is to discover the full list of programs installed on the enterprise's machines. This list should include all software products without exception: both used by employees to solve their daily questions, and those programs that were not used at all, but simply downloaded for interest. It is noted, including incorrectly deleted software that has retained its fingerprints in the system. In the work, a comparison was made of the most well-known and used products of Microsoft System Center Configuration Manager and Kaspersky Security Center and a comparative integration of all the information that collects these funds was performed. Collecting and processing data on the software installed on the machines of an educational institution is a time-consuming task. The system of automated software audit connects remotely to computers on the local network and accumulates data about the software installed on them. To improve this process, a program with the necessary interface has been written, which allows obtaining a database that contains data about all computers with the software installed on them. This will further make it possible to formulate recommendations for the further development of the computer park on the example of KPU

Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)

Bidirectional transformations bx are a mechanism for maintaining the consistency of two (or more) related sources of information. Researchers from many different areas of computer science including databases (DB), graph transformations (GT), software engineering (SE), and programming languages (PL) are actively investigating the use of bx to solve a diverse set of problems. Although researchers have been actively working on bidirectional transformations in the above mentioned communities for many years already, there has been very little cross-discipline interaction and cooperation so far. The purpose of a first International Meeting on Bidirectional Transformations (GRACE-BX), held in December 2008 near Tokyo, was therefore to bring together international elites, promising young researchers, and leading practitioners to share problems, discuss solutions, and open a dialogue towards understanding the common underpinnings of bx in all these areas. While the GRACE-BX meeting provided a starting point for exchanging ideas in different communities and confirmed our believe that there is a considerable overlap of studied problems and developed solutions in the identified communities, the Dagstuhl Seminar 11031 on ``Bidirectional Transformations\u27\u27 also aimed at providing a place for working together to define a common vocabulary of terms and desirable properties of bidirectional transformations, develop a suite of benchmarks, solve some challenging problems, and launch joint efforts to form a living bx community of cooperating experts across the identified subdisciplines. This report documents the program and the outcomes of Dagstuhl Seminar 11031 with abstracts of tutorials, working groups, and presentations on specific research topics

Fault isolation detection expert (FIDEX). Part 1: Expert system diagnostics for a 30/20 Gigahertz satellite transponder

LeRC has recently completed the design of a Ka-band satellite transponder system, as part of the Advanced Communication Technology Satellite (ACTS) System. To enhance the reliability of this satellite, NASA funded the University of Akron to explore the application of an expert system to provide the transponder with an autonomous diagnosis capability. The results of this research was the development of a prototype diagnosis expert system called FIDEX (fault-isolation and diagnosis expert). FIDEX is a frame-based expert system that was developed in the NEXPERT Object development environment by Neuron Data, Inc. It is a MicroSoft Windows version 3.0 application, and was designed to operate on an Intel i80386 based personal computer system