To search, Click below search items.

 

All Published Papers Search Service

Results for Fahad Alhumaidan; Total 1

Title

Transformation of Class Diagrams into Formal Specification

Author

Nazir Ahmad Zafar, Fahad Alhumaidan
Citation

Vol. 11  No. 5  pp. 289-295

Keywords

UML, Class diagrams, Formal methods, Z notation, Integration, Validation

[1]