Metadata
Author: patents-wipo
Data
English[en]
Tools that provide quality assurance to improve the efficiency of developing software using a Finite Input Output Semantic Model (FIOSM, or herein referred to as a Semantic Model (SM) or Semantic Model Program) and automated reasoning services compatible with a semantic model.
French[fr]
La présente invention concerne des outils de garantie de qualité pour améliorer l'efficacité de développement de logiciels à l'aide d'un modèle sémantique d'entrée/sortie finies (désigné modèle sémantique ou programme de modèle sémantique) et des services de raisonnement automatisés compatibles avec un modèle sémantique.