Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Teaching Formal Methods Early In the Software Engineering Curriculum
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Teaching a formal method in a software engineering course
Proceedings of the 2nd annual conference on Mid-south college computing
Teaching the unifying mathematics of software design
Proceedings of the 14th Western Canadian Conference on Computing Education
| Hi-index | 0.00 |