The field of specification mining and behavioural model inference addresses the challenge of automatically extracting formal specifications and models of software systems from various forms of data ...
At the ARC Forum 2020, Paul Sereiko and Ted Masters of the FieldComm Group gave a preview of the forthcoming NAMUR Open Architecture Information Model (NOA-IM) and the role FieldComm Group is playing ...