Rational Tau

Known as: Telelogic TAU 
Rational Tau is a UML and SysML modeling tool supporting automated code generation and model verification. Tau is today maintained by IBM. It was… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1998-2011
012319982011

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The importance of the specification of train control system is increasingly recognized and gained more attention in signalling… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
One of the fundamental issues in Aspect-Oriented approaches is aspect-to-aspect interference, which occurs when multiple aspects… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Aspect-Oriented Modeling (AOM) aims at supporting separation of concerns at the modeling level, with the purpose of improving… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Design erosion is one of the unavoidable effects of software evolution. This destructive phenomenon occurs also in the context of… (More)
  • figure 2
  • figure 3
  • figure 1
  • figure 4
  • figure 6
Is this relevant?
2006
2006
WEAVR The behavioral specifications of extra-functional concerns such as security, fault-tolerance or exception-handling tend to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
In this paper, we present an efficient way how protocols modelled in SDL (Specification and Description Language) can be… (More)
Is this relevant?
2006
2006
Today there is a never ending demand for new functionality to be included in embedded systems such as mobile phones. This leads… (More)
  • figure 1
Is this relevant?
2003
2003
This paper describes the formal approach to modeling IETF Session Initiation Protocol (SIP) and its services in SDL. The main… (More)
Is this relevant?
2003
2003
  • Yat - Wan Chan
  • 2003
This thesis describes a practical formal approach to designing Internet (IP) Telephony services with fewer feature interactions… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
This paper reports the results of a successful study undertaken to determine the suitability of CASE tools and formal methods for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?