A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Verification of the Correctness in Composed UML Behavioural Diagrams
[chapter]
2010
Studies in Computational Intelligence
The Unified Modeling Language UML 2.0 plays a central role in modern software engineering, and it is considered as the de facto standard for modeling software architectures and designs. Todays systems are becoming more and more complex, and very difficult to deal with. The main difficulty arises from the different ways in modelling each component and the way they interact with each others. At this level of software modeling, providing methods and tools that allow early detection of errors is
doi:10.1007/978-3-642-13273-5_11
fatcat:bqr4g347nvdkhlnizwri4io6bq