UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study.
Antonio MinosiSrinivas MankanAris MartinolaFrancesco BalzariniAtanas N. KostadinovMauro PrevostiniPublished in: FDL (2003)
Keyphrases
- hw sw
- hardware software
- specification language
- embedded systems
- design methodology
- class diagram
- hardware software partitioning
- formal specification
- software systems
- modeling language
- high level
- case study
- conceptual models
- object oriented
- software engineering
- real time
- formal methods
- software development
- image processing