The Deductive Synthesis Aproach
Begin with Goals/Constraints of Business Logic
In the simple case, this is trivial.
- First use to create P0 in product T0
- Try to capture changed business logic/services/objects of Customer
- Synthesize new P'1 using that logic
- Guide synthesis using P'0
But inputs/outputs may be very different.
© 2007 Charles Petrie - permission to reproduce widely with attribution