Build platform independent models of your requirements that you can run, test and translate to platform specific code.
More about state models go here