Results 81 to 90 of about 2,084,052 (380)
Card games are effective tools to enhance foundation year health and safety inductions
FEBS Open Bio, EarlyView.A series of three card games was developed to actively deliver health and safety education to foundation year students. Most students reported positive responses regarding their enjoyment (89.9 %) and learning (74.7 %) from all games evaluated. Data revealed significant improvements in health and safety knowledge (P < 0.0001).
Rumana Rafiq +4 more
wiley +1 more source
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE
International Journal of Information and Communication Technology Research, 2009 Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process.
Behnaz Changizi +1 more
doaj
Formal model and Policy specification for software defined networks
Journal of Kufa for Mathematics and Computer, 2016 Software-defined networking SDN is gaining a sharp increase in adoption by very well-known companies Like Google and Microsoft. Currently, the two stands out reliability and security are the most issues that hampering the SDN rapid growth.
DAWOOD SALMAN JASIM AL-FARTTOOSI
doaj +1 more source
From English to formal specifications [PDF]
, 1994 Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the ...
Meziane, F, Vadera, S
core +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive impairment (CI) affects the quality of life in multiple sclerosis (MS). Identifying influencing factors is key to improving CI monitoring. This systematic review and meta‐analysis examines clinical and sociodemographic variables impacting the cognitive screening Symbol Digit Modalities Test (SDMT) performance across MS ...
Katalin Lugosi +8 more
wiley +1 more source
Table‐based formal specification approaches for control engineers—empirical studies of usability
IET Cyber-Physical Systems, 2021 The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements.
Suhyun Cha +4 more
doaj +1 more source
Synthesis of Parametric Programs using Genetic Programming and Model Checking [PDF]
, 2014 Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into constructing ...
Katz, Gal, Peled, Doron
core +2 more sources
Analysis of Soluble Interleukin‐2 Receptor as a Prognostic Biomarker in NMOSD and MOGAD
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Soluble interleukin‐2 receptor (sIL‐2R) is a biomarker for T cell activity. T cells are involved in neuromyelitis optica spectrum disorders (NMOSD) and myelin oligodendrocyte glycoprotein antibody‐associated disease (MOGAD) pathogenesis. However, sIL‐2R has so far not been evaluated in these conditions.
Philipp Klyscz +8 more
wiley +1 more source
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD [PDF]
ICTACT Journal on Soft Computing, 2015 The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product.
A. Jalila, D. Jeya Mala
doaj
Towards the Formal Specification and Verification of Maple Programs
, 2012 In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt +5 more
core +1 more source