skip to main content
10.1145/266057.266141acmconferencesArticle/Chapter ViewAbstractPublication PagesiticseConference Proceedingsconference-collections
Article
Free Access

The automatic assessment of Z specifications

Published:04 June 1997Publication History
First page image

References

  1. 1.Bern, G. M. "Assessing Software Maintainability," Comm. ACM, vol. 27, no. 1, pp. 14-23, Jan 1984. . Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.Halstead, M., Elements of Software Science, 1977. North Holland Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarCross RefCross Ref
  4. 4.Kemighan, B. W. And Plauger, P. J., The Elements of Programming Style, 1974. McGraw-Hill, New York Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.McCabe, T. "A Software Complexity Measure," IEEE Trans. Software Engineering, vol. 2, no. 12, pp. 308-320, Dee 1976.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.Oviedo, E. I. "Control flow, data flow and program complexity," Prec. IEEE COMPSAC, pp. 146-152, 1980.Google ScholarGoogle Scholar
  8. 8.Pressman, R., Software Engineering - A Practitioner's Approach, 1992. McGraw Hill Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.Rees, M. J. "Automatic Assessment Aid for Pascal Programs," SIGPLAN Notices, vol. 17, no. 10, pp. 33-42, Oct 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.Van Verth, P. B., A System for Automatically Grading Program Quality, 1985. SUNY (Buffalo) Technical ReportGoogle ScholarGoogle Scholar
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle Scholar
  13. 13.Zin, A. M. and Foxley, E., The Oracle program, 1992. LTR Report, Computer Science DepL Nottingham UniversityGoogle ScholarGoogle Scholar
  14. 14.Zin, A. M., ZFDSS: A Formal Development Support System based on the Liberal AplSroaeh, 1994. Phi) Thesis, University ofNottingham, UKGoogle ScholarGoogle Scholar

Index Terms

  1. The automatic assessment of Z specifications

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in
                  • Published in

                    cover image ACM Conferences
                    ITiCSE-WGR '97: The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
                    June 1997
                    154 pages
                    ISBN:1581130120
                    DOI:10.1145/266057

                    Copyright © 1997 ACM

                    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 4 June 1997

                    Permissions

                    Request permissions about this article.

                    Request Permissions

                    Check for updates

                    Qualifiers

                    • Article

                    Acceptance Rates

                    Overall Acceptance Rate552of1,613submissions,34%

                    Upcoming Conference

                    ITiCSE 2024

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader