Login / Signup

To Zed and back: integrating data flow diagrams and Z.

Ken RobinsonPeter S. HoMartin Schwenke
Published in: ACSE (1996)
Keyphrases
  • data flow
  • database machine
  • control flow
  • digital signal processing
  • data transfer
  • digital circuits
  • object oriented software
  • systolic array
  • object oriented
  • database
  • databases
  • training set
  • life cycle
  • stream processing