Automatic generation of SDL specifications from timed MSCs

Automatic generation of SDL specifications from timed MSCs

The integration of Formal Description Techniques (FDTs) in the software process enables formal validation, translation, synthesis and code generation. Message Sequence Charts (MSC) and Specification and Description Language (SDL) are two formal languages, widely used in the telecommunication industr...

Full description

Bibliographic Details
Main Author: Zhang, Xiao Jun
Format: Others
Published: 2004
Online Access:http://spectrum.library.concordia.ca/8105/1/MQ94720.pdf
Zhang, Xiao Jun <http://spectrum.library.concordia.ca/view/creators/Zhang=3AXiao_Jun=3A=3A.html> (2004) Automatic generation of SDL specifications from timed MSCs. Masters thesis, Concordia University.

Internet

http://spectrum.library.concordia.ca/8105/1/MQ94720.pdf
Zhang, Xiao Jun <http://spectrum.library.concordia.ca/view/creators/Zhang=3AXiao_Jun=3A=3A.html> (2004) Automatic generation of SDL specifications from timed MSCs. Masters thesis, Concordia University.

Similar Items