See this document in CiteSeerX!

Validating requirements: the evolutionary approach  (Make Corrections)  
M. Lemoine and D. Marre ONERA CERT D'epartement Prospective et Synth`ese 2,...



  Home/Search   Context   Related

 
View or download:
onecert.fr/fr/dprs/publi...compsac98.ps
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  onecert.fr/fr/dprs/public...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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