فكان الجزء اﻷول بشأن النهوج الدقيقة لوضع برامج الحاسوب الصناعية - وهو يبين طرق استخدام التقنيات الرياضية لوضع برامج حاسوبية معقدة.
La première était consacrée à la méthode RAISE (Rigorous Approaches to Industrial Software Development), qui permet d’appliquer des techniques mathématiques à la mise au point de logiciels complexes.