An over aching computational method; in essence an incremental specification of design logic in a computational form that eventually yields with a design space open for exploration of alternatives and their variations.