3056 search results - page 528 / 612 » Compiling Embedded Languages |
136
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
144
Voted
RE
1999
Springer
15 years 9 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
146
Voted
ISORC
1998
IEEE
15 years 9 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
183
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
120
click to vote
FPL
1997
Springer
15 years 9 months ago
1997
Springer
: The paper first proposes requirements for an ideal platform for codesign research. A new board developed at Imperial College, the Riley-2, is shown to meet these requirements. It...