Evaluation of safety-critical software
Communications of the ACM
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
A course on professionalism in the undergraduate CS curriculum
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Computer science needs an insight-based curriculum
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Computer science is a new engineering discipline
ACM Computing Surveys (CSUR)
Experience integrating a formal method into a software engineering course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Directions in software engineering education
ICSE '91 Proceedings of the 13th international conference on Software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Is computer science education in crisis?
ACM Computing Surveys (CSUR)
What we teach software engineers in the university: do we take engineering seriously?
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Forging a discipline: An outline history of software engineering education
Annals of Software Engineering - Special issue on software engineering education
Mathematical foundations of software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Ada and the evolution of software engineering
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
IS '97: model curriculum and guidelines for undergraduate degree programs in information systems
IS '97 Guidelines for undergraduate degree programs on Model curriculum and guidelines for undergraduate degree programs in information systems
Prospects for an Engineering Discipline of Software
IEEE Software
Did We Really Teach That?: A Glimpse of Things Students (Don't) Learn from Traditional CS1
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Formal Timing Analysis of OMT Designs Using LIMITS
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Case studies in admissions to and early performance in computer science degrees
Working group reports from ITiCSE on Innovation and technology in computer science education
Education in computer engineering
Encyclopedia of Computer Science
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
User participation and participatory design: topics in computing education
Human-Computer Interaction
Formal methods versus engineering
ACM SIGCSE Bulletin
Teaching formal methods in the context of software engineering
ACM SIGCSE Bulletin
Teaching and practicing computer science at the university level
ACM SIGCSE Bulletin
Making Temporal Logic Calculational: A Tool for Unification and Discovery
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Teaching and learning formal methods, improving productivity
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
One Graph to Rule Them All Software Measurement and Management
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 4.12 |
The author examines the state of computer science education and discusses the trend whereby computer science graduates are ending up in engineering jobs. He questions whether this back door to engineering is in the best interests of the students, their employers, and society. He argues that computer science programs must return to a classical engineering approach that emphasizes fundamentals.