"This book provides coverage of recent advances in the area of secure software engineering that address the various stages of the development process from requirements to design to testing to implementation"--Provided by publisher.

The peer-reviewed papers featured in this volume were chosen from the revised notes of lectures given at the third CEFP School in 2009. They cover a number of topics such as design patterns, semantics, types, and advanced programming in various FP languages.

With the ever-increasing usage of distance learning programs in academia, the need for well-designed automated systems has become vital to the success of open and distance education. Practical solutions should be discovered and disseminated to meet the software needs of instructors, academic researchers, and software engineers. System and Technology Advancements in Distance Learning meets this need, outlining computational methods, algorithms, implemented prototype systems, and applications of open and distance learning. It is targeted toward academic researchers and engineers who work with distance learning programs and software systems, as well as general participants of distance education.