Lightweight formal methods in agile software development
Lightweight formal methods in agile software development
批准号:
38937-2008
负责人:
Hoover, James
金额:
$2.04万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2009
资助国家:
加拿大
项目状态:
已结题
起止时间:
2009-01-01 至 2010-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Lightweight formal methods in agile software development
-
批准号:38937-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2010
-
负责人:Hoover, James
-
依托单位:
Lightweight formal methods in agile software development
-
批准号:38937-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2008
-
负责人:Hoover, James
-
依托单位:
Lightweight formal methods in agile software development
-
批准号:38937-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2006
-
负责人:Hoover, James
-
依托单位:
Lightweight formal methods in agile software development
-
批准号:38937-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2005
-
负责人:Hoover, James
-
依托单位:
Software architecture and application frameworks
-
批准号:38937-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2004
-
负责人:Hoover, James
-
依托单位:
Software architecture and application frameworks
-
批准号:38937-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2003
-
负责人:Hoover, James
-
依托单位:
Software architecture and application frameworks
-
批准号:38937-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2002
-
负责人:Hoover, James
-
依托单位:
Software architecture and application frameworks
-
批准号:38937-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2001
-
负责人:Hoover, James
-
依托单位:
Using proof environments for programming
-
批准号:38937-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.85万
-
财政年份:2000
-
负责人:Hoover, James
-
依托单位:
Using proof environments for programming
-
批准号:38937-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.85万
-
财政年份:1999
-
负责人:Hoover, James
-
依托单位:
Using proof environments for programming
-
批准号:38937-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.76万
-
财政年份:1998
-
负责人:Hoover, James
-
依托单位:
Using proof environments for programming
-
批准号:38937-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:1997
-
负责人:Hoover, James
-
依托单位:
Complexity theory and programming methodology
-
批准号:38937-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.31万
-
财政年份:1996
-
负责人:Hoover, James
-
依托单位:
Complexity theory and programming methodology
-
批准号:38937-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.31万
-
财政年份:1995
-
负责人:Hoover, James
-
依托单位:
Complexity theory and programming methodology
-
批准号:38937-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.31万
-
财政年份:1994
-
负责人:Hoover, James
-
依托单位:
Complexity theory and programming methodology
-
批准号:38937-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.31万
-
财政年份:1993
-
负责人:Hoover, James
-
依托单位:
Complexity Theory and programming methodology
-
批准号:38937-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.47万
-
财政年份:1992
-
负责人:Hoover, James
-
依托单位:
Complexity Theory and programming methodology
-
批准号:38937-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.47万
-
财政年份:1991
-
负责人:Hoover, James
-
依托单位:
海外基金