SDL
2001
14 years 28 days ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
SDL
2001
14 years 28 days ago
2001
SDL
2001
14 years 28 days ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
SDL
2001
14 years 28 days ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
SDL
2001
14 years 28 days ago
2001
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
SDL
2001
14 years 28 days ago
2001
SDL
2001
14 years 28 days ago
2001
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
SDL
2001
14 years 28 days 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 ...