메뉴 건너뛰기




Volumn , Issue , 2003, Pages 305-312

Harnessing curiosity to increase correctness in end-user programming

Author keywords

Assertions; Curiosity; End user software engineering

Indexed keywords

ASSERTIONS; CURIOSITY; END USER PROGRAMMERS; END USER PROGRAMMING; END USERS; END-USER SOFTWARE ENGINEERING; PROFESSIONAL PROGRAMMERS; PROGRAM CORRECTNESS; SURPRISE-EXPLAIN-REWARD;

EID: 0038375554     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/642611.642665     Document Type: Conference Paper
Times cited : (69)

References (24)
  • 1
    • 0038681722 scopus 로고    scopus 로고
    • Reasoning about many-to-many requirement relationships in spreadsheets
    • Arlington VA, Sept., IEEE
    • Beckwith, L., Burnett, M., Cook, C. Reasoning about many-to-many requirement relationships in spreadsheets, in Proc. IEEE Symp. Human-Centric Computing, (Arlington VA, Sept. 2002), IEEE, 149-157.
    • (2002) Proc. IEEE Symp. Human-Centric Computing , pp. 149-157
    • Beckwith, L.1    Burnett, M.2    Cook, C.3
  • 2
    • 0013259767 scopus 로고    scopus 로고
    • Investment of attention as an analytic approach to cognitive dimensions
    • T. Green, R. Abdullah & P. Brna (Eds)
    • Blackwell, A. and Green, T. R. G. Investment of attention as an analytic approach to cognitive dimensions. In T. Green, R. Abdullah & P. Brna (Eds.) Collected Papers Wkshp. Psych. of Programming Interest Grp., 1999, 24-35. www.cl.cam.ac.uk/~afb21/publications/PPIG99.htm
    • (1999) Collected Papers Wkshp. Psych. of Programming Interest Grp. , pp. 24-35
    • Blackwell, A.1    Green, T.R.G.2
  • 5
    • 0035634509 scopus 로고    scopus 로고
    • Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
    • March
    • Burnett, M., Atwood, J., Djang, R., Gottfried, H., Reichwein, J., Yang, S. Forms/3: a first-order visual language to explore the boundaries of the spreadsheet paradigm. J. Functional Programming 11, 2, (March 2001) 155-206.
    • (2001) J. Functional Programming , vol.11 , Issue.2 , pp. 155-206
    • Burnett, M.1    Atwood, J.2    Djang, R.3    Gottfried, H.4    Reichwein, J.5    Yang, S.6
  • 6
    • 0038005173 scopus 로고    scopus 로고
    • Integrating learning supports into the design of visual programming systems
    • October
    • DiGiano, C., Kahn, K., Cypher, A., and Smith, D.C. Integrating learning supports into the design of visual programming systems. J. Visual Languages and Computing 12, 5 (October 2001), 501-124.
    • (2001) J. Visual Languages and Computing , vol.12 , Issue.5 , pp. 501-124
    • Digiano, C.1    Kahn, K.2    Cypher, A.3    Smith, D.C.4
  • 7
    • 0036041822 scopus 로고    scopus 로고
    • Automated test generation for spreadsheets
    • (Orlando FL, May), IEEE
    • Fisher, M., Cao, M., Rothermel, G., Cook, C., Burnett, M. Automated test generation for spreadsheets, in Proc. ICSE '02, (Orlando FL, May 2002), IEEE 141-151.
    • (2002) Proc. ICSE '02 , pp. 141-151
    • Fisher, M.1    Cao, M.2    Rothermel, G.3    Cook, C.4    Burnett, M.5
  • 8
    • 0030167097 scopus 로고    scopus 로고
    • Usability analysis of visual programming environments: A 'cognitive dimensions' framework
    • June
    • Green, T. R. G. and Petre, M. Usability analysis of visual programming environments: a 'cognitive dimensions' framework. J. Visual Languages and Computing 7, 2 (June 1996), 131-174.
    • (1996) J. Visual Languages and Computing , vol.7 , Issue.2 , pp. 131-174
    • Green, T.R.G.1    Petre, M.2
  • 9
    • 58149367308 scopus 로고
    • Causes and effects of causal attribution
    • Hastie, R. Causes and effects of causal attribution. J. Personality and Social Psychology, 46, (1984), 44-56.
    • (1984) J. Personality and Social Psychology , vol.46 , pp. 44-56
    • Hastie, R.1
  • 11
    • 0029492449 scopus 로고    scopus 로고
    • Assertion-oriented automated test data generation
    • (Berlin Germany, March), IEEE
    • Korel, B. and Al-Yami, A. Assertion-oriented automated test data generation, in Proc. ICSE '96 (Berlin Germany, March 1996), IEEE, 71-80.
    • (1996) Proc. ICSE '96 , pp. 71-80
    • Korel, B.1    Al-Yami, A.2
  • 12
    • 77956612197 scopus 로고    scopus 로고
    • Incorporating incremental validation and impact analysis into spreadsheet maintenance: An empirical study
    • (Florence Italy, Nov. ), IEEE
    • Krishna, V., Cook, C., Keller, D., Cantrell, J., Wallace, C., Burnett, M., and Rothermel, G. Incorporating incremental validation and impact analysis into spreadsheet maintenance: an empirical study, in Proc. Software Maintenance, (Florence Italy, Nov. 2001), IEEE, 72-81.
    • (2001) Proc. Software Maintenance , pp. 72-81
    • Krishna, V.1    Cook, C.2    Keller, D.3    Cantrell, J.4    Wallace, C.5    Burnett, M.6    Rothermel, G.7
  • 13
    • 0037972755 scopus 로고    scopus 로고
    • Interfaces that give and take advice
    • J. Carroll, ed., ACM Press/Addison-Wesley
    • Lieberman, H. Interfaces that give and take advice. Human-Computer Interaction for the New Millenium, J. Carroll, ed., ACM Press/Addison-Wesley, 475-485, 2001.
    • (2001) Human-Computer Interaction for the New Millenium , pp. 475-485
    • Lieberman, H.1
  • 15
    • 12044252203 scopus 로고
    • The psychology of curiosity
    • Lowenstein, G. The psychology of curiosity. Psychological Bulletin 116, 1 (1994), 75-98.
    • (1994) Psychological Bulletin , vol.116 , Issue.1 , pp. 75-98
    • Lowenstein, G.1
  • 16
    • 0035750771 scopus 로고    scopus 로고
    • Outlier finding: Focusing user attention on possible errors
    • (Orlando FL, Nov. ), ACM Press
    • Miller, R. and Myers B. Outlier finding: focusing user attention on possible errors, in Proc. User Interface Software and Technology, (Orlando FL, Nov. 2001), ACM Press, 81-90.
    • (2001) Proc. User Interface Software and Technology , pp. 81-90
    • Miller, R.1    Myers, B.2
  • 18
    • 0002939829 scopus 로고    scopus 로고
    • What we know about spreadsheet errors
    • Spring
    • Panko, R. What we know about spreadsheet errors. J. End User Computing, (Spring 1998).
    • (1998) J. End User Computing
    • Panko, R.1
  • 19
    • 0034339012 scopus 로고    scopus 로고
    • The role of selfexplanation in learning to use a spreadsheet through examples
    • Dec.
    • Reimann, P. and Neubert, C., The role of selfexplanation in learning to use a spreadsheet through examples. J. Computer Assisted Learning 16, (Dec. 2000), 316-325.
    • (2000) J. Computer Assisted Learning , vol.16 , pp. 316-325
    • Reimann, P.1    Neubert, C.2
  • 20
    • 0029185391 scopus 로고
    • A practical approach to programming with assertions
    • Jan.
    • Rosenblum, D. A practical approach to programming with assertions. IEEE Trans. Soft. Eng. 21, 1 (Jan. 1995).
    • (1995) IEEE Trans. Soft. Eng. , vol.21 , Issue.1
    • Rosenblum, D.1
  • 21
    • 0035031064 scopus 로고    scopus 로고
    • Teachers as simulation programmers: Minimalist learning and reuse
    • (Seattle, WA, Apr.), ACM
    • Rosson, M. and Seals, C. Teachers as simulation programmers: minimalist learning and reuse, in Proc. CHI '01, (Seattle, WA, Apr. 2001), ACM, 237-244.
    • (2001) Proc. CHI '01 , pp. 237-244
    • Rosson, M.1    Seals, C.2
  • 22
    • 0031597167 scopus 로고    scopus 로고
    • What you see is what you test: A methodology for testing form-based visual programs
    • (Kyoto Japan, Apr. ), IEEE
    • Rothermel, G., Li, L., DuPuis, C. and Burnett, M. What you see is what you test: a methodology for testing form-based visual programs, in Proc. ICSE '98, (Kyoto Japan, Apr. 1998), IEEE, 198-207.
    • (1998) Proc. ICSE '98 , pp. 198-207
    • Rothermel, G.1    Li, L.2    Dupuis, C.3    Burnett, M.4
  • 24
    • 0030697608 scopus 로고    scopus 로고
    • Does continuous visual feedback aid debugging in direct-manipulation programming languages?
    • Atlanta GA, March
    • Wilcox, E., Atwood, J., Burnett, M., Cadiz, J., and Cook, C. Does continuous visual feedback aid debugging in direct-manipulation programming languages? In Proc. CHI '97, (Atlanta GA, March 1997), 258-265.
    • (1997) Proc. CHI '97 , pp. 258-265
    • Wilcox, E.1    Atwood, J.2    Burnett, M.3    Cadiz, J.4    Cook, C.5


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.