Professional Documents
Culture Documents
Lecture On Formal Methods in Software Engineering
Lecture On Formal Methods in Software Engineering
Formal Methods in
Software Engineering
Software is complex
“One of the most complex man made artifacts”
-- M. Dwyer, J. Hatcliff, R. Howell (KSU CIS 771)
http://www.samsvb.co.uk/images/development_life_cycle.gif
Reqt’s
Specification
Design
Coding
Testing
Maintenance
Coding