Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,551,813 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
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
Lei Yuan
,
T. Tang
,
Kaicheng Li
Tenth International Symposium on Autonomous…
2011
Corpus ID: 5164874
The importance of the specification of train control system is increasingly recognized and gained more attention in signalling…
Expand
2008
2008
Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems
J. Kreku
,
M. Hoppari
,
+4 authors
Kari Tiensyrjä
EURASIP Journal on Embedded Systems
2008
Corpus ID: 7166378
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several stand-alone applications…
Expand
2008
2008
TAU MIPLAB at ImageClef 2008
U. Avni
,
J. Goldberger
,
H. Greenspan
Conference and Labs of the Evaluation Forum
2008
Corpus ID: 9346281
This paper describes the participation of Tel Aviv University Medical Image Processing Laboratory group at the ImageClef 2008…
Expand
2007
2007
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile
P. Baker
,
C. Jervis
SDL Forum
2007
Corpus ID: 12640385
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
Jing Zhang
2006
Corpus ID: 17263390
Aspect-Oriented Modeling (AOM) aims at supporting separation of concerns at the modeling level, with the purpose of improving…
Expand
2006
2006
A wireless communication platform for long-term health monitoring
D. Dietterle
,
J. Ebert
,
G. Wagenknecht
,
R. Kraemer
Fourth Annual IEEE International Conference on…
2006
Corpus ID: 17657543
Recent advances in wireless communication technology have opened the way for long-term health monitoring applications. In this…
Expand
2005
2005
SDL-based network performance simulation
Yang Yang
,
Lu Yang
,
Xiaokang Lin
SPIE/OSA/IEEE Asia Communications and Photonics
2005
Corpus ID: 60724028
Specification and description language (SDL) is an object-oriented formal language defined as a standard by ITU-T. Though SDL is…
Expand
2004
2004
SPT - The SDL Pattern Tool
Jörg Dorsch
,
Anders Ek
,
R. Gotzhein
International Conference on Security and…
2004
Corpus ID: 33073981
In 1997, the SDL pattern approach, consisting of a specific design process, notation for the definition of generic design…
Expand
2002
2002
Biologiczna rola interferonu tau
Magdalena Falkowska-Podstawka
,
Z. Wrona
,
L. Krakowski
2002
Corpus ID: 89583377
Interferon tau, a member of type i interferon, is the first protein secreted by the trophectoderm of ruminant conceptus in…
Expand
2000
2000
Mission control with the UML and SDL formalisms
J. Champeau
,
P. Dhaussy
,
L. Latreille
OCEANS MTS/IEEE Conference and Exhibition…
2000
Corpus ID: 62433549
The mission control system for an AUV is a sub-system which is integrated in the overall software development but in many cases…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE