Results 31 to 40 of about 4,569,836 (278)
A Taxonomy of MBSE Approaches by Languages, Tools and Methods
IEEE Access, 2022 Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE).
Pierre De Saqui-Sannes +3 more
doaj +1 more source
An evaluation of learning resources in the teaching of formal philosophical methods [PDF]
, 2003 In any discipline, across a wide variety of subjects, there are numerous learning resources available to students. For many students the resources that will be most beneficial to them are quickly apparent but, because of the nature of philosophy and the ...
Brown, Margaret, Stuart, Susan
core +2 more sources
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?
IEEE Access, 2023 Formal method tools are used in the initial stages of the software development cycle and have advanced to deal with the design difficulties related to ensuring strong cybersecurity and reliability in high-assurance systems.
Mina Soltani Siapoush, Jim Alves-Foss
doaj +1 more source
Using formal methods to support testing [PDF]
, 2008 Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Bogdanov, K +13 more
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source
What makes industries believe in formal methods [PDF]
, 1993 The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture ...
Ferreira Pires, Luis +2 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background An international Delphi panel of experts developed consensus statements to delineate the circumstances where the risks of dexamethasone as an antiemetic do and do not outweigh its benefits. Procedure Experts in supportive care of pediatric patients were invited to participate.
Negar Shavandi +20 more
wiley +1 more source
Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesThe FAO WaPOR (Water Productivity Open Access Portal) is a significant initiative developed by the Food and Agriculture Organization of the United Nations (FAO). It provides extensive datasets derived from remote sensing, specifically aimed at monitoring
A. Dhonthi +5 more
doaj +1 more source
IEEE Access, 2021 Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their potential ...
Mohamed Abdelghany, Sofiene Tahar
doaj +1 more source
Using Lightweight Formal Methods for JavaScript Security [PDF]
, 2010 The goal of this work was to apply lightweight formal methods to the study of the security of the JavaScript language. Previous work has shown that lightweight formal methods present a new approach to the study of security in the context of the Java ...
Reynolds, Mark
core +1 more source