M. Lemoine and D. Marre ONERA CERT D'epartement Prospective et Synth`ese 2,...  Home/Search
Context
Related
| onecert.fr/fr/dprs/publi...compsac98.ps Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: onecert.fr/fr/dprs/public...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Industrial practices in Requirements Engineering do not give the right place to formal methods. Two main reasons explain why such a failure arises. First of all formal methods have not promoted a dedicated SLC (Software Life Cycle) which should have been easily integrated within the upper phases of the traditional Vlike or Waterfall-like model. A second reason is that formal methods have failed in scaling up. In this paper we show how the requirements elicitation phase can take advantage of... (Update)
Similar documents based on text: More All
0.4: Speech Perceptual Abilities Of Children With Specific.. - Valerie Hazan And (Correct)
0.2: Optimal Resolution of En Route Conflicts - Durand, Alliot (1997) (Correct)
0.2: Complex Optimization Problems in Space Systems - Mancel And Lopez (Correct)
BibTeX entry: (Update)
@misc{ lemoine-validating,
author = "Lemoine And Marre",
title = "Validating Requirements: The Evolutionary Approach",
url = "citeseer.ist.psu.edu/396941.html" }
Citations (may not include all citations):441 Software Engineering Economic (context) - Boehm - 1981
274 Prentice Hall International (context) - Spivey, notation et al. - 1992
123 Seven myths of formal methods (context) - Hall - 1990
78 The Unix Programming Environment (context) - Kerninghan, Pike - 1984
77 Prentice Hall International (context) - Rumbaugh, Modeling et al. - 1991
51 Formal methods and the certification of critical systems - Rushby - 1993
1 Evaluation of advanced decision aids for en-route air trafic.. (context) - Leroux - 1997
1 eme critique par r (context) - Gianazza, d'un - 1997
1 Dossier de sp'ecification du syst`eme ERATO (context) - Thuillier, Veron et al. - 1997
1 specification of the OMT ERATO model (context) - Lemoine, Marre - 1997
1 MEthode de D'eveloppement Int'egr'e d'Applications et de Sys.. (context) - MEDIAS - 1994
Documents on the same site (http://www.onecert.fr/fr/dprs/publications/index.html): More
Airport Noise / Annoyance Analysis - Marc Boyer Laurent (Correct)
Parallelism Exploitation in SAR Data Compression Methods - Botero And Hifdi (Correct)
Multiresolution Modeling and Simulation with the High.. - Martin Adelantado.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC