An interactive environment for hardware/software system design at the specification level

This publication has 10 references indexed in Scilit:

• Software CAD: a revolutionary approach
  IEEE Transactions on Software Engineering, 1989
• Towards a Formal Foundation for DeMarco Data Flow Diagrams
  The Computer Journal, 1989
• Systems semantics: principles, applications, and implementation
  ACM Transactions on Programming Languages and Systems, 1988
• Isomorphisms Between Petr Nets and Dataflow Graphs
  IEEE Transactions on Software Engineering, 1987
• Reachability analysis -based validation of embedded systems
  Microprocessing and Microprogramming, 1987
• Data model issues for object-oriented applications
  ACM Transactions on Information Systems, 1987
• Software Design Representation Using Abstract Process Networks
  IEEE Transactions on Software Engineering, 1980
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
  IEEE Transactions on Software Engineering, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• CAM02: A structured precedence analyser
  The Computer Journal, 1977