Software design using reusable algorithm abstractions

The work presented is concerned with partial automation of the design phase of software development, using a new type of design abstraction: task-oriented abstract algorithms. Task-oriented algorithm skeletons are free of data structure implementation details and restrictions. Using these abstract algorithms, software modules can be designed by a process of selecting appropriate abstract algorithms, specializing them to the particular situation, and then adding implementation details for data structures and subtasks. Recording this process represents the history of the design, providing a modifiable design document