DocumentCode
3400634
Title
Capturing and analyzing requirement - in case of software and applying to hardware
Author
Kawaguchi, Akira
Author_Institution
Solution Design Lab. Co. Ltd., Yokohama, Japan
fYear
2003
fDate
21-24 Jan. 2003
Firstpage
677
Lastpage
682
Abstract
This paper introduces the technology of requirement capture and requirement analysis that uses the UML in the software world, and considers application of this technology to hardware development.
Keywords
electronic design automation; formal specification; formal verification; hardware-software codesign; specification languages; UML; hardware development; requirement analysis technology; requirement capture technology; software development; Application software; Cities and towns; Computer aided software engineering; Concrete; Hardware; Laboratories; Large-scale systems; Software systems; Throughput; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2003. Proceedings of the ASP-DAC 2003. Asia and South Pacific
Print_ISBN
0-7803-7659-5
Type
conf
DOI
10.1109/ASPDAC.2003.1195107
Filename
1195107
Link To Document