Example image of eyePlorer eyePlorer map for 'Automata-based programming (Shalyto's approach)': Finite-state machine Computer software Graph (mathematics) Anatoly Shalyto Switch-technology Control theory Feedback Embedded system Real-time computing Europe Russia Synchronous programming language Event-driven programming State (computer science) Isomorphism C (programming language) High-level programming language Operating system Computer memory Programmable logic controller Subroutine Real-time operating system Procedural programming Glossary of graph theory Foundation for Open Project Documentation Turing machine Code refactoring Saint Petersburg State University of Information Technologies, Mechanics and Optics Eclipse (software) Java (programming language) Open source software Unified Modeling Language Executable UML Communicating sequential processes List of important publications in computer science