Formal Methods in Software Engineering Lecture Slides 1 Asim Raza Fall 2012 Beaconhouse National University Lahore Content 80% case studies Pervades computer science, e.g., hardware circuit design, artificial intelligence, knowledge representation, database systems, programming languages, software engineering (design, verification, specification), … Will help you understand application of formal methods in computer science. i.e. Formal specifications in Z Content 20% Theoretical study…
Words 761 - Pages 4