Connaissez-vous les atouts d’arKItect dans le domaine de la modélisation ? 👉Découvrez la comparaison faite par ChatGPT avec les logiciels concurrents. Précédent Suivant
⚡Initier un modèle avec l’IA ou interagir avec lui pendant la modélisation simplifie et accélère les tâches, contrôle, complète et enrichit le modèle formel. Intégrez vous déjà l’IA dans la création de vos modèles❓ Précédent Suivant
La modélisation ou la description des systèmes est basée sur des hiérarchies, les « Breakdown Structures » : PBS, WBS, FBS, SBS, OBS … 🛠️ Quel outil privilégier pour gérer efficacement ces hiérarchies dans vos projets ? Êtes-vous d’accord avec l’analyse de ChatGPT ? Précédent Suivant
Question à ChatGPT : Quelles sont les plateformes de développement les plus adaptés à votre besoin pour digitaliser vos activités métier ? … Précédent Suivant
🎉 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[…]