726 search results - page 12 / 146 » From Anomaly Reports to Cases |
SYNASC
2007
IEEE
15 years 6 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
AIED
2005
Springer
15 years 5 months ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
124
click to vote
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...
ICSE
1994
IEEE-ACM
15 years 3 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...