Collection of papers of graduate students and young scientists
Issue 2
Novosibirsk 2006
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 (2.23 MB)
Papers
Timed configuration structures: equivalence notions and action refinement
Human-machine model of language of thinking
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
Open maps and timed testing equivalence for timed automata models
The model of adaptive behavior based on the semantic probabilistic inference
XML algebra for XQuery
Formal model of the basic concepts of the programming language C#