- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Applying formal method in the implementation of the...
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Applying formal method in the implementation of the information retrieval protocol Z39.50 Đõ̂, Bình
Abstract
The success of any today large-scale software depends largely on the techniques applied to different phases of its whole life cycle. Various formal methods arid testing methods are developed to be applied to the specification phase and testing phase. Based on,the author's own experience as a member of a team implemeriting the Information Search and Retrieval Protocol, the Z39.50, this thesis explores application of formal methods and a methodology from a practical point of views.
Item Metadata
| Title |
Applying formal method in the implementation of the information retrieval protocol Z39.50
|
| Creator | |
| Publisher |
University of British Columbia
|
| Date Issued |
1996
|
| Description |
The success of any today large-scale software depends largely on the techniques applied to different phases of its whole life cycle. Various formal methods arid testing methods are developed to be applied to the specification phase and testing phase. Based on,the author's own experience as a member of a team implemeriting the Information Search and Retrieval Protocol, the Z39.50, this thesis explores application of formal methods and a methodology from a practical point of views.
|
| Extent |
4733154 bytes
|
| Genre | |
| Type | |
| File Format |
application/pdf
|
| Language |
eng
|
| Date Available |
2009-02-03
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
| DOI |
10.14288/1.0051245
|
| URI | |
| Degree (Theses) | |
| Program (Theses) | |
| Affiliation | |
| Degree Grantor |
University of British Columbia
|
| Graduation Date |
1996-05
|
| Campus | |
| Scholarly Level |
Graduate
|
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.