🎉 Meilleurs vœux pour 2025 ! 🎉 Cher réseau, L’équipe de Knowledge Inside vous adresse ses meilleurs vœux pour cette nouvelle année! 2024 a été une année riche en progrès, voici quelques points marquants : 🌟 L’Intelligence Artificielle : entre disruption et opportunitésL’IA continue de susciter des débats, sur son impact, ses bénéfices et ses Read more about 2024 a été riche en progrès[…]
Voici la vidéo de notre conférence à Langdev 24 en octobre. Un grand merci à Pedro Molina pour l’organisation et la bonne idée d’enregistrer les conférences. La présentation est une visite de 20 minutes de la technologie arKItect au cours des 20 dernières années. Nous nous concentrons principalement sur ce qui rend notre technologie unique Read more about La vidéo de notre conférence à Langdev Octobre 2024[…]
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[…]
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 heureux d’annoncer la sortie de la version 6.0 d’arKItect avec plusieurs améliorations majeures : Support multi-langues :○ Version française maintenant disponible○ Intégration rapide d’autres langues possible (d’ici quelques jours)API Python 3 :○ Complètement opérationnelle, remplaçant l’API Python 2○ Version Qt mise à jour○ Intégration transparente avec les nouveaux navigateurs et les bibliothèques Read more about Nouvelle release arKItect 6.0[…]
Comment utiliser TLA+ avec arKITect Il est maintenant possible d’interfacer arKItect avec des environnements de preuve formelle. Aujourd’hui nous parlons de l’interface TLA+. Il y a maintenant la possibilité de configurer un export TLA+ à partir d’un modèle arKItect. Cela peut aider à valider vos exigences au début du processus de conception.TLA+ est un langage Read more about Comment utiliser TLA+ avec arKITect[…]
Nous sommes très fiers d’annoncer la release 5.1, nouvelle version d’arKItect. Elle comprend de nouvelles fonctionnalités qui permettront deux nouvelles capacités très importantes avec la plateforme arKItect : Vous pouvez maintenant concevoir votre système depuis les fonctions jusqu’à l’implantation dans arKItect : La capacité de vues 2D permet de gérer les propriétés géométriques des objets, Read more about Nouvelle release 5.1 arKItect[…]
👉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[…]