课题基金 / 基金详情

Lightweight formal methods in agile software development

Lightweight formal methods in agile software development
敏捷软件开发中的轻量级形式化方法
批准号：
38937-2008
负责人：
Hoover, James
金额：
$2.04万
依托单位：
University of Alberta
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=421145
关键词：
Lightweightformalmethodsagilesoftware

项目摘要

项目成果

Hoover, James的其他基金

相似基金

相关文献

中文摘要
翻译
当代组织所处的世界是不确定的，瞬息万变。组织依靠其业务系统中的软件来提供灵活性，以应对这种不稳定性并保持其竞争优势。生产该软件的高性能高质量软件开发组织使用敏捷开发方法。这些方法与客户密切合作，逐步开发软件。对于敏捷，软件的目的和软件本身是同步发展的。用户不必等到软件完全完成后才可以开始使用它，并且可以随着新的业务机会的出现而改变他们的需求。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Lightweight formal methods in agile software development
  • 批准号：
    38937-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2011
  • 负责人：
    Hoover, James
  • 依托单位：
    University of Alberta
Lightweight formal methods in agile software development
  • 批准号：
    38937-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2010
  • 负责人：
    Hoover, James
  • 依托单位：
    University of Alberta
Lightweight formal methods in agile software development
  • 批准号：
    38937-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2008
  • 负责人：
    Hoover, James
  • 依托单位：
    University of Alberta
Lightweight formal methods in agile software development
  • 批准号：
    38937-2005
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2006
  • 负责人：
    Hoover, James
  • 依托单位：
    University of Alberta
海外基金