733 search results - page 10 / 147 » Embedded Architecture Description Language |
SBACPAD
2004
IEEE
13 years 11 months ago
2004
IEEE
MEMICS
2010
13 years 4 months ago
2010
UML
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
RSP
2007
IEEE
14 years 4 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...