Results 251 to 260 of about 5,155,579 (288)

PEMODELAN UML SISTEM INFORMASI MONITORING PENJUALAN DAN STOK BARANG (STUDI KASUS: DISTRO ZHEZHA PONTIANAK)

, 2016
Ade Hendini
semanticscholar   +1 more source

Language and Tool Support for Class and State Machine Refinement in UML-B

World Congress on Formal Methods, 2009
M. Said, M. Butler, C. Snook
semanticscholar   +1 more source

Connecting UML and VDM++ with Open Tool Support

World Congress on Formal Methods, 2009
K. Lausdahl, Hans Kristian Agerlund Lintrup, P. Larsen   +2 more
semanticscholar   +1 more source

Microkinetic Modeling: A Tool for Rational Catalyst Design

Chemical Reviews, 2021
Ali Hussain Motagamwala, James A Dumesic
exaly  

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

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

UJECTOR: A Tool for Executable Code Generation from UML Models

2008 Advanced Software Engineering and Its Applications, 2008
M. Usman, A. Nadeem, Tai-hoon Kim
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  

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