English
Related papers

Related papers: OOASP: Connecting Object-oriented and Logic Progra…

200 papers

Because of the importance of object oriented methodologies, the research in developing new measure for object oriented system development is getting increased focus. The most of the metrics need to find the interactions between the objects…

Software Engineering · Computer Science 2010-08-11 K. M. Azharul Hasan , Mohammad Sabbir Hasan

Because of the importance of object oriented methodologies, the research in developing new measure for object oriented system development is getting increased focus. The most of the metrics need to find the interactions between the objects…

Software Engineering · Computer Science 2010-07-15 K. M. Azharul Hasan , Mohammad Sabbir Hasan

Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning (KRR), especially for its high…

Artificial Intelligence · Computer Science 2017-07-24 Francesco Calimeri , Davide Fuscà , Stefano Germano , Simona Perri , Jessica Zangari

The Software Development Life Cycle (SDLC) starts with eliciting requirements of the customers in the form of Software Requirement Specification (SRS). SRS document needed for software development is mostly written in Natural Language(NL)…

Software Engineering · Computer Science 2015-10-27 Abinash Tripathy , Santanu Kumar Rath

We present a novel approach how logic programming for expert systems can be declared directly in an object-oriented language.

Artificial Intelligence · Computer Science 2022-05-18 F. Lorenz , M. Günther

Service-orientation is a promising paradigm that enables the engineering of large-scale distributed software systems using rigorous software development processes. The existing problem is that every service-oriented software development…

Software Engineering · Computer Science 2020-04-22 Mahdi Fahmideh , Mohsen Sharifi , Pooyan Jamshidi

OWLOOP is an Application Programming Interface (API) for using the Ontology Web Language (OWL) by the means of Object-Oriented Programming (OOP). It is common to design software architectures using the OOP paradigm for increasing their…

Artificial Intelligence · Computer Science 2022-01-03 Luca Buoncompagni , Syed Yusha Kareem , Fulvio Mastrogiovanni

We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-08 Eduard Kamburjan , Reiner Hähnle

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).…

Artificial Intelligence · Computer Science 2020-02-24 D. O. Terletskyi , O. I. Provotar

Object-oriented programming (OOP) is aimed at describing the structure and behaviour of objects by hiding the mechanism of their representation and access in primitive references. In this article we describe an approach, called…

Programming Languages · Computer Science 2010-09-28 Alexandr Savinov

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…

Software Engineering · Computer Science 2018-10-29 Sabah Al-Fedaghi

Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even high school students. Given the limited exposure of these students to…

Other Computer Science · Computer Science 2017-07-07 Elias Marcopoulos , Christian Reotutar , Yuanlin Zhang

We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation…

Logic in Computer Science · Computer Science 2011-11-09 Krzysztof R. Apt , Frank S. de Boer , Ernst-Ruediger Olderog , Stijn de Gouw

This article provides a brief overview of the UML SP (UML Scientific Profile). It is an Object-Oriented Simulation Language and may find usage in OOS and ABS. UML SP allows for the application of Unified Process methodology for the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-21 Vasyliy I. Gurianov

Machine learning-based techniques open up many opportunities and improvements to derive deeper and more practical insights from data that can help businesses make informed decisions. However, the majority of these techniques focus on the…

Machine Learning · Computer Science 2024-05-10 Atefeh Mahdavi , Marco Carvalho

High-level reversible programming languages are few and far between and in general offer only rudimentary abstractions from the details of the underlying machine. Modern programming languages offer a wide array of language constructs and…

Programming Languages · Computer Science 2017-07-26 Tue Haulund

Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to…

Programming Languages · Computer Science 2012-08-24 Joakim Bjørk , Dave Clarke , Einar Broch Johnsen , Olaf Owe

The Internet of Things (IoT) envisions the integration of physical objects into software systems for automating crucial aspects of our lives, such as healthcare, security, agriculture, and city management. Although the vision is promising,…

Software Engineering · Computer Science 2021-06-17 Damian Arellanes

The state of an object reflects its current status or condition and is important for a robot's task planning and manipulation. However, detecting an object's state and generating a state-sensitive plan for robots is challenging. Recently,…

Artificial Intelligence · Computer Science 2024-10-17 Xiaowen Sun , Xufeng Zhao , Jae Hee Lee , Wenhao Lu , Matthias Kerzel , Stefan Wermter

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…

Computational Engineering, Finance, and Science · Computer Science 2020-12-03 Lee Braine , Keith Haviland , Owen Smith-Jaynes , Andy Vautier , Chris Clack