ObJect-oriented methods lead to the construction of models - in other words, ensure the formal definition of requirements- in which inheritance relationships, sometimes multiple inheritance relationships, are depicted. A technique for validating models using multiple inheritance consists of defining, during the early activity of software development, precise semantics of inheritance to estimate appropriateness and relevance of the models constructed: to understand them, to make them conform to requirements, to validate them in order to pursue software development up to implementation. This technique is automated with the help of an algorithm implemented into a software engineering tool, which is now operational
object-oriented methods, object-oriented software engineering tools, multiple inheritance, requirements engineering, model verification.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).