中文
相关论文

相关论文: Expert Programming Knowledge: a Schema-Based Appro…

200 篇论文

Sketching is an important means of communication in software engineering practice. Yet, there is little research investigating the use of sketches. We want to contribute a better understanding of sketching, in particular its use during…

软件工程 · 计算机科学 2016-12-06 Sebastian Baltes , Stefan Wagner

Advances in the use of cognitive and machine learning (ML) enabled systems fuel the quest for novel approaches and tools to support software developers in executing their tasks. First, as software development is a complex and dynamic…

软件工程 · 计算机科学 2021-02-11 Glaucia Melo , Paulo Alencar , Donald Cowan

Information flows by routes inside the network via mechanisms implemented in the model. These routes can be represented as graphs where nodes correspond to token representations and edges to operations inside the network. We automatically…

计算与语言 · 计算机科学 2024-04-18 Javier Ferrando , Elena Voita

The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful…

人工智能 · 计算机科学 2010-07-22 Chitta Baral , Gregory Gelfond , Enrico Pontelli , Tran Cao Son

Business process (BP) analysis represents a first key phase of information system development. It consists in the gathering of domain knowledge and its organization to be later used in the software development, and beyond (e.g., for…

软件工程 · 计算机科学 2022-01-19 Michele Missikoff

The development of data science expertise requires tacit, process-oriented skills that are difficult to teach directly. This study addresses the resulting challenge of empirically understanding how the problem-solving processes of experts…

计算机与社会 · 计算机科学 2026-02-18 Manuel Valle Torre , Marcus Specht , Catharine Oertel

Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic model checking technology may be applied to discover and…

计算机科学中的逻辑 · 计算机科学 2016-10-05 Omar I. Al-Bataineh , Ron van der Meyden

Human experts are often engaged in the development of machine learning systems to collect and validate data, consult on algorithm development, and evaluate system performance. At the same time, who counts as an 'expert' and what constitutes…

机器学习 · 计算机科学 2024-11-04 Mark Díaz , Angela DR Smith

In many application domains, domain-specific languages can allow domain experts to contribute to collaborative projects more correctly and efficiently. To do so, they must be able to understand program structure from reading existing source…

编程语言 · 计算机科学 2025-11-18 Philip Heltweg , Georg-Daniel Schwarz , Dirk Riehle

In this paper, we address the "black-box" problem in predictive process analytics by building interpretable models that are capable to inform both what and why is a prediction. Predictive process analytics is a newly emerged discipline…

机器学习 · 计算机科学 2022-04-26 Bemali Wickramanayake , Zhipeng He , Chun Ouyang , Catarina Moreira , Yue Xu , Renuka Sindhgatta

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

软件工程 · 计算机科学 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

A computer Program Capable of performing at a human-expert level in a narrow problem domain area is called an expert system. Management of uncertainty is an intrinsically important issue in the design of expert systems because much of the…

人工智能 · 计算机科学 2014-01-03 S. J Gath , R. V Kulkarni

We show how to systematically implement an algorithm in any imperative or functional programming language. The method is based on the premise that it is easy to write down how an algorithm proceeds on a concrete input. This…

软件工程 · 计算机科学 2020-04-28 Maurice Chandoo

This paper addresses the problems of missing reasoning chains and insufficient entity-level semantic understanding in large language models when dealing with tasks that require structured knowledge. It proposes a fine-tuning algorithm…

计算与语言 · 计算机科学 2025-08-21 Wuyang Zhang , Yexin Tian , Xiandong Meng , Mengjie Wang , Junliang Du

The development of high-quality software or software-intensive systems requires custom-tailored process models that fit the organizational and project goals as well as the development contexts. These models are a necessary prerequisite for…

软件工程 · 计算机科学 2014-01-20 Jürgen Münch

Understanding the functional architecture of complex systems is crucial to illuminate their inner workings and enable effective methods for their prediction and control. Recent advances have introduced tools to characterise emergent…

Software architecture knowledge transfer is essential for software development, but related documentation is often incomplete or ambiguous, making oral explanations a common means. Our broader aim is to explore how such explanations might…

软件工程 · 计算机科学 2025-09-03 Satrio Adi Rukmono , Filip Zamfirov , Lina Ochoa , Floris Pex , Michel Chaudron

We describe a method for utilizing the known structure of input data to make learning more efficient. Our work is in the domain of programming languages, and we use deep neural networks to do program analysis. Computer programs include a…

神经与进化计算 · 计算机科学 2019-04-01 Zehra Sura , Tong Chen , Hyojin Sung

In the field of machine learning, data understanding is the practice of getting initial insights in unknown datasets. Such knowledge-intensive tasks require a lot of documentation, which is necessary for data scientists to grasp the meaning…

数据库 · 计算机科学 2018-06-14 Markus Schröder , Christian Jilek , Jörn Hees , Andreas Dengel

In recent years, the rise of deep learning and automation requirements in the software industry has elevated Intelligent Software Engineering to new heights. The number of approaches and applications in code understanding is growing, with…

软件工程 · 计算机科学 2022-05-04 Ruoting Wu , Yuxin Zhang , Qibiao Peng , Liang Chen , Zibin Zheng