1782 search results - page 300 / 357 » Tool Support for Proof Engineering |
ITEE
2007
13 years 10 months ago
2007
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
JISBD
2003
13 years 10 months ago
2003
Good quality documentation is crucial for the effective reuse of object-oriented frameworks, and must be adaptable to the needs of different audiences. To satisfy these needs, fra...
BICA
2010
13 years 3 months ago
2010
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
HICSS
2011
IEEE
13 years 14 days ago
2011
IEEE
All-at-once Scrum implementations require total commitment to change, high level management support and aggressive removal of impediments. Several company-wide implementations are...