Time inconsistency analysis and correction for MSC-2000 specifications
Message Sequence Charts (MSC) plays an important role in the software life cycle. It is widely used in the requirements, design, and test phases for different purposes. Therefore, it is crucial to insure the correctness of MSC specifications. For that, one has to validate these MSC specifications as...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2005
|
| Online Access: | http://spectrum.library.concordia.ca/8532/1/MR10254.pdf Wang, LiXin <http://spectrum.library.concordia.ca/view/creators/Wang=3ALiXin=3A=3A.html> (2005) Time inconsistency analysis and correction for MSC-2000 specifications. Masters thesis, Concordia University. |