Advertisement

Software prototyping with MENDEL

  • Shinichi Honiden
  • Naoshi Uchihira
  • Toshiaki Kasuya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

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.

Keywords

Real Time System Process Control System Software Reusability Software Prototype Concurrent Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jones T.G. (1984) Reusability in Programming:A Survey of the State of the Art. IEEE Trans. Software Eng. 10 5:488–493Google Scholar
  2. Dijkstra E.W. (1975) Guarded Commands, Nondeterminacy and Formal Derivation of Programs. CACM 18 8:453–457Google Scholar
  3. Goldberg A. etal (1983) Smalltalk-80 Language and its implementation. Addison-WeslayGoogle Scholar
  4. Manna Z.,Wolper P. (1982) Synthesis of Communication Processes from Temporal Logic Specification. Lecture Notes in Computer Science 131,Springer-Verlag,p 253Google Scholar
  5. Balzer R.M. etal (1982) Operational Specification as Basis for Rapid Prototyping. ACM Sigsoft Software Eng. Notes 7 5:3–16CrossRefGoogle Scholar
  6. Davis A.M. etal (1982) Rapid Prototyping using Executable Requirements Specification. ACM Sigsoft Software Eng. Notes 7 5:39–44CrossRefGoogle Scholar
  7. Duncan A.G. (1982) Prototyping in ADA:Case Syudy. ACM Sigsoft Software Eng. Notes 7 5:54–60CrossRefGoogle Scholar
  8. Barstow D. (1982) Automatic Programming System to Support Experimental Science. Proc. 6th ICSE,p 360Google Scholar
  9. Zave P. (1981) Executable Requirements for Embedded System. Proc. 5th ICSE,p 295Google Scholar
  10. Gomma H. etal (1981) Prototyping as a Tool in the Specification of User Requirements. Proc 5th ICSE,p 333Google Scholar
  11. May D. (1983) occam. SIGPLAN Notices 18 4:69–79Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Shinichi Honiden
    • 1
  • Naoshi Uchihira
    • 1
  • Toshiaki Kasuya
    • 1
  1. 1.Systems and Software Engineering DivisionToshiba CorporationTokyoJapan

Personalised recommendations