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 ?[…]

Nous sommes très fier d’annoncer la release 4.4.3 de notre logiciel client-serveur arKItect. Que vous faisiez appel à la modélisation pour de l’ingénierie système de la gestion de projet ou de l’intégration de données,arKItect 4.4.3 intègre de base tout ce dont vous pouvez rêver pour un modeler ! Ceci comprend: – Adaptabilité à vos propres processus Read more about Nouvelle Release Notes arKItect 4.4.3[…]

Nous sommes très fiers d’annoncer la release 6.3 de notre modèle de données « Systems Engineering Advanced ». Cette version vous permettra de Gérer la configuration d’un groupe d’objets du modèle Formater et générer des documents basés sur ces configurations. Gérer les demandes d’évolution et en faire une analyse d’impact et suivre leur prise en Read more about SEA 6.3 Nouvelle Release Notes[…]

Nous sommes très fiers d’annoncer la release 4.4.3 de notre logiciel client-serveur arKItect. Que vous faisiez appel à la modélisation pour de l’ingénierie système de la gestion de projet ou de l’intégration de données,arKItect 4.4.3 intègre de base tout ce dont vous pouvez rêver pour un modeler ! Ceci comprend: – Adaptabilité à vos propres processus Read more about Nouvelle Release Notes arKItect 4.4.3[…]