FAQ

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

Related topics

Related topics

1 relation
Unified Modeling Language

Related mentions per year

Related mentions per year

1976-2018
197019801990200020102020
Rational Tau
Unified Modeling Language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
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
Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver
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 Interference and Composition in the Motorola Aspect-Oriented Modeling Weaver
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
An approach to refactoring of executable UML models
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
Motorola Weavr: an Add-in for Aspect-oriented Modeling in Telelogic Tau G2
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
Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations
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
UML to SystemC Transformation in the MARTES Project
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
Modeling IETF Session Initiation Protocol and Its Services in SDL
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
Methods for Designing Internet Telephony Services with Fewer Feature Interactions
  • 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
Fast Functional Test Generation Using an SDL Model
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?