An infrastructure software perspective toward computation offloading between executable specifications and foundation models  

作　　者：Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE 

机构地区：[1]Key Laboratory of High Confidence Software Technologies(PKU),Ministry of Education,School of Computer Science,Peking University,Beijing 100871,China [2]School of Electronics Engineering and Computer Science,Peking University,Beijing 100871,China [3]Department of Computer Science and Applied Mathematics,Weizmann Institute of Science,Rehovot 7610001,Israel

出　　处：《Science China(Information Sciences)》2025年第4期376-378,共3页中国科学(信息科学)(英文版)

基　　金：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 and methodologies[2].Instead of replacing existing software modules implemented by symbolic logic,incorporating FMs'capabilities to build software systems requires entirely new modules that leverage the unique capabilities of FMs.Specifically,while FMs excel at handling uncertainty,recognizing patterns,and processing unstructured data,we need new engineering theories that support the paradigm shift from explicitly programming and maintaining user-defined symbolic logic to creating rich,expressive requirements that FMs can accurately perceive and implement.

关 键 词：executable specifications software development computation offloading foundation models fms large software systemsthis software modules symbolic logicincorporating infrastructure software 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]