Theories of Programming and Formal Methods

Le livre "Théories de la programmation et méthodes formelles" est un ouvrage collectif publié en l'honneur de He Jifeng à l'occasion de son 70e anniversaire en septembre 2013. Il comprend 24 contributions évaluées par des pairs de chercheurs de premier plan, présentées lors d'un symposium célébratoire à Shanghai, en Chine, dans le cadre du 10e colloque international sur les aspects théoriques de l'informatique (ICTAC 2013). Les contributions couvrent un large éventail de sujets, allant des questions fondamentales et théoriques aux programmes, aux questions systémiques et aux applications. Parmi les thèmes abordés figurent les méthodes formelles, la modélisation des logiciels et des systèmes, la sémantique, les lois de programmation, la spécification et la vérification, ainsi que la logique. He Jifeng est reconnu pour ses travaux pionniers dans les théories de la programmation et les méthodes formelles en ingénierie logicielle, en particulier pour les théories unificatrices de la programmation (UTP).