Young informatics - 2006

Collection of papers of graduate students and young scientists
Issue 2
Novosibirsk 2006

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.

The articles are available in Russian only as PDF document

Timed configuration structures: equivalence notions and action refinement

Human-machine model of language of thinking

Beloglazov D.M.

Detection of feature interaction in telephone networks using colored Petri nets

2D- and 3D-visualization of a solution set in the UniCalc system

Formal model of the UML class diagram

Translation of a language of executable specifications of distributed systems SDL into a language of executable specifications REAL

Automatic recovery of program business logic

Gribovskaya N.S.

Open maps and timed testing equivalence for timed automata models

Demin A.V., Vityaev E.E.

The model of adaptive behavior based on the semantic probabilistic inference

Kal'chenko V.V.

XML algebra for XQuery

Formal model of the basic concepts of the programming language C#

You are reporting a typo in the following text:

Simply click the "Send typo report" button to complete the report. You can also include a comment.