Title :
Extended abstract: requirements modeling within iterative, incremental processes
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;
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
DOI :
10.1109/MEMCOD.2005.1487927