Skip to main content
SpringerLink
Log in

Software prototyping with MENDEL

  • Conference paper
  • First Online:
Logic Programming '85 (LP 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 221))

Included in the following conference series:

  • 144 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Jones T.G. (1984) Reusability in Programming:A Survey of the State of the Art. IEEE Trans. Software Eng. 10 5:488–493

    Google Scholar 

  • Dijkstra E.W. (1975) Guarded Commands, Nondeterminacy and Formal Derivation of Programs. CACM 18 8:453–457

    Google Scholar 

  • Goldberg A. etal (1983) Smalltalk-80 Language and its implementation. Addison-Weslay

    Google Scholar 

  • Manna Z.,Wolper P. (1982) Synthesis of Communication Processes from Temporal Logic Specification. Lecture Notes in Computer Science 131,Springer-Verlag,p 253

    Google Scholar 

  • Balzer R.M. etal (1982) Operational Specification as Basis for Rapid Prototyping. ACM Sigsoft Software Eng. Notes 7 5:3–16

    Article  Google Scholar 

  • Davis A.M. etal (1982) Rapid Prototyping using Executable Requirements Specification. ACM Sigsoft Software Eng. Notes 7 5:39–44

    Article  Google Scholar 

  • Duncan A.G. (1982) Prototyping in ADA:Case Syudy. ACM Sigsoft Software Eng. Notes 7 5:54–60

    Article  Google Scholar 

  • Barstow D. (1982) Automatic Programming System to Support Experimental Science. Proc. 6th ICSE,p 360

    Google Scholar 

  • Zave P. (1981) Executable Requirements for Embedded System. Proc. 5th ICSE,p 295

    Google Scholar 

  • Gomma H. etal (1981) Prototyping as a Tool in the Specification of User Requirements. Proc 5th ICSE,p 333

    Google Scholar 

  • May D. (1983) occam. SIGPLAN Notices 18 4:69–79

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems and Software Engineering Division, Toshiba Corporation, 1-1-1, Shibaura, Minato-ku, 105, Tokyo, Japan

    Shinichi Honiden, Naoshi Uchihira & Toshiaki Kasuya

Authors
  1. Shinichi Honiden
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Naoshi Uchihira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Toshiaki Kasuya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Honiden, S., Uchihira, N., Kasuya, T. (1986). Software prototyping with MENDEL. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-16479-0_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16479-1

  • Online ISBN: 978-3-540-39820-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation