Category: News

Save the date: 17-19 October 2024 #langdev2024

Posted on by admin

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?

Posted on by admin

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

Our presentation at the conference INCOSE IS 2022

Posted on by admin

๐Ÿ”Š Come and listen to our presentation ยซ ๐‡๐จ๐ฐ ๐œ๐š๐ง ๐ฐ๐ž ๐Ÿ๐š๐ข๐ญ๐ก๐Ÿ๐ฎ๐ฅ๐ฅ๐ฒ ๐ฆ๐จ๐๐ž๐ฅ ๐ฌ๐ฒ๐ฌ๐ญ๐ž๐ฆ๐ฌ ๐ฆ๐š๐๐ž ๐จ๐Ÿ ๐ฆ๐ข๐ฅ๐ฅ๐ข๐จ๐ง๐ฌ ๐จ๐Ÿ ๐ฉ๐š๐ซ๐ญ๐ฌ ? ยป at the next conference ๐ˆ๐๐‚๐Ž๐’๐„ ๐ˆ๐’ ๐Ÿ๐ŸŽ๐Ÿ๐Ÿ ! ๐Ÿ‘‰ Find on page 107 the abstract of Samuel Boutin’s presentation : hereย  ๐Ÿ“ Join us for the conference ๐ˆ๐๐‚๐Ž๐’๐„ ๐ˆ๐’ ๐Ÿ๐ŸŽ๐Ÿ๐Ÿ and find all the Read more about Our presentation at the conference INCOSE IS 2022[…]

SEA 6.3 New Release Notes

Posted on by admin

We are very proud to announce the 6.3 release of our data modelยซ Systems Engineering Advanced ยป. This version will allow you to: Manage the configuration of a group of model objects. Format and generate documents based on these configurations. Manage change requests and make an impact analysis and monitor their consideration. Manage the messaging Read more about SEA 6.3 New Release Notes[…]

New Release Notes arKItect 4.4.3

Posted on by admin

We are very proud to announce arKItect 4.4.3 release! Whether you use modeling for systems engineering, project management or data integration, our modeler provides all the features you could dream of off the shelf. Have a look at the list! This includes: Adaptability to your own processes: flexible data model and viewpoints,  generative views Capability Read more about New Release Notes arKItect 4.4.3[…]