390 search results - page 3 / 78 » Extension Language Automation of Embedded System Debugging |
104
click to vote
DAC
1998
ACM
16 years 3 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
106
click to vote
WORDS
2002
IEEE
15 years 7 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
144
click to vote
CL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
163
click to vote
OMER
2001
15 years 3 months ago
2001
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
114
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...