A Modula-2 implementation of CSP
ACM SIGPLAN Notices
APL '87 Proceedings of the international conference on APL: APL in transition
On the teaching of Ada in an undergraduate computer science curriculum
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Ada tasking model and Prolog predication
ACM SIGSOFT Software Engineering Notes
Assessing the quality of abstract data types written in ADA
ICSE '88 Proceedings of the 10th international conference on Software engineering
The hierarchical simulation language HSL: a versatile tool for process-oriented simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
A visual execution model for Ada tasking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Allocation strategies for Ada tasks on hypercube multi-processors
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Empirical guidelines to use Ada effectively
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Teaching Ada for business students
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
An animated instructional model for Ada tasking
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Ada language considerations for concurrency analysis
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Two views of teaching Ada — integrated and stand-alone
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Concurrent simulation with entity life modeling: an airport simulator using Ada
WSC' 90 Proceedings of the 22nd conference on Winter simulation
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |