Model-based software engineering

The methodology. Software production as an industrial activity. Distributed systems. The structured paradigm. The object oriented paradigm. Formal methods. Introducing the Protob methodology. The Protob language. Analysis and verification of Protob models. Information modelling with Quid. The Artifex support environment. Case studies. Computer integrated manufacturing. Real-time systems. Distributed systems. Communication protocols.