云南高校图书馆联盟文献共享服务平台- SOFTWARE

检索规则说明：AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：范例一： (K=图书馆学 OR K=情报学) AND A=范并思　　　　范例二：J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual

全部期刊核心期刊 EI来源期刊 SCI来源期刊 CA来源期刊 CSCD来源期刊 CSSCI来源期刊

An infrastructure software perspective toward computation offloading between executable specifications and foundation models: 《Science China(Information Sciences)》2025年第4期376-378,共3页Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE; supported by National Natural Science Foundation of China(Grant Nos.62161146003,623B2006,92464301);Israel Science Foundation(ISF)(Grant No.3698/21)。; Foundation models(FMs)[1]have revolutionized software development and become the core components of large software systems.This paradigm shift,however,demands fundamental re-imagining of software engineering theories ...; 关键词：executable specifications software development computation offloading foundation models fms large software systemsthis software modules symbolic logicincorporating infrastructure software

Review of Techniques for Integrating Security in Software Development Lifecycle: 《Computers, Materials & Continua》2025年第1期139-172,共34页Hassan Saeed Imran Shafi Jamil Ahmad Adnan Ahmed Khan Tahir Khurshaid Imran Ashraf; Software-related security aspects are a growing and legitimate concern,especially with 5G data available just at our palms.To conduct research in this field,periodic comparative analysis is needed with the new techniq...; 关键词：Software development lifecycle systematic literature review critical software security risks national institute of standards and technology DevSecOps open web application security project McGraw’s touch points

Trust and involvement of Cameroonian software developers in open-source projects: 《Data Science and Management》2024年第4期332-339,共8页Martial Kadji Ngassam; Although recent studies have examined collaboration within open-source software projects,the focus has primarily been on their motivations and governance.This study explores the complex dynamics of trust and involveme...; 关键词：Software development TRUST Developer involvement Information technologies Remote collaboration

Analysis of Software Development and Operation Measures from the Perspective of Security Technology: 《Journal of Electronic Research and Application》2024年第6期145-151,共7页Yan Gao; Security technology is crucial in software development and operation in the digital age. Secure software can protect user privacy and data security, prevent hacker attacks and data breaches, ensure legitimate business...; 关键词：Security technology Software development Operation and maintenance

HV Process Model of Software Development: 《Journal of Software Engineering and Applications》2024年第7期553-570,共18页Hemant Kumar Vipin Saxena; Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are ...; 关键词：Software Process Model Software Development Software Engineering Software Risk Management and Software Quality

Development of a Software Application for Automation and Standardization of Document Management Using the Pylatex Library at the Karaganda Buketov University: 《IJLAI Transactions on Science and Engineering》2024年第2期45-50,共6页Meirambekov Adlan Hang Li; In today’s educational environment,educators face challenges in manually crafting various documents,leading to inefficiencies and time constraints.To address this,our study introduces a novel software solution design...; 关键词：Document automation STANDARDIZATION educational institutions software development Python PyLaTeX efficiency productivity user interface workflow optimization

Adaptive Sparse Grid Discontinuous Galerkin Method:Review and Software Implementation: 《Communications on Applied Mathematics and Computation》2024年第1期501-532,共32页Juntao Huang Wei Guo Yingda Cheng; supported by the NSF grant DMS-2111383;Air Force Office of Scientific Research FA9550-18-1-0257;the NSF grant DMS-2011838.; This paper reviews the adaptive sparse grid discontinuous Galerkin(aSG-DG)method for computing high dimensional partial differential equations(PDEs)and its software implementation.The C++software package called AdaM-D...; 关键词：Adaptive sparse grid Discontinuous Galerkin High dimensional partial differential equation Software development

Towards Efficient Robotic Software Development by Reusing Behavior Tree Structures for Task Planning Paradigms: 《Complex System Modeling and Simulation》2023年第4期357-380,共24页Shuo Yang Qi Zhang; interaction pipelines while maintaining interfaces for task-specific customization.The Structural-BT framework supports the modular design of structure functionalities and allows easy extensibility of the inner planni...; 关键词：robotic software modeling and development software architecture task planning paradigm behavior tree modeling

Software development in the age of intelligence:embracing large language models with the right approach被引量：2: 《Frontiers of Information Technology & Electronic Engineering》2023年第11期1513-1519,共7页Xin PENG; The emergence of large language models(LLMs),represented by ChatGPT,has had a profound impact on various fields,including software engineering,and has also aroused widespread concerns.To see a right way through the fo...; 关键词：SOFTWARE SOFTWARE APPROACH

Development of a software platform for bridge modal and damage identification based on ambient excitation被引量：1: 《High-Speed Railway》2023年第3期162-170,共9页Jiahuan Li Li Zhu Wenyu Ji Sunfeng You; Modal and damage identification based on ambient excitation can greatly improve the efficiency of high-speed railway bridge vibration detection.This paper first describes the basic principles of stochastic subspace id...; 关键词：Vibration detection Software development Modal identification Damage identification Numerical verification

SOFTWARE_DEVELOPMENT