Executable software specification generation can include recording interactions with a user-interface (UI) mockup for a particular program and generating a number of executable software specification for the particular program based on the interactions with the UI mockup.