Algorithm Design and Analysis
Algorithm development: Key aspect of system design at functional level
little work has been done on selection of algorithm based on specifications
have to have strong correctness properties in critical operations
Algorithm analysis is more general concept than simulation
Important to decide on mathematical model for designer that will support algorithm analysis