Mois : septembre 2024

Date à ne pas manquer : 17-19 octobre 2024 #langdev2024

Posted on by admin

Vous utilisez des outils d’ingénierie basés sur des langages spécifiques au domaine, SysML, UML, Archimate, BPMN… ou souhaitez développer des outils d’ingénierie internes. Vous voulez comprendre les bases techniques et théoriques de vos applications existantes ou rêvées. Qu’elles puissent être améliorées, interfacées, modifiées ou non ! Alors il y a un endroit que vous devez Read more about Date à ne pas manquer : 17-19 octobre 2024 #langdev2024[…]

Comment prouver les propriétés comportementales d’un modèle arKItect avec des méthodes formelles ?

Posted on by admin

L’événement communautaire TLA+ est un forum où les praticiens et les chercheurs intéressés par l’utilisation et le développement du langage de spécification TLA+ et de ses outils se rencontrent et discutent. Andrew Samokish donnera une présentation le mardi 10 septembre 2024 au TLA+ Community Event 2024 à Milano, Italie (16h20) sur une approche basée sur Read more about Comment prouver les propriétés comportementales d’un modèle arKItect avec des méthodes formelles ?[…]