Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / [electronic resource] : edited by Farhad Arbab, Marjan Sirjani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - 1 online resources(xiii, 470 p.) : ill., digital ; 24 cm. - Lecture notes in computer science, 5961 0302-9743 ; . ISBN: 9783642116230 (electronic bk.) 9783642116223 (paper) Subjects--Topical Terms: Software engineering--Congresses.Models and Principles.Computer Science.Programming Techniques.Logics and Meanings of Programs.Software Engineering/Programming and Operating Systems. LC Class. No.: QA76.758 / .I584 2010 Dewey Class. No.: 005.1