Results 41 to 50 of about 293,253 (337)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Osteosarcoma is a radioresistant tumor that may benefit from stereotactic body radiation therapy (SBRT) for locoregional control in metastatic/recurrent disease. We report institutional practice patterns, outcomes, toxicity, and failures in osteosarcoma patients treated with SBRT.
Jenna Kocsis +13 more
wiley +1 more source
A theorem prover-based analysis tool for object-oriented databases [PDF]
, 1998 We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order logic (HOL).
Even, S.J., Spelt, D.
core +10 more sources
Test Case Design of Security Threats through State Machine OCL
JISR on Computing, 2023 Software testing is one activity for Software Quality Assurance (SQA). One way to test is through Black box test cases at design level. Since UML is a de-facto design language and is one of the most used design language now a day.
Asif Raza
doaj +1 more source
A Non-Null Annotation Inferencer for Java Bytecode [PDF]
, 2008 We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completeness with respect to a state of the art type system.
Hubert, Laurent
core +6 more sources
Parent‐to‐Child Information Disclosure in Pediatric Oncology
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Despite professional consensus regarding the importance of open communication with pediatric cancer patients about their disease, actual practice patterns of disclosure are understudied. Extant literature suggests a significant proportion of children are not told about their diagnosis/prognosis, which is purported to negatively ...
Rachel A. Kentor +12 more
wiley +1 more source
A model transformation framework to increase OCL usability
Journal of King Saud University: Computer and Information Sciences, 2016 The usability of a modeling language has a direct relationship with several factors of models constructed with the modeling language, such as time required and accuracy.
Samin Salemi +2 more
doaj +1 more source
Object Constraint Language (OCL): A Definitive Guide [PDF]
, 2012 The Object Constraint Language (OCL) started as a complement of the UML notation with the goal to overcome the limitations of UML (and in general, any graphical notation) in terms of precisely specifying detailed aspects of a system design. Since then, OCL has become a key component of any model-driven engineering (MDE) technique as the default ...
Cabot, Jordi, Gogolla, Martin
openaire +2 more sources
Generating a contract checker for an SLA language [PDF]
, 2004 SLAng is a language for expressing Service LevelAgreements (SLAs) under development as part of the Europeanproject TAPAS. It is defined using a meta-model, an instance ofthe Meta-Object Facility (MOF) model, in which the relationshipbetween the syntax of
Emmerich, W, Skene, J
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Psychological safety (PS) is essential for teamwork, communication, and patient safety in complex healthcare environments. In pediatric oncology, interprofessional collaboration occurs under high emotional and organizational demands. Low PS may increase stress, burnout, and adverse events.
Alexandros Rahn +4 more
wiley +1 more source
Ontology-Based Verification of UML Class/OCL Model
Mehran University Research Journal of Engineering and Technology, 2018 Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements.
Abdul Hafeez +2 more
doaj +1 more source