👉Nous sommes très heureux de vous informer qu’arKItect intègre désormais des diagrammes et des points de vue 2D. Bien que de nombreuses exigences fonctionnelles et non fonctionnelles n’aient rien à voir avec les contraintes géométriques, certaines exigences le font et la prise en charge des diagrammes géométriques rend leur description et leur vérification beaucoup plus Read more about arKItect : des diagrammes et des points de vue 2D[…]

📢 Nous sommes heureux de vous informer qu’Andrei Samokish fera une présentation à JFLA 2023. Il présentera une traduction des modèles arKItect en prouveur de théorème de Coq. Cela permet de spécifier et de démontrer formellement les propriétés des modèles de système arKItect avec un environnement formel de premier ordre. Nous nous concentrons ici sur Read more about JFLA 2023[…]

📢 Très heureux d’introduire le modèle de processus, y compris la portée de 15288 et la gestion de projet et tous les processus d’architecture d’entreprise autour. Nous étudions le sujet de la norme ISO 15288/ISO15289 depuis longtemps. Pour ceux qui ne le savent pas, ISO 15289 décrit tous les éléments/documents échangés entre les processus du cycle Read more about La norme ISO 15288/ISO15289[…]