Structure and interpretation of computer programs
Structure and interpretation of computer programs
Parallel program design: a foundation
Parallel program design: a foundation
Scaling up: a research agenda for software engineering
Communications of the ACM
Predicate calculus and program semantics
Predicate calculus and program semantics
An introduction to functional programming
An introduction to functional programming
Current trends in computer science curriculum: a survey of four-year programs
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
ACM SIGSOFT Software Engineering Notes
ACM SIGCSE Bulletin
The benefits of collaboration for student programmers
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Self-sufficiency and critical thinking in the programming languages course
ACM SIGCSE Bulletin
From specific problem instances to algorithms in the introductory course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
An experience teaching formal methods in discrete mathematics
ACM SIGCSE Bulletin
ACM SIGACT News
Teaching formal programming to first year computer science students
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Experience integrating a formal method into a software engineering course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Providing intellectual focus to CS1/CS2
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
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
Frontiers for computer science in computational science
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
User participation and participatory design: topics in computing education
Human-Computer Interaction
Which Mathematics for the Information Society?
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
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
| Hi-index | 48.22 |