English
Related papers

Related papers: Towards an Ontology for the Foundations of Softwar…

200 papers

Native Language Identification (NLI) - the task of identifying the native language (L1) of a person based on their writing in the second language (L2) - has applications in forensics, marketing, and second language acquisition.…

Computation and Language · Computer Science 2025-01-22 Yee Man Ng , Ilia Markov

We set down the principles behind a modeling language for quantum software. We present a minimal set of extensions to the well-known Unified Modeling Language (UML) that allows it to effectively model quantum software. These extensions are…

Quantum Physics · Physics 2020-07-01 Carlos A. Perez-Delgado , Hector G. Perez-Gonzalez

Software engineering (SE) is a dynamic field that involves multiple phases all of which are necessary to develop sustainable software systems. Machine learning (ML), a branch of artificial intelligence (AI), has drawn a lot of attention in…

Software Engineering · Computer Science 2024-06-21 Nyaga Fred , I. O. Temkin

Data generation and analysis is a fundamental aspect of many industries and disciplines, from strategic decision making in business to research in the physical and social sciences. However, data generated using software and algorithms can…

Software Engineering · Computer Science 2023-10-19 Ernesto Giralt Hernández

This article presents a state-of-the-art review of recent advances aimed at transforming traditional Failure Mode and Effects Analysis (FMEA) into a more intelligent, data-driven, and semantically enriched process. As engineered systems…

Artificial Intelligence · Computer Science 2025-11-25 Haytham Younus , Sohag Kabir , Felician Campean , Pascal Bonnaud , David Delaux

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…

Programming Languages · Computer Science 2017-08-29 José María Rey-Poza , Julio Mariño-Carballo

This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an intuitive connection between programs and knowledge graphs.…

Semantic Web is actually an extension of the current one in that it represents information more meaningfully for humans and computers alike. It enables the description of contents and services in machine-readable form, and enables…

Artificial Intelligence · Computer Science 2010-06-24 Mohammad Mustafa Taye

The rise of Foundation Models (FMs) like Large Language Models (LLMs) is revolutionizing software development. Despite the impressive prototypes, transforming FMware into production-ready products demands complex engineering across various…

Software Engineering · Computer Science 2026-02-10 Haoxiang Zhang , Shi Chang , Arthur Leung , Kishanthan Thangarajah , Boyuan Chen , Hanan Lutfiyya , Ahmed E. Hassan

Software Engineering (SE) is the systematic design, development, maintenance, and management of software applications underpinning the digital infrastructure of our modern world. Very recently, the SE community has seen a rapidly increasing…

Software Engineering · Computer Science 2024-09-10 Quanjun Zhang , Chunrong Fang , Yang Xie , Yaxin Zhang , Yun Yang , Weisong Sun , Shengcheng Yu , Zhenyu Chen

The recent release of large language model (LLM) based chatbots, such as ChatGPT, has attracted huge interest in foundation models. It is widely believed that foundation models will serve as the fundamental building blocks for future AI…

Software Engineering · Computer Science 2024-01-23 Qinghua Lu , Liming Zhu , Xiwei Xu , Yue Liu , Zhenchang Xing , Jon Whittle

Slang is a commonly used type of informal language that poses a daunting challenge to NLP systems. Recent advances in large language models (LLMs), however, have made the problem more approachable. While LLM agents are becoming more widely…

Computation and Language · Computer Science 2025-09-22 Siyang Wu , Zhewei Sun

The main purpose of this article is to describe the taxonomy of computer languages according to the levels of abstraction. There exists so many computer languages because of so many reasons like the evolution of better computer languages…

Programming Languages · Computer Science 2013-11-15 Dr. Brijender Kahanwal

How to best use Large Language Models (LLMs) for software engineering is covered in many publications in recent years. However, most of this work focuses on widely-used general purpose programming languages. The utility of LLMs for software…

Software Engineering · Computer Science 2025-11-17 Salim Fares , Steffen Herbold

Following the rise of large language models (LLMs), many studies have emerged in recent years focusing on exploring the adoption of LLM-based tools for software development by novice developers: computer science/software engineering…

Software Engineering · Computer Science 2025-08-04 Samuel Ferino , Rashina Hoda , John Grundy , Christoph Treude

The software patterns provide building blocks to the design and implementation of a software system, and try to make the software engineering to progress from experience to science. The software patterns were made famous because of the…

Logic in Computer Science · Computer Science 2021-10-26 Yong Wang

This paper investigates and briefly describes the major currently existing problems with World Wide Web .i.e., Information filtration and Security became the main reasons of semantic web's invention. The semantic web claims of providing the…

Other Computer Science · Computer Science 2010-08-10 Zeeshan Ahmed , Detlef Gerhard

Recent work by (Richardson and Kuhn, 2017a,b; Richardson et al., 2018) looks at semantic parser induction and question answering in the domain of source code libraries and APIs. In this brief note, we formalize the representations being…

Computation and Language · Computer Science 2018-04-19 Kyle Richardson

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in…

Artificial Intelligence · Computer Science 2012-08-02 Christoph Lange , Till Mossakowski , Oliver Kutz , Christian Galinski , Michael Grüninger , Daniel Couto Vale

Due to the emergence of the semantic Web and the increasing need to formalize human knowledge, ontologie engineering is now an important activity. But is this activity very different from other ones like software engineering, for example ?…

Information Retrieval · Computer Science 2011-04-18 Mireille Arnoux , Thierry Despeyroux