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

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

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