ACM Computing Surveys (CSUR)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
LSL + Ada → reusable data structures
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Software Reuse in an Educational Perspective
Proceedings of the SEI Conference on Software Engineering Education
Reusability Framework, Assessment, and Directions
IEEE Software
The Larch Family of Specification Languages
IEEE Software
Can Programmers Reuse Software?
IEEE Software
Formal Modeling in a Commercial Setting: A Case Study
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
| Hi-index | 0.00 |
The use of formal methods in Software Engineering need not imply that one is committed to formal specification, derivation, and verification of all programs. Formal methods encompass a spectrum of tools and techniques; some may be more appropriate than others in a given application. In order to bring formal specifications and reuse into the mainstream of software development, we have incorporated an introduction to formal specification and design for reuse in our sophomore-level data structures course. The specification, representation and implementation of abstract data structures present the ideal opportunity to introduce students to these techniques. In this paper we present our approach to the informal, practical, use of specifications as a guide to implementation, increasing both the quality of documentation and confidence in the correctness of implementation of data structures.