1. Ontology-based data access systems

   • M. R. Kogalovsky

   OriginalPaper 25 July 2012 Pages: 167 - 182

2. ECMA-335 static formal semantics

   • V. A. Vasenin
   • M. A. Krivchikov

   OriginalPaper 25 July 2012 Pages: 183 - 188

3. Solution of parallel computation problem based on “space-time” concept

   • A. I. Ilyushin
   • M. A. Olenin
   • S. A. Vasil’ev

   OriginalPaper 25 July 2012 Pages: 189 - 200

4. FSM-based testing from user defined faults adapted to incremental and mutation testing

   • K. A. El-Fakih
   • R. Dorofeeva
   • G. V. Bochmann

   OriginalPaper 25 July 2012 Pages: 201 - 209

5. Automation of the construction of models of normal program behavior

   • A. Sapozhnikov

   OriginalPaper 25 July 2012 Pages: 210 - 217