Results 81 to 90 of about 60,645 (326)
Extension to UML-B Notation and Toolset
, 2006 The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation currently only supports a basic diagram set.
Amor, James +2 more
core
A UML profile to support requirements engineering with KAOS [PDF]
, 2004 One of the most important approaches to requirements engineering of the last ten years is the KAOS model. The authors introduce a profile that allows the KAOS model to be represented in the UML.
Heaven, W., Finkelstein, A.
core +1 more source
BMEMat, EarlyView.The mechanism of HA‐DS@PLGA nanoparticles co‐delivering DOX and SNAP (an NO donor) to suppress tumor growth, remodel the tumor microenvironment, and enhance antitumor immune responses for effective combinatorial cancer therapy. Abstract Cancer therapeutic efficacy is significantly influenced by tumor immunosuppressive environment possibly induced by ...
Xingzhou Peng +10 more
wiley +1 more source
Modelling of Signal - Level Crossing System
Advances in Electrical and Electronic Engineering, 2006 The author presents an object-oriented model of a railway level-crossing system created for the purpose of functional requirements specification. Unified Modelling Language (UML), version 1.4, which enables specification, visualisation, construction and ...
Daniel Novak
doaj
Logics for Conceptual Data Modelling: A Review [PDF]
Transactions on Graph Data and KnowledgeInformation modelling for databases and object-oriented information systems avails of conceptual data modelling languages such as EER and UML Class Diagrams.
Fillottrani, Pablo R., Keet, C. Maria
doaj +1 more source
Webes felületek generálása UML modellek alapján [PDF]
, 2009 Ezen dolgozatban egy Unified Modeling Language (röviden UML) alapú modellező rendszer az UWE (UML-based Web Engineering) lehetőségeit kívánom bemutatni egy saját projekt tervezése során.régi ...
Dancsi, József
core
eGFR slope as predictor of mortality in heart failure patients
ESC Heart Failure, Volume 12, Issue 2, Page 1217-1226, April 2025.Abstract Aims Heart failure (HF) leads to an imbalance between heart and kidney function, resulting in poor outcomes. However, the prognostic significance of the estimated glomerular filtration rate (eGFR) trajectory in HF patients remains unclear. We analysed electronic health records (EHRs) of real‐world HF patients, assessing eGFR trajectories and ...
Sofie Verstreken +10 more
wiley +1 more source
UML 2 Semantics Symposium: Formal Semantics for UML
CoRR, 2014 6 pages, 1 ...
Manfred Broy +5 more
openaire +2 more sources
Food Bioengineering, EarlyView.In this study, the heme content and enzymatic activity of the RhDypB mutant strain RhDypB‐R80 were enhanced through optimized heme uptake and pathway integration. This engineered host presents a promising platform for hemoprotein engineering and holds potential for applications in controlling mycotoxin contamination in food products.
Yue Sun +7 more
wiley +1 more source
Implementation of cooperative interaction of automaton objects
Научно-технический вестник информационных технологий, механики и оптикиThis paper addresses the issues related to the implementation of the interaction of automaton objects formalized using specialized state transition graphs.
F. A. Novikov +3 more
doaj +1 more source