input: [Patent] US 7,543,274 [GSFC Case Number] GSC-14389-1 [Description] This is a core technique for mechanically deriving both a formal specification and executable computer code from both English language and programming language representations of scenarios of hardware or software system behavior. The formal specifications provide a means to check the scenarios for potential errors that are difficult or nearly impossible to find with specifications that have no formal underlying mathematical foundation. From the formal specification, this technique automatically generates computer-executable code, which will ensure that no errors are introduced into the code from manual coding. Such an approach enables less time spent on coding and developing test cases, which reduces development time, and enables higher quality systems with less expense. This automatic code generation is efficient, reduces errors and supports a full development life cycle. [Title] 
output: System And Method For Deriving A Process-Based Specification