Practically formal methods

Proceedings - 1996 International Conference Software Engineering: Education and Practice, SEEP 1996

Volumn , Issue , 1996, Pages 168-175

  Davis, R E ^a   Danielson, R L ^a  

^a Department of Computer Science and Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; COMPUTER SOFTWARE REUSABILITY; CURRICULA; SOFTWARE DESIGN; VERIFICATION;

ABSTRACT DATA STRUCTURES; PRACTICAL USE; QUALITY OF DOCUMENTATIONS; SOPHOMORE-LEVEL; SPECIFICATION AND DESIGNS; TOOLS AND TECHNIQUES;

FORMAL SPECIFICATION;

EID: 84958034600     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEEP.1996.533996     Document Type: Conference Paper

References (8)

1. Ted Biggerstaff and Charles Richter. Reusability Framework, Assessment, and Directions. IEEE Software, 4(2):41-49, 1987.
2. R. E. Davis and R. L. Danielson. LSL + Ada -Reusable Data Structures. In Proceedings of the Tenth Annual Washington Ada Symposium, pages 115-124, June 1993.
3. J. V. Guttag, J. J. Horning, and A. Modet. Report on the Larch Shared Language, version 2.3. Technical Report DEC/SRC SRC-58, Digital Equipment Corporation Systems Research Center Report, April 1990.
4. J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch Family of Specification Languages. IEEE Software, 2(5):24-36, 1985.
5. J. V. Guttag, A. Modet, J. J. Horning (eds.) with S. J. Garland, K. D. Jones, and J. M. Wing, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer- Verlag, 1993.
6. Charles W. Krueger. Software Reuse. ACM Computing Surveys, 24(2):131-183, 1992.
7. Guttorm Sindre, Even-Andre Karlsson, and Tor Stalhane. Software Reuse in an Educational Perspective. In C. Sledge, editor, Software Engineering Education, volume 640 of Lecture Notes in Computer Science, pages 99-114. Springer-Verlag, 1992.
8. Scott N Woodfield, David W. Embley, and Del T. Scott. Can Programmers Reuse Software? IEEE Software, 4(4):52-59, 1987.