Building DarkFactory, a multi-agent software factory that develops and verifies Tablekeeper, a restaurant reservation application.