Spreadsheet-based logic controller for teaching fundamentals of requirements engineering

International Journal of Engineering Education

Volumn 20, Issue 6, 2004, Pages 939-948

  Salzer, Hanania T ^a   Levin, Ilya ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVELS; CLASSIC LEARNING; LOGIC CONTROLLERS; REQUIREMENTS SIMULATOR (RS);

ABSTRACTING; COMPUTER SIMULATION; LARGE SCALE SYSTEMS; MICROPROCESSOR CHIPS; STUDENTS; TEACHING;

SPREADSHEETS;

EID: 10044224735     PISSN: 0949149X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. H. Diab and I. Demashkieh, A computer-aided teaching package for microprocessor systems education, IEEE Trans. Educ., 34(2), 1991, pp. 179-183.
2. G. A. Wainer, S. Daicz, L. F. de Simoni and D. Wasserman, Using the ALFA-1 simulated processor for educational purposes, ACM J. Educational Resources In Computing, 1(4), 2001, pp. 111-151.
3. C. Yehezkel, W. Yurcik, M. Pearson and D. Armstrong, Three simulator tools for teaching computer architecture: EasyCPU, Little Man Computer, and RTLSim, ACM J. Educational Resources in Computing, 1(4), 2001, pp. 60-80.
4. C. Yehezkel, A taxonomy of computer architecture visualizations, ITiCSE'02, Aarhus, Denmark, pp. 175-177.
5. R. Yen and Y. Kim, Development and implementation of an educational simulator software package for a specific microprogramming architecture, IEEE Trans. Educ., 29(1), 1986.
6. M. R. Smith, A microprogrammable microprocessor simulator and development system, IEEE Trans. Educ., 27, 1984, pp. 93-100.
7. M. Cutler and R. Eckert, A microprogrammed computer simulator, IEEE Trans. Educ., 30(3), 1987, pp. 135-141.
8. P. H. Saul, The spreadsheet as a high level mixed mode simulation tool, Electronic Engineering, 1991, pp. 549-555.
9. A. El-Hajj, K.Y. Kabalan and H. Diab, A spreadsheet educational tool for microprocessor systems, Computer Applications in Engineering Education, 3(3), 1995, pp. 205-211.
10. A. El-Hajj, K. Y. Kabalan, M. Mneimneh and F. Karablieh, Microprocessor simulation and program assembling using spreadsheets, Simulation, 75(2), 2000, pp. 82-90.
11. I. Levin, Behavioral simulation of an arithmetic unit using the spreadsheet, Int. J. Electrical Eng. Educ., 31, 1994, pp. 334-341.
12. Z. Navabi, VHDL: Analysis and Modeling of Digital Systems, 2nd ed., McGraw-Hill Professional (1997).
13. P. Zave, Classification of research efforts in requirements engineering, ACM Computing Surveys, 29(4), 1997, pp. 315-321.
14. A. M. Davis and A. M. Hickey, Requirements researchers: do we practice what we preach? Requirements Engineering, 7(2), 2002, pp. 107-111.
15. D. L. Parnas, Software aspects of strategic defense systems, Communications of the ACM, 28(12), 1985, pp. 1326-1335.
16. N. Nisan and S. Schocken, The Elements of Computing Systems, MIT Press (2004). Draft is available at: http://www1.idc.ac.il/csd/book/index.htm
17. R. Harwell, E. Aslaksen, I. Hooks, R. Mengot and K. Ptack, What is a requirement? Proc. Third Int. Symp. NCOSE INCOSE, (1993) pp. 818-827.
18. H. Kilov and J. Ross, Information Modeling: An Object-oriented Approach, Prentice-Hall (1994), pp. 28-32.
19. C. Ghezzi, M. Jazayeri and M. Mandrioli, Fundamentals of Software Engineering, 2nd Ed., Prentice-Hall, Upper Saddle River, New Jersey (2003).
20. H. Salzer, ATRs (atomic requirements) used throughout development lifecycle, 12th Int. Software Quality Week (QW99), 1(6S1), San Jose, CA (1999).
21. IEEE Std 1233, 1998 edition, Guide for developing system requirements specifications, IEEE Standards, Software Engineering, Vol. One, Customer and Terminology Standards, IEEE, Computer Society (1998).
22. H. Kaindl, S. Brinkkemper, J. A. Bubenko Jr., B. Farbey, S. J. Greenspan, C. L. Heitmeyer, J. C. S. Leite, N. R. Mead, J. Mylopoulos and J. Siddiqi, Requirements engineering and technology transfer: obstacles, incentives and improvement agenda, Requirements Engineering, 7(3), 2002, pp. 113-123.
23. M. Archer, C. Heitmeyer and E. Riccobene, Proving invariants of I/O automata with TAME, Automated Software Engineering, 9, 2002, pp. 201-232.
24. D. L. Parnas, Information distribution aspects of design methodology, Proc. 1971 IFIP Congress, pp. 339-344.
25. D. Harel, On visual formalism, in Diagrammatic Reasoning: Cognitive and Computational Perspectives, J. Glasgow, N. H. Narayanan and B. Chandrasekaran (eds.), AAAI Press, Menlo Park, CA (1995).
26. I. Levin, Matrix model of logical simulator within spreadsheet. Int. J. Elect. Enging. Educ., 30(3), 1993, pp. 216-223.
27. http://www.tau.ac.il/~salzerha/mypubs/CUsimulator.xls.
28. B. W. Boehm, R. K. McClean and D. B. Urfrig, Some experience with automated aids to the design of large-scale reliable software, IEEE Trans. Software Engineering 1(1), 1975, pp. 125-133.