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
Link To Document