机译:Experience Report: Using RESOLVE/C++ for Commercial Software
Holly Software, Inc. PO Box 480 Floyds Knobs, IN 47119 USA;
Holly Software, Inc. PO Box 480 Floyds Knobs, In 47119 USA;
Computer and Information Science The Ohio State University Columbus, OH 43210 USA;
component-based software engineering; design-by-contract; design discipline; generic; software reuse; swapping; template;