Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,262,410 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
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
2006
2006
MOTOROLA WEAVR: AN ADD-IN FOR ASPECT-ORIENTED MODELING IN TELELOGIC TAU G2
T. Cottenier
,
Aswin van den Berg
,
T. Elrad
2006
Corpus ID: 15891549
In apparatus for manufacturing and packaging bound books a turnover device is provided for turning over alternate books fed by a…
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
2003
2003
Synthesizing SDL from Use Case Maps: An Experiment
Yong He
,
Daniel Amyot
,
A. Williams
SDL Forum
2003
Corpus ID: 18062020
The Use Case Map (UCM) notation is part of the User Requirements Notation (URN), the most recent addition to ITU-T's family of…
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
1999
1999
SDL framework for prototyping and validation of IN services
K. Kimbler
,
Carl-Henrik Hagenfeldt
,
Niklas Widell
,
Jan Ellsberger
,
G. Bergman
SDL Forum
1999
Corpus ID: 44638472
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
or Only Accept Required