中文
相关论文

相关论文: Object-oriented solutions

200 篇论文

To improve the quality of programs we provide an approach to guidance in the process of program development. At the higher level the various activities and their dependencies to structure the process are identified. At the lower level,…

软件工程 · 计算机科学 2024-11-21 Harrie Passier , Lex Bijlsma , Ruurd Kuiper , Kees Huizing

Service-oriented computing has emerged as the new area to address software as a service. This paper proposes a model for component based development for service-oriented systems and have created best practice guidelines on software…

软件工程 · 计算机科学 2016-09-08 Muthu Ramachandran , T. R. Gopalakrsihnan Nair , R. Selvarani

The robotics community has seen an exponential growth in the level of complexity of the theoretical tools presented for the modeling of soft robotics devices. Different solutions have been presented to overcome the difficulties related to…

机器人学 · 计算机科学 2022-10-05 Costanza Armanini , Frédéric Boyer , Anup Teejo Mathew , Christian Duriez , Federico Renda

We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the…

计算机科学中的逻辑 · 计算机科学 2017-01-11 Ionut Tutu , Jose Luiz Fiadeiro

Constraint-logic object-oriented programming, for example using Muli, facilitates the integrated development of business software that occasionally involves finding solutions to constraint-logic problems. The availability of object-oriented…

编程语言 · 计算机科学 2019-07-03 Jan C. Dageförde

In the paper a new programming construct, called concept, is introduced. Concept is pair of two classes: a reference class and an object class. Instances of the reference classes are passed-by-value and are intended to represent objects.…

编程语言 · 计算机科学 2008-01-03 Alexandr Savinov

The object of this lecture is to propose a series of conjectures and problems in different fields of analysis. They have been formulated with the aim of introducing some innovative methods in the study of classical topics, as open mappings,…

泛函分析 · 数学 2007-05-23 Biagio Ricceri

Understanding or comprehending source code is one of the core activities of software engineering. Understanding object-oriented source code is essential and required when a programmer maintains, migrates, reuses, documents or enhances…

软件工程 · 计算机科学 2016-01-29 Ra'Fat AL-msie'deen

A paradox of requirements specifications as dominantly practiced in the industry is that they often claim to be object-oriented (OO) but largely rely on procedural (non-OO) techniques. Use cases and user stories describe functional flows,…

In this paper, we propose the use of a modeling methodology based on the notion of thing, with a focus on the current stage of research being on the analysis phase of software system modeling. The object-oriented approach, which takes the…

软件工程 · 计算机科学 2018-10-29 Sabah Al-Fedaghi

Many real world problems can be defined as optimisation problems in which the aim is to maximise an objective function. The quality of obtained solution is directly linked to the pertinence of the used objective function. However, designing…

机器学习 · 计算机科学 2012-04-24 Patrick Taillandier , Julien Gaffuri

We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries…

编程语言 · 计算机科学 2017-09-15 Luca Franceschini , Davide Ancona , Ekaterina Komendantskaya

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical…

编程语言 · 计算机科学 2009-06-23 Claudio Guidi , Fabrizio Montesi

Object-centric (OC) representations, which model visual scenes as compositions of discrete objects, have the potential to be used in various downstream tasks to achieve systematic compositional generalization and facilitate reasoning.…

计算机视觉与模式识别 · 计算机科学 2025-03-04 Amir Mohammad Karimi Mamaghan , Samuele Papa , Karl Henrik Johansson , Stefan Bauer , Andrea Dittadi

The definition of symbolic descriptions that consistently represent relevant geometrical aspects in manipulation tasks is a challenging problem that has received little attention in the robotic community. This definition is usually done…

人工智能 · 计算机科学 2020-07-17 Alejandro Agostini , Dongheui Lee

This paper is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems (be they motivated by best practice or by company interests…

软件工程 · 计算机科学 2007-05-23 Jean-Marc Rosengard , Marian Ursu

The purpose of this short paper is to identify the mathematical essence of the superiorization methodology. This methodology has been developed in recent years while attempting to solve specific application-oriented problems. Consequently,…

最优化与控制 · 数学 2019-09-20 Gabor T. Herman

This paper summarises a successful application of functional programming within a commercial environment. We report on experience at Accenture's Financial Services Solution Centre in London with simulating an object-oriented financial…

计算工程、金融与科学 · 计算机科学 2020-12-03 Lee Braine , Keith Haviland , Owen Smith-Jaynes , Andy Vautier , Chris Clack

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

This article is an attempt to combine different ways of working with sets of objects and their classes for designing and development of artificial intelligent systems (AIS) of analysis information, using object-oriented programming (OOP).…

人工智能 · 计算机科学 2020-02-24 D. O. Terletskyi , O. I. Provotar