Software science: Module, program, forms of software, and code-translation

The main idea of this paper is that the software engineering needs a proper software science: a solid theoretical foundation like the one found in physics. Software science lacks the universal, precise, and formal definition for module, program, and code-translation. The proliferation of languages and tools have confused the computer scientists. There is no universal and formal theory for the forms of software, for codetranslation variations, formal definition for module, and formal definition for program. NUSA programming-language and VOTO NUSA programming-tool are invented explain the four forms of software, code-translation variations, and to help formally defining the module and program. The proposed theory is tested against several programming-languages and several programming-tools.