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

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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
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
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-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
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
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
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
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
Service Creation Environments (SCEs) for Intelligent Networks provide very limited support for service requirements analysis… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?