Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syn...
详细信息
Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation *** demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named *** experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural *** can be further developed as a CASE tool for the software industry.
This paper introduces a novel half-bridge (HB)/dual-stacked-switches based electrolytic capacitor-less bidirectional AC/DC converter for high voltage (HV) electric vehicle (EV) systems. The proposed two-stage AC/DC co...
详细信息
A new single-stage high-gain interleaved boost modular CL resonant converter is proposed in this paper for photovoltaic-powered magnetron application. The proposed converter is able to provide high voltage gain for th...
详细信息
Adversarial machine learning (ML) attacks are stealthy attacks designed to mislead the ML model results. This paper explores adversarial ML attacks that generate adversarial noisy input data in an ML-based controller ...
详细信息
Continual learning is referred to as machine learning model's ability to learn a sequence of tasks or data over time without forgetting previously learned knowledge. In particular, we focus on domain incremental l...
详细信息
This paper proposes the combined Volt-VAR and Volt-Watt control method of smart inverters to stabilize the point of common coupling (PCC) voltage. The distributed energy sources (DER) using renewable energy such as so...
详细信息
In the realm of computer systems, efficient utilization of the CPU (Central Processing Unit) has always been a paramount concern. Researchers and engineers have long sought ways to optimize process execution on the CP...
详细信息
Object detection is faced with accuracy and robustness limitations due to unstructured environments with objects of different sizes and occlusions. Despite advancements in object detection models, these models have no...
详细信息
Microservice architecture is increasingly favored for building large-scale applications designed for deployment in distributed and resource-constrained cloud-to-edge computing environments. As a cloud-native approach,...
详细信息
暂无评论