• DocumentCode
    3557371
  • Title

    Extended abstract: requirements modeling within iterative, incremental processes

  • Author

    Pareto, Lars

  • fYear
    2005
  • fDate
    11-14 July 2005
  • Firstpage
    249
  • Lastpage
    250
  • Abstract
    Requirements modeling is an established method for detecting defects in requirement specifications. Although many companies have successfully incorporated requirements modeling in their software processes, other companies face technology adoption problems: methods appear incompatible with processes and technologies in use, and with the attitudes of engineers. We approach this problem by adaptation of standard modeling know-how to existing practices and attitudes in certain companies. By a requirements modeling process that respects the constraints of iterative, incremental, use case driven development, and that uses a modeling language with a low learning barrier (for engineers), we hope to make companies that use the unified process amenable to requirements modeling.
  • Keywords
    Unified Modeling Language; formal specification; formal verification; software prototyping; UML; Unified Modeling Language; formal specification; iterative incremental processes; modeling language; requirement specification; requirements modeling; software prototyping; use case driven development; Adaptation model; Face detection;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on
  • Print_ISBN
    0-7803-9227-2
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2005.1487927
  • Filename
    1487927