Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Rational Tau

Known as: Tau (disambiguation), 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… Expand
Wikipedia

Related topics

Related topics

1 relation
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several stand-alone applications… Expand
  • 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… Expand
  • 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
Aspect-Oriented Modeling (AOM) aims at supporting separation of concerns at the modeling level, with the purpose of improving… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
A wireless communication platform for long-term health monitoring
Recent advances in wireless communication technology have opened the way for long-term health monitoring applications. In this… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
The development of computer controlled Railway Interlocking Systems (RIS) has seen an increasing interest in the use of Formal… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
SPT - The SDL Pattern Tool
In 1997, the SDL pattern approach, consisting of a specific design process, notation for the definition of generic design… Expand
Is this relevant?
2001
2001
Rapid generation of functional tests using MSCs, SDL and TTCN
This paper reports the results of a study undertaken to determine the suitability of CASE tools and formal methods for systematic… Expand
  • figure 1
  • figure 4
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
1999
1999
SDL framework for prototyping and validation of IN services
Service Creation Environments (SCEs) for Intelligent Networks provide very limited support for service requirements analysis… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE