Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Enterprise architecture planningEnterprise architecture planning (EAP) in enterprise architecture is the planning process of defining architectures for the use of information in support of the business and the plan for implementing those architectures. One of the earlier professional practitioners in the field of system architecture Steven H. Spewak in 1992 defined Enterprise Architecture Planning (EAP) as "the process of defining architectures for the use of information in support of the business and the plan for implementing those architectures.
Réingénierie des processus d'affairesLa réingénierie des processus métier (RPA), également connu en anglais sous le nom business process reengineering (BPR), est une approche qui vise à repenser les processus d'affaires de l'entreprise et à les rendre plus efficace. Selon cette approche' l'entreprise abandonne l'organisation classique verticale fonctionnelle en faveur d'une organisation horizontale (structure plate) dans laquelle la prise de décision peut être déléguée (empowerment) aux acteurs opérationnels en front-office (ceux en contact direct avec les clients) et les fonctions supports (ou de soutien) du siège administratif sont réduites afin de permettre de dégager davantage de valeur pour les clients.
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Enterprise softwareEnterprise software, also known as enterprise application software (EAS), is computer software used to satisfy the needs of an organization rather than individual users. Such organizations include businesses, schools, interest-based user groups, clubs, charities, and governments. Enterprise software is an integral part of a computer-based information system. Enterprise software handles a number of operations in an organization, for example to enhance the business and management reporting tasks, or support production operations and back-office.
Business process mappingBusiness process mapping refers to activities involved in defining what a business entity does, who is responsible, to what standard a business process should be completed, and how the success of a business process can be determined. The main purpose behind business process mapping is to assist organizations in becoming more effective. A clear and detailed business process map or diagram allows outside firms to come in and look at whether or not improvements can be made to the current process.
Modèle d'entrepriseLe modèle d'entreprise, en anglais business model, est la représentation systémique et synthétique de l'origine de la valeur ajoutée d'une entreprise et de son partage de la valeur ajoutée entre les différentes parties prenantes, sur une période et pour un domaine d'activité clairement identifiés. Le modèle d'entreprise est donc un document de référence qui présente la manière dont une entreprise entend fonder et garantir sa rentabilité. À ce titre il est révélateur de la capacité de l'équipe dirigeante de l'entreprise à définir des objectifs et à produire des résultats.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
