Constitutes the post-conference proceedings of the Third International Conference on Fundamentals of Software Engineering, FSEN 2009, held in Kish Isl&, Iran, in April 2009. This book
Includes:: topics such as models of programs & systems, software
Specification, & validation & verification.