The paper describes an application of artificial intelligence technology to the implementation
of a rapid prototyping method in object-oriented performance design (OOPD) for real-time …

This paper presents an application of structural modeling and automated reasoning as a
software development environment for real-time systems. This application satisfies two …

In this paper, we examine “program adjustment”, a formal and practical approach to
developing correct concurrent programs, by automatically adjusting an imperfect program to …

Recommender System plays a vital role in various domains like E-Commerce,
Entertainment, and News and currently in social networking. It is used as a tool in marketing …

This paper describes MENDELS ZONE, a Petri-net-based concurrent programming
environment, which is especially suitable for cooperating discrete event systems. MENDELS …

This paper describes an application of artificial intelligence technology to the
implementation of a rapid prototyping method in Object-Oriented Performance Design …

An application of structural modeling and automated reasoning as an intelligent software
development environment for concurrent programs is presented. This application, using an …

A concurrent program synthesis system called MENDELS is proposed. A concurrent
programming language MENDEL/87, that is a target language for program synthesis, is also …

There has been a rapid trend towards parallel, distributed, and interactive/reactive
computing over the past decade. Generally speaking, it is not so easy for ordinary …

Net-Oriented Analysis and Design (NOAD) is defined as three items:(1) Various nets are
utilized as an effective modeling method.(2) Inter-relationships among verious nets are …