Towards more Formalism in Software Engineering Education

9Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

Improving students' understanding of software engineering concepts and increasing the productivity of softwaze engineers requires new ways of thlnklng and reasoning about software and better ways of producing it. To gain intellectual control over the software development process and become more productive and efficient, we encourage the use of formal methods. The use of formal methods requires that students be educated and software engineers be trained. We make a distinction between education and training. Educ~ tion is the long term goal designed to build a foundation of knowledge for the students while training is a short term activity designed for software engineers. The challenge to educators is to provide the appropriate foundation for software engineering students. This issue is discussed in the paper. © 1993, ACM. All rights reserved.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Saiedian, H. (1993). Towards more Formalism in Software Engineering Education. ACM SIGCSE Bulletin, 25(1), 193–197. https://doi.org/10.1145/169073.169405

Readers' Seniority

Tooltip

Professor / Associate Prof. 2

67%

PhD / Post grad / Masters / Doc 1

33%

Readers' Discipline

Tooltip

Computer Science 3

100%

Save time finding and organizing research with Mendeley

Sign up for free