93 search results - page 3 / 19 » SDL |
ROOM
2000
13 years 7 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
SDL
2001
13 years 7 months ago
2001
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
SDL
2003
13 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
CODES
1998
IEEE
13 years 10 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...