VDM++ Sorting Algorithms

VDM++ Sorting Algorithms - CSKSYSTEMSCORPORATION VDMTools...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSKSYSTEMSCORPORATION VDMTools VDM++ Sorting Algorithms ver.1.0 How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ VDM.SP@csk.com General information VDM++ Sorting Algorithms 1.0 Revised for VDMTools v8.2 c COPYRIGHT 2009 by CSK SYSTEMS CORPORATION The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. This document is subject to change without notice VDM++ Sorting Algorithms Contents 1 Introduction 1 2 Sort Machine 2 3 Sorter class 4 4 MergeSort 5 5 DoSort 7 6 ImplSort 8 7 ExplSort 9 i VDM++ Sorting Algorithms ii VDM++ Sorting Algorithms 1 Introduction This document contains a sorting example. The class diagram can be seen in Figure 1 . The structure of the example is known as the strategy pattern. This pattern defines a family of algorithms, encapsulates each one and make them interchangeable. The strategy pattern lets the algorithm vary independently from clients that use it. The SortMachine class is the client that uses the different sorting algorithms. The Sorter class is an abstract class that defines a common interface to all supported algorithms....
View Full Document

Page1 / 13

VDM++ Sorting Algorithms - CSKSYSTEMSCORPORATION VDMTools...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online