| 摘要 |
The invention concerns a method of developing software, in particular specifying a multiplicity of mappings in software, each of which maps at least one argument, that has a first type of a multiplicity of different types, onto a result that has a second type; as well as a method of for executing software that uses a multiplicity of mappings in software, each of which maps at least one argument, that has a first type of a multiplicity of different types, onto a result that has a second type, wherein the methods comprise the following steps: defining a uniform standard format for all mappings, wherein the uniform format formally accepts arguments of all types, providing a given mapping acting on at least one argument that has a given type, executing a first stage of the given mapping at the time of compilation of the software by combining the given mapping with the at least one given type rendering a unit representing the executed given mapping, which provides a fixed set of properties of said combination, in particular information on the second, and makes said fixed set available; as well as the corresponding devices for carrying out the methods. The invention provides for a high level of software quality, in particular software flexibility, software modularity, software expressivity and software efficiency, and in consequence software system reliability, which is achieved by comparatively small programming efforts and which is particularly useful for large scale and complex software systems that require a high degree of reliability and/or are subject to constant adaptation according to the current needs, such as power plant control systems, air traffic control systems, train network systems, mobile telecommunication network systems. |
