MENDELS ZONE: A parallel program development system based on formal specifications

This publication has 11 references indexed in Scilit:

• An application of artificial intelligence to object-oriented performance design for real-time systems
  IEEE Transactions on Software Engineering, 1994
• Design of the Kernel Language for the Parallel Inference Machine
  The Computer Journal, 1990
• How to integrate object orientation with structured analysis and design
  IEEE Software, 1989
• Program development for a systolic array
  ACM SIGPLAN Notices, 1988
• Experiences with poker
  ACM SIGPLAN Notices, 1988
• An open enviornment for building parallel programming systems
  ACM SIGPLAN Notices, 1988
• Writing Larch interface language specifications
  ACM Transactions on Programming Languages and Systems, 1987
• The transformation schema: An extension of the data flow diagram to represent control and timing
  IEEE Transactions on Software Engineering, 1986
• A software design method for real-time systems
  Communications of the ACM, 1984
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975