By J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)
This publication constitutes the completely refereed post-conference court cases of the 3rd foreign convention on basics of software program Engineering, FSEN 2009, held in Kish Island, Iran, in April 2009.
The 22 revised complete papers and five revised brief papers offered including three invited lectures have been rigorously reviewed and chosen from 88 submissions. the subjects contain versions of courses and platforms, software program specification, validation and verification, software program architectures and their description languages, item and multi-agent platforms, coordination and have interplay, integration of formal and casual equipment, integration of alternative formal equipment, component-based improvement, service-oriented improvement, version checking and theorem proving, software program and verification and CASE instruments and gear integration.