![]() This requires that the modelling notations are formally defined and related in order to have tool support developed for the integration of sophisticated checkers, generators and transformations. To ensure the correctness of the software system developed, all models constructed in each phase are verifiable. These techniques are practised in a model-driven development process in which models are constructed in each phase of the development. Component-based and object-oriented design techniques are found effective in the support of separation of correctness concerns of different aspects. In practical software engineering this is now handled by a UML-like modelling approach in which different aspects are modelled by different notations. Modern software development is complex as it has to deal with many different and yet related aspects of applications.
0 Comments
Leave a Reply. |