- 1.Bern, G. M. "Assessing Software Maintainability," Comm. ACM, vol. 27, no. 1, pp. 14-23, Jan 1984. . Google ScholarDigital Library
- 2.Halstead, M., Elements of Software Science, 1977. North Holland Google ScholarDigital Library
- 3.Henry, S. and Kafura, D. "The evaluation of software system's structure using quantitative software metrics," Software- Practice and Experience, vol. 14, no. 6, pp. 561- 573, June 1984.Google ScholarCross Ref
- 4.Kemighan, B. W. And Plauger, P. J., The Elements of Programming Style, 1974. McGraw-Hill, New York Google ScholarDigital Library
- 5.McCabe, T. "A Software Complexity Measure," IEEE Trans. Software Engineering, vol. 2, no. 12, pp. 308-320, Dee 1976.Google ScholarDigital Library
- 6.Oman, P. W. and Cook, C. R. "A Paradigm for programming style research," SIGPLAN Notices, vol. 23, no. 12, pp. 69- 78, Dee 1988. Google ScholarDigital Library
- 7.Oviedo, E. I. "Control flow, data flow and program complexity," Prec. IEEE COMPSAC, pp. 146-152, 1980.Google Scholar
- 8.Pressman, R., Software Engineering - A Practitioner's Approach, 1992. McGraw Hill Google ScholarDigital Library
- 9.Rees, M. J. "Automatic Assessment Aid for Pascal Programs," SIGPLAN Notices, vol. 17, no. 10, pp. 33-42, Oct 1982. Google ScholarDigital Library
- 10.Van Verth, P. B., A System for Automatically Grading Program Quality, 1985. SUNY (Buffalo) Technical ReportGoogle Scholar
- 11.Yau, S. S. and Collofello, J. S. "Some stability measures for software maintenance," IEEE Trans. Software Engineering, vol. 6, no. 6, pp. 545-552, Nov 1980.Google ScholarDigital Library
- 12.Zin, A. M. and Fox.ley, E. "Automatic Program Quality Assessment System," Proceedings of the IFIP Conference on Software Quality, March 1991. S P University, Vidyanagar, INDIAGoogle Scholar
- 13.Zin, A. M. and Foxley, E., The Oracle program, 1992. LTR Report, Computer Science DepL Nottingham UniversityGoogle Scholar
- 14.Zin, A. M., ZFDSS: A Formal Development Support System based on the Liberal AplSroaeh, 1994. Phi) Thesis, University ofNottingham, UKGoogle Scholar
Index Terms
The automatic assessment of Z specifications
Recommendations
Automatic vs manual assessment of programming tasks
Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education ResearchLecturers are struggling to keep up with their daily responsibilities because of an ever-increasing workload. Manual programming assessment processes are time-consuming, but a possible solution is to use the assistance of automatic programming ...
Stakeholder Risk Assessment: An Outcome-Based Approach
Requirements engineering must manage the risks arising from project stakeholders. The Outcome-Based Stakeholder Risk Assessment Model (Obsram) provides guidance in stakeholder identification, identification of stakeholder impacts and perceptions, ...
Comments