Experience integrating a formal method into a software engineering course-Reference-Cited by-同舟云学术

Experience integrating a formal method into a software engineering course

Published:1996-03 Issue:1 Volume:28 Page:271-274
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Kelley Sobel Ann E.¹

Affiliation:

1. Systems Analysis Department, 230 J Kreger Hall, Miami University, Oxford, OH

Publisher

Association for Computing Machinery (ACM)

Reference12 articles.

1. Craigen Dan Susan Gerhart and Ted Raison "An International Survey of Industrial Applications of Formal Methods" Volume I and Ii National Institute of Standards and Technology GCR 93/626 March 1993. Craigen Dan Susan Gerhart and Ted Raison "An International Survey of Industrial Applications of Formal Methods" Volume I and Ii National Institute of Standards and Technology GCR 93/626 March 1993.

2. Educating a new engineer

3. A debate on teaching computing science

4. Strategies for incorporating formal specifications in software development

5. Teaching calculation and discrimination

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Technology Acquisition Plans to Foster Supply Chain Risk Management Learning Outcomes in Project-Based Software Development Courses;2024 36th International Conference on Software Engineering Education and Training (CSEE&T);2024-07-29

2. Adapting a Software Acquisition Curriculum to Instruct Supply Chain Risk Management in a Project-Based Software Development Course;2021 Third International Workshop on Software Engineering Education for the Next Generation (SEENG);2021-05

3. A survey of computer science capstone course literature;Computer Science Education;2011-09

4. Empirical results of a software engineering curriculum incorporating formal methods;ACM SIGCSE Bulletin;2000-03

5. Applying an operational formal method throughout software engineering education;Information and Software Technology;1998-07