English
Related papers

Related papers: Building Views with Description Logics in ADE: App…

200 papers

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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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,…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 2015-11-12 Cornelia Haisjackl , Stefan Zugal , Pnina Soffer , Irit Hadar , Manfred Reichert , Jakob Pinggera , Barbara Weber

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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Software Engineering · Computer Science 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…

Instrumentation and Methods for Astrophysics · Physics 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…

Software Engineering · Computer Science 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,…

Software Engineering · Computer Science 2024-09-10 Milliam Maxime Zekeng Ndadji , Maurice Tchoupé Tchendji , Clémentin Tayou Djamegni , Didier Parigot

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…

Software Engineering · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Programming Languages · Computer Science 2021-07-20 Rudi Horn , Simon Fowler , James Cheney