Yew, Kok Meng and Bulbul, Helena and Yaacob, Mashkuri (2000) Towards formalizing OO models: A case study. Malaysian Journal of Computer Science, 13 (1). pp. 12-16. ISSN 0127-9084,
Full text not available from this repository.Abstract
Object Oriented System Development (OOSD) is gaining vast popularity among the software developers and researchers. However, the main challenge is to build a system which is reliable and less error-prone. The application of graphical informal Object Oriented (OO) technique for developing an OO system lacks validity checking though it can represent the system with more clarity. On the other hand, formal specification can facilitate the development of a correct implementation through automated reasoning techniques. The incorporation of formal specification together with informal technique helps in building complex and safety critical system. In this paper, we analyzed a case study system applying both formal and informal techniques. The informal technique for developing object model is Object Modeling Technique (OMT), the notation used is of Unified Modeling Language (UML) and the formal specification language used is Object-Z.
| Item Type: | Article |
|---|---|
| Funders: | UNSPECIFIED |
| Uncontrolled Keywords: | Formal method; Object-Z; OMT |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Computer Science & Information Technology |
| Depositing User: | Ms. Juhaida Abd Rahim |
| Date Deposited: | 12 Apr 2021 01:37 |
| Last Modified: | 12 Apr 2021 01:37 |
| URI: | http://eprints.um.edu.my/id/eprint/25847 |
Actions (login required)
 |
View Item |
