27 search results - page 6 / 6 » mscs 2007 |
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...
CONCUR
2007
Springer
13 years 8 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...