Developing with ArKItect is all about efficiency: let’s compare the benefits in terms of speed and costs with ChatGPT.
And you, how much time could you save with ArKItect? ⏱️ Précédent Suivant
Author: admin
2024 was a year of progress 🎉
Dear network, The Knowledge Inside team wishes you all the best for the New Year! 2024 has been a year rich in progress, here are a few highlights: 🌟 Artificial Intelligence: between disruption and opportunity. AI continues to spark debate, about its impact, benefits and risks. At Knowledge Inside, we see some very powerful springs Read more about 2024 was a year of progress 🎉[…]
The video of our talk at Langdev 24 in October
Here is the video of our talk at Langdev 24 in October. Many thanks and to Pedro Molina for organization and great idea to record the talks. The presentation is a 20 minutes tour of arKItect technology over the last 20 years. Mostly focusing on what makes our technology unique and different from OMG EMF/GMF Read more about The video of our talk at Langdev 24 in October[…]
Save the date: 17-19 October 2024 #langdev2024
Save the date: 17-19 October 2024 #langdev2024 You use engineering tools based on Domain specific languages, SysML, UML, Archimate, BPMN… or want to develop internal engineering tools. You want to understand the technical and theoretical basis behind your existing or dreamed applications. Whether they can improve, interface, change, or not! Then there is one place Read more about Save the date: 17-19 October 2024 #langdev2024[…]
How to prove the behavioural properties of an arKItect model with formal methods?
The TLA+ Community Event serves as a forum where practitioners and researchers interested in the use and further development of the TLA+ specification language and its tools meet and discuss. Andrew Samokish will give a presentation the Tuesday, September 10, 2024 at TLA+ Community Event 2024 at Milano, Italy (4.20 pm) on a model-based approach for Read more about How to prove the behavioural properties of an arKItect model with formal methods?[…]
New release arKItect 6.0
We are very pleased to announce arKItect 6.0 release with several major improvements: Multi-language support:○ French version now available○ Quick integration of other languages possible (within days)Python 3 API:○ Fully operational, replacing Python 2 API○ Updated Qt version○ Seamless integration with new browsers and Python 3 libraries○ Reminder: API covers all user actions in arKItect○ Read more about New release arKItect 6.0[…]
How to use TLA+ with arKITect
How to use TLA+ with arKITect It’s now possible to interface arKItect with formal proof environements. Today we talk about TLA+ interface. There is now the possibility to configure a TLA+ export from an arKItect model. This can help validating your requirements early in the design process. TLA+ is a high-level language for modeling programs Read more about How to use TLA+ with arKITect[…]
New release 5.1 arKItect
We are very proud to announce release 5.1, the new version of arKItect. The new arKItect release includes new features that will allow two very important new capabilities with arKItect platform: You can now design your system from functions to implantation in arKItect: 2D views capability allows managing geometric properties of objects, determine dimensions of Read more about New release 5.1 arKItect[…]
arKItect now integrates 2D diagrams and viewpoints
👉We are very happy to inform you that 𝐚𝐫𝐊𝐈𝐭𝐞𝐜𝐭 𝐧𝐨𝐰 𝐢𝐧𝐭𝐞𝐠𝐫𝐚𝐭𝐞𝐬 𝟐𝐃 𝐝𝐢𝐚𝐠𝐫𝐚𝐦𝐬 𝐚𝐧𝐝 𝐯𝐢𝐞𝐰𝐩𝐨𝐢𝐧𝐭𝐬. Although many functional and non functional requirements have nothing to do with geometric constraints, some requirements do and support of geometric diagrams makes their description and verification much easier. ✔️ About unique arKItect user experience, a reminder ✔️ About ability Read more about arKItect now integrates 2D diagrams and viewpoints[…]