Development and verification method for parallel and object-orientated systems, whereby class modeling language (CML), with uniform and intuitive syntax, is used in system modeling

摘要

Method for reducing the complexity of development and verification of parallel and object-orientated systems by their division into two phases with closer integration in the development process by comprehensive object-orientated development and iterative development. An Independent claim is made for class modeling language (CML), a software modeling language for object-orientated and parallel software systems, that has a uniform and intuitive syntax.