Results 231 to 240 of about 5,050,821 (258)

Design profiles: toward unified tool support for design patterns and UML profiles

, 2009
I. Hammouda, A. Ruokonen, Mika Siikarla, André L. M. Santos, K. Koskimies, Tarja Systä   +5 more
semanticscholar   +1 more source

A Tool Based on DL for UML Model Consistency Checking

International journal of software engineering and knowledge engineering, 2008
J. Simmonds, M. Bastarrica, N. Hitschfeld-Kahler, Sebastián Rivas   +3 more
semanticscholar   +1 more source

Bidentate Directing Groups: An Efficient Tool in C–H Bond Functionalization Chemistry for the Expedient Construction of C–C Bonds

Chemical Reviews, 2020
Supriya Rej, Yusuke Ano, Naoto Chatani
exaly  

Interactive Tree Of Life (iTOL) v5: an online tool for phylogenetic tree display and annotation

Nucleic Acids Research, 2021
Ivica Letunic, Peer Bork
exaly  

Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing

2008 The Third International Conference on Software Engineering Advances, 2008
Timo Vepsäläinen, David Hästbacka, S. Kuikka   +2 more
semanticscholar   +1 more source

The Use of UML as a Tool for the Formalisation of Standards and the Design of Ontologies in Agriculture

, 2009
F. Pinet, C. Roussey, T. Brun, F. Vigier
semanticscholar   +1 more source

Pópulo: a tool for debugging UML models

ICSE Companion '08, 2008
L. Fuentes, Jorge Manrique, P. Sánchez
semanticscholar   +1 more source

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming

International Conference on Automated Software Engineering, 2007
Jordi Cabot, R. Clarisó, D. Riera
semanticscholar   +1 more source

Brachytherapy: An overview for clinicians

Ca-A Cancer Journal for Clinicians, 2019
Cyrus Chargari, Eric Deutsch, Pierre Blanchard   +2 more
exaly  

vUML: a tool for verifying UML models

14th IEEE International Conference on Automated Software Engineering, 1999
J. Lilius, Ivan Paltor
semanticscholar   +1 more source