Author: admin

JFLA 2023

Posted on by admin

๐Ÿ“ขย We are happy to inform you that ๐€๐ง๐๐ซ๐ž๐ข ๐’๐š๐ฆ๐จ๐ค๐ข๐ฌ๐ก will make a presentation at ๐‰๐…๐‹๐€ ๐Ÿ๐ŸŽ๐Ÿ๐Ÿ‘. He will present a translation from arKItect models into Coq theorem prover. This provides the opportunity to specify and demonstrate formally ๐ฉ๐ซ๐จ๐ฉ๐ž๐ซ๐ญ๐ข๐ž๐ฌ ๐จ๐Ÿ ๐š๐ซ๐Š๐ˆ๐ญ๐ž๐œ๐ญ ๐ฌ๐ฒ๐ฌ๐ญ๐ž๐ฆ ๐ฆ๐จ๐๐ž๐ฅ๐ฌ with a best-in-class formal environment. Our focus here is ๐ฌ๐š๐Ÿ๐ž๐ญ๐ฒ ๐š๐ง๐š๐ฅ๐ฒ๐ฌ๐ข๐ฌ.ย Choice of Coq Read more about JFLA 2023[…]

Process model including the scope of 15288

Posted on by admin

๐Ÿ“ข Very happy to introduce ๐ฉ๐ซ๐จ๐œ๐ž๐ฌ๐ฌ ๐ฆ๐จ๐๐ž๐ฅ ๐ข๐ง๐œ๐ฅ๐ฎ๐๐ข๐ง๐  ๐ญ๐ก๐ž ๐ฌ๐œ๐จ๐ฉ๐ž ๐จ๐Ÿ ๐Ÿ๐Ÿ“๐Ÿ๐Ÿ–๐Ÿ– ๐š๐ง๐ ๐ฉ๐ซ๐จ๐ฃ๐ž๐œ๐ญ ๐ฆ๐š๐ง๐š๐ ๐ž๐ฆ๐ž๐ง๐ญ ๐š๐ง๐ ๐š๐ฅ๐ฅ ๐ž๐ง๐ญ๐ž๐ซ๐ฉ๐ซ๐ข๐ฌ๐ž ๐š๐ซ๐œ๐ก๐ข๐ญ๐ž๐œ๐ญ๐ฎ๐ซ๐ž ๐ฉ๐ซ๐จ๐œ๐ž๐ฌ๐ฌ๐ž๐ฌ ๐š๐ซ๐จ๐ฎ๐ง๐. We have been investigating the topic of ISO 15288/ISO15289 for long. For those who donโ€™t know, ๐ˆ๐’๐Ž ๐Ÿ๐Ÿ“๐Ÿ๐Ÿ–๐Ÿ— ๐๐ž๐ฌ๐œ๐ซ๐ข๐›๐ž๐ฌ ๐š๐ฅ๐ฅ ๐ญ๐ก๐ž ๐ข๐ญ๐ž๐ฆ๐ฌ/๐๐จ๐œ๐ฎ๐ฆ๐ž๐ง๐ญ๐ฌ ๐ž๐ฑ๐œ๐ก๐š๐ง๐ ๐ž๐ ๐›๐ž๐ญ๐ฐ๐ž๐ž๐ง ๐ฅ๐ข๐Ÿ๐ž๐œ๐ฒ๐œ๐ฅ๐ž ๐ฉ๐ซ๐จ๐œ๐ž๐ฌ๐ฌ๐ž๐ฌ ๐จ๐Ÿ ๐Ÿ๐Ÿ“๐Ÿ๐Ÿ–๐Ÿ–. ๐Ÿ‘‰ You will find the model here Read more about Process model including the scope of 15288[…]

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