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