Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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