Page 202 - DCAP507_SYSTEM_SOFTWARE

System Software

Notes Answers: Self Assessment

1. inference 2. Formal methods
3. verification 4. fixed
5. specification 6. formal specification

7. Pre and Post 8. graphics
9. specification 10. predicate
11. Grammar 12. Production
13. BNF (Backus-Naur form) 14. Non-terminal
15. semantics

12.7 Further Readings

Books Chattopadhyay, System Software, PHI Learning Pvt. Ltd.
Donovan, Systems Programming, Tata McGraw-Hill Education
I.A. Dhotre A.A. Puntambekar, Systems Programming, Technical Publications

M. Joseph, System Software, Firewall Media

Online link www.springer.com

196 LOVELY PROFESSIONAL UNIVERSITY