Lightweight formal methods in agile software development

点击翻译按钮获取中文摘要

The world in which contemporary organizations operate is uncertain and rapidly changing. Organizations depend on the software in their business systems to give them the flexibility to cope with this volatility and retain their competitive advantage. The high-performance high-quality software development organizations that produce this software use agile development methods. These methods develop software incrementally in close collaboration with the customer. With agile, the purpose of the software, and the software itself evolve simultaneously. Users do not have to wait until software is fully finished before they can start using it, and can change their requirements as new business opportunities arise.