Spécification fonctionnelle

Résumé

La spécification fonctionnelle est la description des fonctions d'un logiciel en vue de sa réalisation. La spécification fonctionnelle décrit dans le détail la façon dont les exigences seront prises en compte. Un exemple d'exigence est l'adaptation d'un progiciel à l'utilisateur en ce qui concerne la langue (le français dans les pays francophones). Une spécification fonctionnelle est indépendante de la façon dont sera réalisé le logiciel en question. Elle doit être exprimée en termes de fonctions et non pas en termes de solutions. Il existe deux sortes de spécifications fonctionnelles :

Les spécifications fonctionnelles générales (SFG), qui décrivent le modèle métier, élaborées par la maîtrise d'ouvrage,
Les spécifications fonctionnelles détaillées (SFD), qui sont élaborées par la maîtrise d'œuvre.

Notes et références Voir aussi

Spécification (norme technique)

Catégorie:Développement logiciel

Source officielle

https://fr.wikipedia.org/wiki/Sp%C3%A9cification_fonctionnelle

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (13)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (9)

Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiqu

Une est, dans le domaine de l'ingénierie, un besoin, une nécessité, une attente auquel un produit ou un service doit répondre ou une contrainte qu'il doit satisfaire. L'exigence peut être exprimée

En ingénierie des systèmes et en ingénierie logicielle, l'analyse des exigences comprend les tâches qui ont pour but de déterminer les exigences d'un système nouveau ou à modifier, en prenant en comp

Afficher plus

Concepts associés

Chargement

Cours associés (7)

Cours associés

Chargement

Séances de cours associées (11)

Séances de cours associées

Chargement

A game-based approach for evaluating and customizing handwriting training using an autonomous social robot

Barbara Bruno, Daniel Carnieto Tozadore, Pierre Dillenbourg, Chenyang Wang

Handwriting learning is a long and complex process that takes about ten years to be fully mastered. Nearly one-third of all children aged 4-12 experiences handwriting difficulties and, sadly, most of them are left to fight them on their own, due to the scarcity of tools for the detection and remediation of such difficulties. Building on state-of-the-art digital solutions for automated handwriting assessment and the training of specific handwriting-related skills, in this article we discuss requirements, rationale, and architecture of a system for handwriting training, which relies on a social robot as a mediator agent, offering personalized training and suggestions. The system is envisioned to operate autonomously and to support long-term interactions via personalization. Preliminary validation of the system in an experiment with 31 children showed its potential not only for autonomously guiding handwriting training sessions but also for its inclusion in the teachers' practice.

2022

Chargement

, , ,

This paper proposes a novel type of RFID application, i.e., RFID seeking. Several existing types of RFID applications such as monitoring, searching, locating/navigating, are similar with RFID seeking. However, they are either inapplicable or vulnerable for RFID seeking scenarios, in which a user is to find a lost tagged item in a blind spot, or to find a wanted item among a mass of similar ones. In this paper, detailed requirements for RFID seeking are suggested. The first secure RFID seeking protocol is proposed, meeting all the given requirements. Its security is formally verified by using the AVISPA tool. The proposed protocol is server-less, lightweight, privacy-friendly to both RFID readers and tags, and is secure against common attacks such as eavesdropping, manipulating, replaying, tracing, Denial of Service (DoS), etc.

Elsevier2014

Chargement

Anti-Obesity and Anti-Hyperglycemic Effects of Cinnamaldehyde via altered Ghrelin Secretion and Functional impact on Food Intake and Gastric Emptying

Susana Camacho Romero, Johannes Le Coutre, Henry Markram, Julie Meystre, Maurizio Ferdinando Pezzoli

Cinnamon extract is associated to different health benefits but the active ingredients or pathways are unknown. Cinnamaldehyde (CIN) imparts the characteristic flavor to cinnamon and is known to be the main agonist of transient receptor potential-ankyrin receptor 1 (TRPA1). Here, expression of TRPA1 in epithelial mouse stomach cells is described. After receiving a single-dose of CIN, mice significantly reduce cumulative food intake and gastric emptying rates. Co-localization of TRPA1 and ghrelin in enteroendocrine cells of the duodenum is observed both in vivo and in the MGN3-1 cell line, a ghrelin secreting cell model, where incubation with CIN up-regulates expression of TRPA1 and Insulin receptor genes. Ghrelin secreted in the culture medium was quantified following CIN stimulation and we observe that octanoyl and total ghrelin are significantly lower than in control conditions. Additionally, obese mice fed for five weeks with CIN-containing diet significantly reduce their cumulative body weight gain and improve glucose tolerance without detectable modification of insulin secretion. Finally, in adipose tissue up-regulation of genes related to fatty acid oxidation was observed. Taken together, the results confirm anti-hyperglycemic and anti-obesity effects of CIN opening a new approach to investigate how certain spice derived compounds regulate endogenous ghrelin release for therapeutic intervention.

Nature Publishing Group2015

Chargement