Keywords: Synthesis, transformation, generative, knowledge-based systems
Workshop Goals:
Exchange ideas on capture and mechanized reuse of design knowledge.
Particular interest in learning about other work related to knowledge
acquisition for program generation.
Working Groups: reuse and formal methods, reusable component
certification, domain analysis/engineering