Abstract: A method of implementing a software system on a target-platform is disclosed. The method includes preparing a specification document including statements that collectively specify requirements of the software system. The requirement statements are expressed with language elements of a specification language, and the specification document has an associated source file. In an embodiment, the source file is provided to a driver-code generator which translates the source file into a driver-code file readable by a run-time engine resident on the target-platform to provide, on execution of the driver-code file by the run-time engine, a software system compliant with the specified requirements.