The Deductive Synthesis Aproach
Begin with Goals/Constraints of Business Logic
First use to create
P
0
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
In the simple case, this is trivial.
But inputs/outputs may be very different.
© 2007 Charles Petrie - permission to reproduce widely with attribution