Agile-SOFL
Agile Formal Engineering Method
Page
%P
-
Chapter
Introduction to SOFL
SOFL stands for Structured Object-Oriented Formal Language [19]. It is a practical specification language that integrates data flow diagram (DFD) and formal operation specifications in VDM-SL. Given that Agile...
-
Chapter
Specification-Based Testing
Testing is a necessary activity to evaluate the performance of a code and to detect errors and the related bugs included in the code. An error is an undesired behavior of the code and it is usually caused by a...
-
Chapter
Three-Step Hybrid Specification Approach
As described in the previous chapter, hybrid specification is a well-balanced document to define what to be done by the potential system, but writing it properly to accurately and completely reflect the user’s...
-
Book
-
Chapter
Specification-Based Inspection
Given a code implementing a specification, how to check whether the code contains bugs without the need to execute it. There are two types of bugs. One is requirements-related bugs and the other is implementat...
-
Chapter
Testing-Based Formal Verification
In general, testing can tell the presence of bugs but cannot tell their absence due to the fact that testing usually only uses selected data from the input domain to check the behaviors of software systems. Th...
-
Article
Amino functionalized bismuth-based metal-organic frameworks and graphene aerogels for simultaneous detection of cadmium and lead ions
The severe toxicity of heavy metal ions (HMIs) to both the environment safety and human health makes it challenging to build a system that can simultaneously detect them. A method simultaneous electrochemical ...
-
Article
Open AccessA self-supervised classification model for endometrial diseases
Ultrasound imaging is the preferred method for the early diagnosis of endometrial diseases because of its non-invasive nature, low cost, and real-time imaging features. However, the accurate evaluation of ultr...
-
Article
Health oil preparation from gardenia seeds by aqueous enzymatic extraction combined with puffing pre-treatment and its properties analysis
Gardenia jasminoides Ellis, a representative for “homology of medicine and food”, can be used to produce pigment and edible oil. Here, aqueous enzymatic extraction (AEE) combined with puffing pre-treatment was ex...
-
Article
Open AccessLocal ecological knowledge and wise use of ephemeral wetlands: the case of the Cowal system, Australia
Ephemeral wetlands are important ecologically but are often jurisdictionally complex and under-studied. Forms of local knowledge, including local ecological knowledge (LEK) and farmer knowledge, are increasing...
-
Article
Open AccessEffects of irrigation and rainfed practices on Normalized Difference Vegetative Index of Wheat (Triticum aestivum L.) and its Implications on Grain Yield in Northern China
Five (5) winter wheat genotypes were evaluated based on the Normalized Difference Vegetative Index (NDVI) under irrigation and rainfed conditions. A randomized complete block design in a split-plot arrangement...
-
Article
Open AccessCorrection: Comprehensive analysis of peroxiredoxins expression profiles and prognostic values in breast cancer
-
Article
Nematode-induced trap formation regulated by the histone H3K4 methyltransferase AoSET1 in the nematode-trap** fungus Arthrobotrys oligospora
The methylation of lysine 4 of histone H3 (H3K4), catalyzed by the histone methyltransferase KMT2/SET1, has been functionally identified in many pathogenic fungi but remains unexplored in nematode-trap** fun...
-
Article
Open AccessLight-oriented 3D printing of liquid crystal/photocurable resins and in-situ enhancement of mechanical performance
Additive manufacturing technology has significantly impacted contemporary industries due to its ability to generate intricate computer-designed geometries. However, 3D-printed polymer parts often possess limit...
-
Article
Open AccessGeneralization of the Lehmer problem over incomplete intervals
Let α ≥ 2 \(\alpha \geq 2\) , ...
-
Article
MC1R-targeted NIR-II aggregation-induced emission nanoparticles for melanoma imaging
Malignant melanoma is the most lethal form of skin cancer for human beings. Thus, develo** melanoma-targeted fluorescent probes for early diagnosis is important to increase the survival rates. Here, a novel ...
-
Article
Open AccessGDCL-NcDA: identifying non-coding RNA-disease associations via contrastive learning between deep graph learning and deep matrix factorization
Non-coding RNAs (ncRNAs) draw much attention from studies widely in recent years because they play vital roles in life activities. As a good complement to wet experiment methods, computational prediction metho...
-
Article
Parental Relationships Surpass Friendships as Predictors of Long-Term Mental Functioning: A Multilevel Analysis
There were associations between interpersonal relationships (parental relationships and friendships) and mental functioning (depressive symptoms, resilience, and psychological capital) in adolescents. However,...
-
Article
Open AccessAssociation of shift work and dietary inflammatory potential with all-cause death among us hypertensive population: national health and nutrition examination study, 2005–2010
The individual effect of working schedule on survival in the hypertensive population has not been adequately studied. Shiftworkers are also prone to unhealthy lifestyles like pro-inflammatory diet. Therefore, ...
-
Article
Spatial Equity of Basic Education Resources and Coordinated Regional Development in **njiang, China
Public services, including education, are important elements that affect people’s living standards. Promoting spatial equity in education resources is a crucial indicator of China’s coordinated regional develo...
