To search, Click below search items.
All Published Papers Search Service
Title
Specification and Verification Techniques of Object Oriented Programs using Invariants
Author
Beenish Zafar, Zara Hassan, Mobashirah Nasir, Sidrah Naheed, Beenish Abid, Umbreen Fatima and Rimsha Awan
Vol. 19 No. 8 pp. 39-50
Keywords
Object oriented programming, Verification, Specification, Object invariants, Class invariants.
Software Engineering Fresh Graduates Career Choices and Software Industry Demands: An Empirical Analysis
Nosheen Qamar, Hafiza Maria Kiran, Fatima Ahmad, Shehla Saeed, Beenish Abid
Vol. 20 No. 12 pp. 72-78
Career Choices, Software Development, Software Engineering, Software Industry