首页>
外国专利>
GENERATING AND UTILIZING FINITE INPUT OUTPUT MODELS, COMPARISON OF SEMANTIC MODELS AND SOFTWARE QUALITY ASSURANCE
GENERATING AND UTILIZING FINITE INPUT OUTPUT MODELS, COMPARISON OF SEMANTIC MODELS AND SOFTWARE QUALITY ASSURANCE
展开▼
机译:生成和使用有限输入输出模型,语义模型的比较和软件质量保证
展开▼
页面导航
摘要
著录项
相似文献
摘要
Aspects of the invention relate generally to software, and more specifically to one or more specifically to software development, FIOSM creation, comparison and subsumption in a software environment and software quality assurance. An exemplary embodiment includes the processes of: (i) designing and verifying that a computer language can completely and correctly generate a Finite Input-Output Semantic Model (FIOSM); and (ii) generating, typically using automation, a FIOSM for a program or system of several programs written in a FIOSM-compatible language.
展开▼