Ewanchyna, Theodore J (1996) Techniques for specification and validation of complex protocols. Masters thesis, Concordia University.
![[img]](http://spectrum.library.concordia.ca/style/images/fileicons/application_pdf.png)
| PDF 5Mb |
Abstract
Simple protocols can be described with natural language and pictures. This description is no longer adequate as protocols become more complex, or more people get involved. Formal Description Techniques (FDTs) have been developed to convey this information clearly and unambiguously (and as a basis for correctness verification) but FDT-based specifications tend to be long and hard to follow. In order to help the user understand and use complex protocols, we have integrated informal graphical techniques with the current formal techniques. We have developed an approach for the generation of pictures directly from formal models
| Divisions: | Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Ewanchyna, Theodore J |
| Pagination: | xii, 150 leaves : ill. ; 29 cm. |
| Institution: | Concordia University |
| Degree Name: | Theses (M.Comp.Sc.) |
| Program: | Computer Science and Software Engineering |
| Date: | 1996 |
| Thesis Supervisor(s): | Atwood, J. W |
| ID Code: | 177 |
| Deposited By: | Concordia University Libraries |
| Deposited On: | 27 Aug 2009 13:10 |
| Last Modified: | 08 Dec 2010 10:13 |
| Related URLs: |
Repository Staff Only: item control page
