Lightweight formal methods in agile software development

敏捷软件开发中的轻量级形式化方法

• 批准号: 38937-2008
• 负责人: Hoover, James
• 金额: $ 2.04万
• 依托单位: University of Alberta
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2008
• 资助国家: 加拿大
• 起止时间: 2008-01-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=390305
• 关键词: Lightweight; formal; methods; agile; software

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.

当代组织所处的世界是不确定的，瞬息万变。组织依靠其业务系统中的软件来提供灵活性，以应对这种不稳定性并保持其竞争优势。生产该软件的高性能高质量软件开发组织使用敏捷开发方法。这些方法与客户密切合作，逐步开发软件。对于敏捷，软件的目的和软件本身是同步发展的。用户不必等到软件完全完成后才可以开始使用它，并且可以随着新的业务机会的出现而改变他们的需求。