中文
相关论文

相关论文: Parsimony Principles for Software Components and M…

200 篇论文

System reuse and cost are very important in software product line design area. Developers goal is to increase system reuse and decreasing cost and efforts for building components from scratch for each software configuration. This can be…

软件工程 · 计算机科学 2013-11-14 Ola Younis , Said Ghoul , Mohammad H. Alomari

C is the lingua franca of programming and almost any device can be programmed using C. However, programming mod-ern heterogeneous architectures such as multi-core CPUs and GPUs requires explicitly expressing parallelism as well as…

In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and the kernel or between a local application and an online…

编程语言 · 计算机科学 2022-11-08 Laura Bocchi , Dominic Orchard , A. Laura Voinea

Component-based software engineering aims to reduce software development effort by reusing established components as building blocks of complex systems. Defining components in general-purpose programming languages restricts their reuse to…

软件工程 · 计算机科学 2014-12-10 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

This survey organizes the intricate literature on the design and optimization of emerging structures around post-trained LMs. We refer to this overarching structure as scaffolded LMs and focus on LMs that are integrated into multi-step…

计算与语言 · 计算机科学 2025-11-05 Matthieu Lin , Jenny Sheng , Andrew Zhao , Shenzhi Wang , Yang Yue , Victor Shea Jay Huang , Huan Liu , Jun Liu , Gao Huang , Yong-Jin Liu

A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm remain unclear. Previous works only compare decoding…

Objective: To present an overview on the current state of the art concerning metrics-based quality evaluation of software components and component assemblies. Method: Comparison of several approaches available in the literature, using a…

软件工程 · 计算机科学 2011-10-03 Miguel Goulão , Fernando Brito e Abreu

Programming languages are engineered languages that allow to instruct a machine and share algorithmic information; they have a great influence on the society since they underlie almost every information technology artefact, and they are at…

编程语言 · 计算机科学 2015-10-16 Silvia Crafa

Written language is a complex communication signal capable of conveying information encoded in the form of ordered sequences of words. Beyond the local order ruled by grammar, semantic and thematic structures affect long-range patterns in…

物理与社会 · 物理学 2010-05-17 Marcelo A. Montemurro , Damian Zanette

We present a theory for modeling the structure of information and a language (Quanta) expressing the theory. Unlike Shannon's information theory, which focuses on the amount of information in an information system, we focus on the structure…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Bruce Long

Integration, composition, mechanization, and AI assisted development are the driving themes in the future of software development. At their core these concepts are rooted in the increasingly important role of computing in our world, the…

编程语言 · 计算机科学 2024-07-10 Mark Marron

Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems?such as free and open source software (FOSS) distributions?in terms of declared…

软件工程 · 计算机科学 2009-05-27 Pietro Abate , Jaap Boender , Roberto Di Cosmo , Stefano Zacchiroli

Combining component & connector architecture descriptionlanguageswithcomponentbehaviormodelinglanguages enables modeling great parts of software architectures platformindependently. Nontrivial systems typically contain components with…

软件工程 · 计算机科学 2015-11-18 Jan O. Ringert , Bernhard Rumpe , Andreas Wortmann

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in…

计算机科学中的逻辑 · 计算机科学 2023-11-17 Alberto Ciaffaglione , Carlos Olarte

An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages,…

人工智能 · 计算机科学 2010-02-17 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Understanding source code is a topic of great interest in the software engineering community, since it can help programmers in various tasks such as software maintenance and reuse. Recent advances in large language models (LLMs) have…

软件工程 · 计算机科学 2025-04-25 Michele Carissimi , Martina Saletta , Claudio Ferretti

Within the growing domain of software engineering in the automotive sector, the number of used tools, processes, methods and languages has increased distinctly in the past years. To be able to choose proper methods for particular…

软件工程 · 计算机科学 2016-01-15 Florian Bock , Daniel Homm , Sebastian Siegl , Reinhard German

"Natural Language," whether spoken and attended to by humans, or processed and generated by computers, requires networked structures that reflect creative processes in semantic, syntactic, phonetic, linguistic, social, emotional, and…

计算与语言 · 计算机科学 2016-06-29 Joseph Corneli , Miriam Corneli

Natural language processing for programming aims to use NLP techniques to assist programming. It is increasingly prevalent for its effectiveness in improving productivity. Distinct from natural language, a programming language is highly…

计算与语言 · 计算机科学 2023-08-08 Qingfu Zhu , Xianzhen Luo , Fang Liu , Cuiyun Gao , Wanxiang Che

Large language models (LLMs) and transformer-based architectures are increasingly utilized for source code analysis. As software systems grow in complexity, integrating LLMs into code analysis workflows becomes essential for enhancing…

软件工程 · 计算机科学 2025-03-25 Hamed Jelodar , Mohammad Meymani , Roozbeh Razavi-Far