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
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
2008
2008
TAU MIPLAB at ImageClef 2008
This paper describes the participation of Tel Aviv University Medical Image Processing Laboratory group at the ImageClef 2008… Expand
  • figure 2
  • figure 3
  • table 1
  • figure 4
  • figure 5
Highly Cited
2007
Highly Cited
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
2007
2007
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile
This paper describes a toolset for functional testing UML2.0 models by TTCN-3 test suites and its application within Motorola… Expand
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
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
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
2005
2005
A Tool for Quality-Driven Architecture Model Transformation: Master's thesis
 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
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