SW4594 Formal Models for Software Automation

This course covers the concepts, methods, techniques and tools for designing and developing systems. Specific topics include the use of knowledge-based tools for software evolution and techniques for specification, methods for program derivation and generation, domain-specific program synthesis techniques, and cognitive and planning approaches to software design.

Prerequisite

SW4500

Lecture Hours

3

Lab Hours

1

Quarter Offered

  • As Required