IBM
Contents Index Previous Next



1 Introduction to Languages and Notations

This chapter describes the benefits of formal methods. It also gives a brief introduction to the TTCN, the ASN.1 and the MSC language.

Note that this chapter is not a tutorial on TTCN, ASN.1 or MSC. In Methodology Guidelines you can find more information about TTCN and how to use it.

If you want to know more about the languages supported in the SDL Suite, you should read Introduction to Languages and Notations.


http://www.ibm.com/rational
Contents Index Previous Next