1799 search results - page 3 / 360 » The Logic of Correctness in Software Engineering |
61
Voted
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
AMAST
1997
Springer
15 years 1 months ago
1997
Springer
71
Voted
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
89
Voted
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...