ARTÍCULO
TITULO

Lightweight validation of natural language requirements

Gervasi    
V    
Nuseibeh    
B    

Resumen

No disponible

 Artículos similares

       
 
Kyung-Rae Koo, Hyun-Guk Kim, Dong-Geon Kim, Seong-Cheol Kwon and Hyun-Ung Oh    
In the launch environment, satellites are subjected to severe dynamic loads. These dynamic loads in the launch environment can lead to the malfunction of the payload, or to mission failure. In order to improve the structural stability of satellites and e... ver más
Revista: Aerospace

 
Yanwei Zhang, Hao Zheng, Jing Xu and Zhonglai Wang    
Clapping-wing micro air vehicles (CWMAVs) face many control problems due to their lightweight design and susceptibility to disturbances. This study proposes a radial basis function (RBF) model-based adaptive model predictive control (AMPC) for trajectory... ver más
Revista: Aerospace

 
Eman Daraghmi, Cheng-Pu Zhang and Shyan-Ming Yuan    
The saga pattern manages transactions and maintains data consistency across distributed microservices via utilizing local sequential transactions that update each service and publish messages to trigger the next ones. Failure by one transaction causes th... ver más
Revista: Applied Sciences

 
Yeonghyeon Gu, Zhegao Piao and Seong Joon Yoo    
In magnetic resonance imaging (MRI) segmentation, conventional approaches utilize U-Net models with encoder?decoder structures, segmentation models using vision transformers, or models that combine a vision transformer with an encoder?decoder model struc... ver más
Revista: Applied Sciences

 
Nonso Nnamoko, Joseph Barrowclough and Jack Procter    
Separating household waste into categories such as organic and recyclable is a critical part of waste management systems to make sure that valuable materials are recycled and utilised. This is beneficial to human health and the environment because less r... ver más
Revista: Infrastructures