| Author | Pimjai Plernchaiwanich |
| Call Number | AIT Thesis no.CS-95-19 |
| Subject(s) | Electronic mail systems
|
| Note | A thesis submitted in partial fulfilment of the requirement for the degree of
Master of Science |
| Publisher | Asian Institute of Technology |
| Abstract | In recent years postal authorities have come to understand the need for modernization of their services using the current state of the art in data processing and data communication. An Electronic Post Office System is one approach that allow the use of these technologies to improve the transfer of information for faster and cheaper carriage of the mail and provide enhanced services including electronic mail. The implementation of an automated postal service which has reactive components need to satisfy not only the functional correctness requirements but also timeliness requirements. Formal techniques are utilised to assure such correctness attributes and ensure the success of the reactive software development process. Use of formal methods lead to a systematic design and discover design problems and errors (such as ambiguities, omissions and contradictory requirements) early in the system development life- cycle. |
| Year | 1995 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Kanchana Kanchanasut; |
| Examination Committee(s) | Batanov, Dentcho N.;Bohez, Erik L.J.; |
| Scholarship Donor(s) | Communications Authority of Thailand; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1995 |