会员服务
软件工程 (Software Engineering) 是一门研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。
Toward Self-Evolution-Ready Workflow Harnesses: A Reversible Migration Path and Convertibility Taxonomy for Expert LLM Pipelines
Arxiv
0+阅读 · 6月15日
Skills for the future software profession: beyond agentic AI!
Arxiv
0+阅读 · 6月23日
A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
Arxiv
0+阅读 · 6月18日
JupOtter: Cell-Level Bug Detection in Jupyter Notebooks
Arxiv
0+阅读 · 6月22日
A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations
Arxiv
0+阅读 · 6月22日
Composition: Building Community with Arts, Math, and Code (Experience Report)
Arxiv
0+阅读 · 6月22日
Understanding the (In)Security of Vibe-Coded Applications
Arxiv
0+阅读 · 6月23日
MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
Arxiv
0+阅读 · 6月22日
VISTA: An End-to-End Benchmark for Visual Spec-to-Web-App Coding Agents
Arxiv
0+阅读 · 6月22日
The Prevalence and Impact of Licenses in Open Software Projects
Arxiv
0+阅读 · 6月22日
ESBMC-PLC+: A Unified IEC~61131-3 Formal Verification Framework as a PLCverif Successor
Arxiv
0+阅读 · 6月22日
More Skills, Worse Agents? Skill Shadowing Degrades Performance When Expanding Skill Libraries
More Skills, Worse Agents? Skill Shadowing Degrades Performance When Expanding Skill Libraries
Arxiv
0+阅读 · 6月23日
AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming
Arxiv
0+阅读 · 6月23日
Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
Arxiv
0+阅读 · 6月22日
EnterpriseClawBench: Benchmarking Agents from Real Workplace Sessions
Arxiv
0+阅读 · 6月22日
参考链接
微信扫码咨询专知VIP会员
Top