|
As was pointed out in the introduction, a specification language should provide a well defined set of concepts. The distinction between description, type and instance was also introduced there. In other chapters, the major part of the SDL concepts has been gradually introduced, hopefully in a logical order. In this chapter, an overview of the SDL concepts is given, covering partly what has been said in previous chapters, and providing additional explanations for a more advanced reader.
|
Contact the webmaster with
questions or comments about this web site. |