中文
相关论文

相关论文: Building Views with Description Logics in ADE: App…

200 篇论文

Software Development (SD) is remarkably dynamic and is critically dependent on the knowledge acquired by the project's software developers as the project progresses. Software developers need to understand large amounts of information…

软件工程 · 计算机科学 2023-05-02 Glaucia Melo , Luis Fernando Lins , Paulo Alencar , Donald Cowan

Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide…

软件工程 · 计算机科学 2014-09-24 Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , Steven Völkel

With the development of artificial intelligence, writing assistants (WAs) are changing the way people interact with text, creating lengthy outputs that can be overwhelming for users. The programming field has long addressed this issue, and…

软件工程 · 计算机科学 2023-03-29 Sergey Titov , Agnia Sergeyuk , Timofey Bryksin

Relational databases play a central role in many information systems. Their schema contains structural (e.g. tables and columns) and behavioral (e.g. stored procedures or views) entity descriptions. Then, just like for ``normal'' software,…

软件工程 · 计算机科学 2024-04-15 Anne Etien , Nicolas Anquetil

Algorithms play a crucial role in many technological systems that control or affect various aspects of our lives. As a result, providing explanations for their decisions to address the needs of users and organisations is increasingly…

软件工程 · 计算机科学 2023-05-29 Trung Dong Huynh , Niko Tsakalakis , Ayah Helal , Sophie Stalla-Bourdillon , Luc Moreau

With the wide spread use of AI-driven systems in the edge (a.k.a edge intelligence systems), such as autonomous driving vehicles, wearable biotech devices, intelligent manufacturing, etc., such systems are becoming very critical for our…

软件工程 · 计算机科学 2022-05-20 Aftab Hussain

Declarative approaches to process modeling are regarded as well suited for highly volatile environments as they provide a high degree of flexibility. However, problems in understanding and maintaining declarative business process models…

The thesis develops a view of design in a concept formation framework and outlines a language to describe both the object of the design and the process of designing. The unknown object at the outset of the design work may be seen as an…

人工智能 · 计算机科学 2024-04-23 Arnulf Hagen

Explainable Artificial Intelligence (XAI) has become popular in the last few years. The Artificial Intelligence (AI) community in general, and the Machine Learning (ML) community in particular, is coming to the realisation that in many…

人工智能 · 计算机科学 2026-02-24 Raymond Sheh , Isaac Monteath

Architecture views are essential for software architecture documentation, yet their manual creation is labor intensive and often leads to outdated artifacts. As systems grow in complexity, the automated generation of views from source code…

软件工程 · 计算机科学 2026-03-24 Miryala Sathvika , Rudra Dhar , Karthik Vaidhyanathan

Highly dynamic computing environments, like ubiquitous and pervasive computing environments, require frequent adaptation of applications. This has to be done in a timely fashion, and the adaptation process must be as fast as possible and…

软件工程 · 计算机科学 2011-11-09 Nicolas Ferry , Jean-Yves Tigli , Stéphane Lavirotte , Gaëtan Rey , Michel Riveill

We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a…

计算机科学中的逻辑 · 计算机科学 2019-04-02 Tomasz Gogacz , Víctor Gutiérrez-Basulto , Yazmín A. Ibáñez-García , Filip Murlak , Magdalena Ortiz , Mantas Šimkus

Temporal HAL-API Dependencies (THADs) can be useful to capture an interesting class of correctness properties in embedded software development. They demand a moderate effort for specification (which can be done via program annotations) and…

软件工程 · 计算机科学 2025-12-16 Manuel Bentele , Andreas Podelski , Axel Sikora , Bernd Westphal

Interactive visualization of astronomical catalogs requires novel techniques due to the huge volumes and complex structure of the data produced by existing and upcoming astronomical surveys. The creation as well as the disclosure of the…

天体物理仪器与方法 · 物理学 2015-05-30 Hugo Buddelmeijer , Edwin A. Valentijn

Today, data guides the decision-making process of most companies. Effectively analyzing and manipulating data at scale to extract and exploit relevant knowledge is a challenging task, due to data characteristics such as its size, the rate…

软件工程 · 计算机科学 2025-03-24 Arianna Dragoni , Alessandro Margara

In Business Process Management (BPM), process modelling has been solved in various ways. However, there are no commonly accepted modelling tools (languages). Some of them are criticized for their inability to capture both the lifecycle,…

The upcoming technology support for semantic web promises fresh directions for Software Engineering community. Also semantic web has its roots in knowledge engineering that provoke software engineers to look for application of ontology…

软件工程 · 计算机科学 2013-07-17 Farheen Siddiqui , M. Afshar Alam

The inner views of all our applications are predetermined by the designers; only some non-significant variations are allowed with the help of adaptive interface. In several programs you can find some moveable objects, but it is an extremely…

人机交互 · 计算机科学 2009-04-07 Sergey Andreyev

With artificial intelligence (AI) embedded in many everyday software systems, effectively and reliably developing and maintaining AI systems becomes an essential skill for software developers. However, the complexity inherent to AI poses…

人机交互 · 计算机科学 2025-04-22 Thomas Weber

Relational lenses are a modern approach to the view update problem in relational databases. As introduced by Bohannon et al. (2006), relational lenses allow the definition of updatable views by the composition of lenses performing…

编程语言 · 计算机科学 2021-07-20 Rudi Horn , Simon Fowler , James Cheney