The Structure of Design Processes

This publication has 26 references indexed in Scilit:

• A plausibility-driven approach to computer architecture design
  Communications of the ACM, 1987
• Progress im High-Level Microprogramming
  IEEE Software, 1986
• The AADL/S* Approach to Firmware Design Verification
  IEEE Software, 1986
• Axiomatic Specifications in Firmware Development Systems
  IEEE Software, 1986
• Hardware Description Languages in Microprogramming Systems
  Computer, 1985
• The use of hoare logic in the verification of horizontal microprograms
  International Journal of Parallel Programming, 1984
• The primary generator and the design process
  Design Studies, 1979
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• The Organization of Microprogram Stores
  ACM Computing Surveys, 1979
• A model of large program development
  IBM Systems Journal, 1976