author : Annabelle McIver

Programming Methodology is a comprehensive edited volume that concentrates on new and emerging techniques for constructing modern applications, while also addressing the problems software designers face as they attempt to develop highly complex applications that actually work. Contributions to the book are from leading academics and industrialists of the International Federation for Information Processing’s Working Group 2.3, whose mission is to assess methodologies for creating and improving the quality of software and systems. The work is thematically organized into three sections: models and correctness; programming techniques; and applications and automated theories.

Topics and Features:

• Proposes practical solutions—and their theoretical foundations—to current software and systems challenges

• Incorporates examples from a wide range of applications, such as security, telephony, and circuit design

• Examines challenges to systems engineering, automating theories, and the robust design of concurrent systems

• Highlights recent technical advances in the ways that software systems are designed and verified

• Provides concise and helpful introductions to each carefully organized subsection of related material

This state-of-the-art survey on key new foundational topics in programming methodology is an essential resource developed by leading international computer scientists, programmers, and software systems designers. It offers an authoritative reference and guide to modern software theory and practice for programmers, developers, computer scientists, and software engineers.