To search, Click below search items.
All Published Papers Search Service
Title
Transformation of Class Diagrams into Formal Specification
Author
Nazir Ahmad Zafar, Fahad Alhumaidan
Vol. 11 No. 5 pp. 289-295
Keywords
UML, Class diagrams, Formal methods, Z notation, Integration, Validation
Formal Dynamic Operational Model of RIS Components
Nazir Ahmad Zafar
Vol. 11 No. 9 pp. 91-97
Formal methods, Operational model, Railway interlocking, Z notation