Software prototyping with MENDEL

Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.

Original languageEnglish
Title of host publicationLogic Programming '85 - Proceedings of the 4th Conference
PublisherSpringer-Verlag
Pages108-116
Number of pages9
ISBN (Print)9783540164791
DOIs
Publication statusPublished - 1986 Jan 1
Externally publishedYes
Event4th International Conference on Logic Programming, 1985 - Tokyo, Japan
Duration: 1985 Jul 11985 Jul 3

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume221 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Logic Programming, 1985
CountryJapan
CityTokyo
Period85/7/185/7/3

Fingerprint

Software prototyping
Temporal logic
Object oriented programming
Prolog
Prototyping
Concurrency
Simulators
Specifications
Requirements Specification
Object-oriented Languages
Software
Propositional Logic
Performance Prediction
Temporal Logic
Predicate
Linkage
Concurrent
Simulator
Object

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Honiden, S., Uchihira, N., & Kasuya, T. (1986). Software prototyping with MENDEL. In Logic Programming '85 - Proceedings of the 4th Conference (pp. 108-116). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-16479-0_11

Software prototyping with MENDEL. / Honiden, Shinichi; Uchihira, Naoshi; Kasuya, Toshiaki.

Logic Programming '85 - Proceedings of the 4th Conference. Springer-Verlag, 1986. p. 108-116 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Honiden, S, Uchihira, N & Kasuya, T 1986, Software prototyping with MENDEL. in Logic Programming '85 - Proceedings of the 4th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 221 LNCS, Springer-Verlag, pp. 108-116, 4th International Conference on Logic Programming, 1985, Tokyo, Japan, 85/7/1. https://doi.org/10.1007/3-540-16479-0_11
Honiden S, Uchihira N, Kasuya T. Software prototyping with MENDEL. In Logic Programming '85 - Proceedings of the 4th Conference. Springer-Verlag. 1986. p. 108-116. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-16479-0_11
Honiden, Shinichi ; Uchihira, Naoshi ; Kasuya, Toshiaki. / Software prototyping with MENDEL. Logic Programming '85 - Proceedings of the 4th Conference. Springer-Verlag, 1986. pp. 108-116 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{6479bf6d01d14de394b034935ea94754,
title = "Software prototyping with MENDEL",
abstract = "Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.",
author = "Shinichi Honiden and Naoshi Uchihira and Toshiaki Kasuya",
year = "1986",
month = "1",
day = "1",
doi = "10.1007/3-540-16479-0_11",
language = "English",
isbn = "9783540164791",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "108--116",
booktitle = "Logic Programming '85 - Proceedings of the 4th Conference",

}

TY - GEN

T1 - Software prototyping with MENDEL

AU - Honiden, Shinichi

AU - Uchihira, Naoshi

AU - Kasuya, Toshiaki

PY - 1986/1/1

Y1 - 1986/1/1

N2 - Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.

AB - Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.

UR - http://www.scopus.com/inward/record.url?scp=85034739646&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85034739646&partnerID=8YFLogxK

U2 - 10.1007/3-540-16479-0_11

DO - 10.1007/3-540-16479-0_11

M3 - Conference contribution

SN - 9783540164791

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 108

EP - 116

BT - Logic Programming '85 - Proceedings of the 4th Conference

PB - Springer-Verlag

ER -