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
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;
Conference_Titel :
Design Automation Conference, 2003. Proceedings of the ASP-DAC 2003. Asia and South Pacific
Print_ISBN :
0-7803-7659-5
DOI :
10.1109/ASPDAC.2003.1195107
