2493 search results - page 438 / 499 » Tool Support for Design by Contract |
ASWSD
2006
Springer
15 years 1 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
DAS
2006
Springer
15 years 1 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
COMPSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...