Worldlex Wiki Institut de programmation système
L' Institut de programmation système (ISP) de l' Académie des sciences de Russie (RAS ; : Институт системного программирования ) a été fondé le 25 janvier 1994 à partir des dépa...
Département d'architecture des systèmes informatiques (CSA) : Créé en 1994. Les principales orientations des activités de recherche du département ont été liées à la mise en œuvre d'architectures de réseau et de plateformes matérielles pour les réseaux locaux et mondiaux.
Département des systèmes d'information (MODIS) : Les principales activités du département : SGBD relationnel multi-utilisateurs entièrement fonctionnel , technologie basée sur CORBA pour les systèmes d'information distribués, technologie basée sur XML pour l'intégration de données hétérogènes, base de données XML native Sedna , exploration de texte et recherche d'informations .
Département des outils de développement logiciel : L'objectif principal est la création d'outils prenant en charge les langages de spécification et de modélisation formels et facilitant le processus de développement.
Département de génie logiciel (SE) : Le spectre de la recherche scientifique du département couvre un large éventail de domaines du génie logiciel , notamment l'analyse des programmes et de leurs modèles, la vérification et la validation, les questions de normalisation, y compris le développement de normes logicielles ouvertes, divers aspects du développement, de la maintenance et de l'évolution des logiciels, ainsi que les méthodes d'enseignement et de déploiement des technologies avancées.
Département de programmation système : Les activités de recherche du département portent sur l' analyse statique des programmes , l'exploration de l'architecture à l'aide du code source et la visualisation du modèle d'architecture logicielle, la modélisation de l'architecture et la génération de code à l'aide du modèle logiciel.
Département d'informatique théorique : Les membres du département sont des spécialistes de différentes branches des mathématiques et de l'informatique théorique : combinatoire , complexité des calculs , méthodes probabilistes, logique mathématique , méthodes formelles d'analyse de programmes, programmation logique , cryptographie mathématique .
Conseils
Conseil académique : La principale tâche du conseil est la coordination des programmes de recherche et scientifiques visant à prioriser de nouvelles orientations importantes.
Conseil de thèse : Faisant partie du Conseil de thèse de l'Institut D.002.087.01, il examine les demandes de diplômes scientifiques de candidat et de docteur en sciences physiques, mathématiques et techniques selon la norme de qualification 05.13.11 « Support mathématique et de programme pour les ordinateurs, leurs systèmes et leurs réseaux ».
Centres
Centre de vérification du système d'exploitation Linux : La mission du Centre est de promouvoir la plateforme Linux en garantissant sa haute fiabilité et sa compatibilité grâce à l'utilisation de normes ouvertes et de technologies de test et de vérification avancées.
Centre de compétences en calcul parallèle et distribué : L'objectif du centre est d'accroître significativement l'utilisation du calcul parallèle et distribué dans les domaines de l'éducation, de la recherche et des activités de production des organisations russes.
Plus d articles de Worldlex Wiki
Revenez a l index pour explorer davantage de pages sur l histoire, la science, la culture, la geographie et la societe en francais.
Explorer l index