ACM Computing Surveys (CSUR)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Programming in Ada95
Software Component with ADA
Status Report: Software Reusability
IEEE Software
Software Reuse in an Educational Perspective
Proceedings of the SEI Conference on Software Engineering Education
Formal Methods for Software Engineers: Tradeoffs in Curriculum Design
Proceedings of the SEI Conference on Software Engineering Education
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
| Hi-index | 0.00 |