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.