Experience integrating a formal method into a software engineering course

Authors:
Ann E. Kelley Sobel
Affiliations:
Systems Analysis Department, 230 J Kreger Hall, Miami University, Oxford, OH
Venue:
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Year:
1996

Citing 10
Cited 2

A debate on teaching computing science

Communications of the ACM
Education for Computing Professionals

Computer
Teaching calculation and discrimination: a more effective curriculum

Communications of the ACM
The Z notation: a reference manual

The Z notation: a reference manual
Educating a new engineer

Communications of the ACM - Special issue on information filtering
Software engineering (4th ed.)

Software engineering (4th ed.)
Strategies for incorporating formal specifications in software development

Communications of the ACM
Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum: a survey

ACM SIGCSE Bulletin
Prospects for an Engineering Discipline of Software

IEEE Software
Is Software Engineering?

Proceedings of the SEI Conference on Software Engineering Education

Empirical results of a software engineering curriculum incorporating formal methods

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Teaching design and project management with lego RCX robots

Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education

Quantified Score

Hi-index	0.00

Visualization

Abstract