System-on-chip validation using UML and CWL.
Qiang ZhuRyosuke OishiTakashi HasegawaTsuneo NakataPublished in: CODES+ISSS (2004)
Keyphrases
- model based testing
- hardware and software
- power consumption
- object oriented
- embedded systems
- software development
- software engineering
- software systems
- metamodel
- design methodology
- modeling language
- conceptual modeling
- sequence diagrams
- uml class diagrams
- hardware software partitioning
- uml models
- uml activity diagrams
- object oriented modeling
- model driven engineering
- class diagrams
- unified modeling language
- software architecture
- database design
- class diagram
- uml diagrams
- state machine
- specification language
- uml profile
- computer systems
- artificial intelligence