Software prototyping with MENDEL
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.
KeywordsReal Time System Process Control System Software Reusability Software Prototype Concurrent Object
Unable to display preview. Download preview PDF.
- Jones T.G. (1984) Reusability in Programming:A Survey of the State of the Art. IEEE Trans. Software Eng. 10 5:488–493Google Scholar
- Dijkstra E.W. (1975) Guarded Commands, Nondeterminacy and Formal Derivation of Programs. CACM 18 8:453–457Google Scholar
- Goldberg A. etal (1983) Smalltalk-80 Language and its implementation. Addison-WeslayGoogle Scholar
- Manna Z.,Wolper P. (1982) Synthesis of Communication Processes from Temporal Logic Specification. Lecture Notes in Computer Science 131,Springer-Verlag,p 253Google Scholar
- Barstow D. (1982) Automatic Programming System to Support Experimental Science. Proc. 6th ICSE,p 360Google Scholar
- Zave P. (1981) Executable Requirements for Embedded System. Proc. 5th ICSE,p 295Google Scholar
- Gomma H. etal (1981) Prototyping as a Tool in the Specification of User Requirements. Proc 5th ICSE,p 333Google Scholar
- May D. (1983) occam. SIGPLAN Notices 18 4:69–79Google Scholar