3056 search results - page 488 / 612 » Compiling Embedded Languages |
143
Voted
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
134
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
183
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
184
Voted
AGENTCL
2003
Springer
15 years 10 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
126
Voted
UML
1998
Springer
15 years 9 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...