Related Topics
Select or Develop Algorithms (AP.1.3.4)
Algebraic Specification Techniques
Algorithm Formalization
Component-Based Software Development / COTS Integration
Resolution-Based Theorem Proving
Software Generation Systems