
Twenty-five years of Mokum: For 25 years of data and knowledge engineering: Correctness by design in relation to MDE1 and correct protocols in cyberspace
Keywords: Model driven architecture; Knowledge base systems; Correctness of communication protocols