Qui je suis
Bonjour, moi c’est Joas. J’aime tout ce qui a trait au développement logiciel, surtout les architectures logicielles, le développement Web, la conception d’expériences utilisateur (UX) et les méthodes formelles. Et j’ai créé ce blogue pour les personnes intéressées par ces sujets.
Les méthodes formelles sont en particulier peu connues et répandues. Elles sont en général appliquées pendant la construction de logiciels critiques liés au transport (aéronautique, ferroviaire) ou à la finance, car une erreur aurait des conséquences désastreuses sur la vie ou la sécurité des personnes, ou sur la capacité d’une entreprise à poursuivre ses activités. Les logiciels qui interviennent par exemple dans le pilotage automatique d’un avion ou la conduite sans conducteur d’un train, métro, tramway ou véhicule sont critiques.
Le formalisme introduit par les méthodes formelles fait souvent fuir les non-initiés. Mais ici, tout sera facile, pratique et intéressant.
Une partie du blogue est dédiée au Christ et à son message : un sujet qui a, selon moi, mille fois plus de valeur que le développement logiciel. Mais je ne forcerai pas les lecteurs à s’y intéresser.
Bibliographie
Boileau, Nicolas. Art poétique. Édité par Eugène Géruzez. Paris, France : Hachette, . Disponible en ligne sur Gallica — dernier accès le .
Crédits photographiques
Andrew Mayovskyy (nom d’utilisateur sur Shutterstock). Magnifique vue du lac Blanc, en France, en plein été et avec le mont Blanc à l’arrière-plan. n.d. Disponible en ligne sur Shutterstock (numéro de référence : 583565206) — dernier accès le . Photo mise en avant.