2024 a été riche en progrès

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

La vidéo de notre conférence à Langdev Octobre 2024

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

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

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 ?

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

Nouvelle Release Notes arKItect 4.4.3

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