SDL
2001
13 years 6 months 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
13 years 6 months ago
2001
SDL
2001
13 years 6 months 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
13 years 6 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
2007
13 years 6 months ago
2007
Software metrics are an essential means to assess software quality. For the assessment of software quality, typically sets of complementing metrics are used since individual metric...
SDL
2007
13 years 6 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
SDL
2007
13 years 6 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
SDL
2007
13 years 6 months ago
2007
SDL
2007
13 years 6 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...