Les exigences au coeur du développement logiciel PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Les exigences au coeur du développement logiciel PDF full book. Access full book title Les exigences au coeur du développement logiciel by Vincent Jarrossay. Download full books in PDF and EPUB format.
Author: Vincent Jarrossay
Publisher: Vincent JARROSSAY
ISBN: 2746632969
Category :
Languages : fr
Pages : 104
Get Book Here
Book Description
Tout l'objectif d'un projet informatique est de délivrer une solution qui réponde à un besoin utilisateur. L'art d'exprimer ce que le "système informatique doit faire" est l'objectif même de la notion d'exigences. Après avoir présenté les différents types d'exigences et l'articulation besoin/exigence, une attention particulière est portée sur la manière dont on identifie et on exprime les "cas d'utilisation". La seconde partie de l'ouvrage démontre l'influence des exigences sur les capacités d'ingénierie et de gestion de projet et positionne la gestion et le développement des exigences dans une démarche CMMI. Cet ouvrage place la notion d'exigence comme au cœur des préoccupations du développement logiciel. [4e de couv.]
Author: Vincent Jarrossay
Publisher: Vincent JARROSSAY
ISBN: 2746632969
Category :
Languages : fr
Pages : 104
Get Book Here
Book Description
Tout l'objectif d'un projet informatique est de délivrer une solution qui réponde à un besoin utilisateur. L'art d'exprimer ce que le "système informatique doit faire" est l'objectif même de la notion d'exigences. Après avoir présenté les différents types d'exigences et l'articulation besoin/exigence, une attention particulière est portée sur la manière dont on identifie et on exprime les "cas d'utilisation". La seconde partie de l'ouvrage démontre l'influence des exigences sur les capacités d'ingénierie et de gestion de projet et positionne la gestion et le développement des exigences dans une démarche CMMI. Cet ouvrage place la notion d'exigence comme au cœur des préoccupations du développement logiciel. [4e de couv.]
Author: Erwan Brottier
Publisher:
ISBN:
Category :
Languages : fr
Pages : 215
Get Book Here
Book Description
Nous nous intéressons à la définition d’une plate-forme industrielle favorisant une meilleure intégration des techniques de vérification et de validation des exigences au sein des processus de développement. Cette plate-forme, appelée R2A est entièrement construite à l’aide de technologies issues de l’ingénierie dirigée par les modèles. Le cœur de la plate-forme est un processus de composition de modèles à deux niveaux de modélisation. Au niveau instance, il produit une spécification globale des exigences à partir d’une collection de spécifications d’exigences partielles, hétérogènes et potentiellement incohérentes. Au niveau de la conception de la plate-forme, il produit le formalisme interne de la plate-forme à partir de composants de conception embarquant des sémantiques opérationnelles, de composition et de déploiement. Ce processus favorise l’adaptabilité de la plate-forme à des contextes industriels variés. L’obtention d’une spécification globale des exigences (i) autorise l’application des techniques modernes de vérification et de validation pour la détection d’incohérences et (ii) favorise une approche de développement dirigée par les modèles dès les premières étapes du développement logiciel. Dans sa version actuelle, la plate-forme est spécialisée pour le contexte industriel de France Télécom. Elle supporte quatre langages de description des exigences : les diagrammes d’activité et de classes UML, un langage naturel contraint et son formalisme interne. Les fonctionnalités principales sont (i) la génération d’objectifs de test système, (ii) la production d’une première spécification d’analyse et (iii) la vérification de la cohérence des exigences.
Author: K.E. Peterson
Publisher: CRC Press
ISBN: 9781851668755
Category : Business & Economics
Languages : en
Pages : 1226
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Telecommunication
Languages : en
Pages : 1526
Get Book Here
Book Description
Author: E. Gabriella Coleman
Publisher: Princeton University Press
ISBN: 0691144613
Category : Computers
Languages : en
Pages : 268
Get Book Here
Book Description
Who are computer hackers? What is free software? And what does the emergence of a community dedicated to the production of free and open source software--and to hacking as a technical, aesthetic, and moral project--reveal about the values of contemporary liberalism? Exploring the rise and political significance of the free and open source software (F/OSS) movement in the United States and Europe, Coding Freedom details the ethics behind hackers' devotion to F/OSS, the social codes that guide its production, and the political struggles through which hackers question the scope and direction of copyright and patent law. In telling the story of the F/OSS movement, the book unfolds a broader narrative involving computing, the politics of access, and intellectual property. E. Gabriella Coleman tracks the ways in which hackers collaborate and examines passionate manifestos, hacker humor, free software project governance, and festive hacker conferences. Looking at the ways that hackers sustain their productive freedom, Coleman shows that these activists, driven by a commitment to their work, reformulate key ideals including free speech, transparency, and meritocracy, and refuse restrictive intellectual protections. Coleman demonstrates how hacking, so often marginalized or misunderstood, sheds light on the continuing relevance of liberalism in online collaboration.
Author: Léonard Dobrzynski
Publisher:
ISBN:
Category : Condensed matter
Languages : en
Pages : 592
Get Book Here
Book Description
Author: PRINTZ Jacques
Publisher: Lavoisier
ISBN: 2746288346
Category :
Languages : en
Pages : 402
Get Book Here
Book Description
Les projets informatiques sont désormais développés dans le cadre d’un système existant. Ils doivent, in fine, s’intégrer en interaction avec d’autres projets, sur les infrastructures communes de l’entreprise et sans interrompre le service : c’est la notion d’usine logicielle. Estimation des projets de l’entreprise numérique s’intéresse particulièrement à l’analyse des coûts d’intégration. Un modèle original d’estimation de ces coûts est proposé assurant l’équilibrage des quatre grandeurs fondamentales : coût, qualité, fonctionnalité et délai. Cet ouvrage bénéficie des travaux effectués par le groupe de travail Intégration & Complexité de l’association CESAMES, en relation avec la chaire X-ParisTech, ce qui a permis de valider le modèle avec les industriels participants. Il présente en détail le modèle COCOMO et dresse les grandes lignes de la méthode de comptage par points de fonctions. Une étude de cas basée sur les systèmes C4ISTAR illustre l’utilisation de ces méthodes dans un contexte de systèmes réels de grande complexité.
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 274628801X
Category :
Languages : en
Pages : 402
Get Book Here
Book Description
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
Author: Souter, David
Publisher: UNESCO Publishing
ISBN: 9231003143
Category : Human rights
Languages : en
Pages : 197
Get Book Here
Book Description
Author: UNESCO
Publisher: UNESCO Publishing
ISBN: 9231003550
Category :
Languages : en
Pages : 112
Get Book Here
Book Description
