69 search results - page 4 / 14 » On the testability of SDL specifications |
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
CODES
2001
IEEE
13 years 10 months ago
2001
IEEE
PSTV
1989
13 years 7 months ago
1989
DATE
2000
IEEE
13 years 10 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...