Department of Computer Science and Technology

Technical reports

Specification of computer architectures:
a survey and annotated bibliography

Timothy E. Leonard

January 1990, 42 pages

DOI: 10.48456/tr-188


I first define computer architecture and architecture specification, explain how the conflict between clarity and ambiguity makes writing specifications difficult, and introduce and consider the advantages and problems of formal specifications. I then survey all the literature on architecture specification, and introduce the literature on technical writing and on formal specification in general. I close with an annotated bibliography.

Full text

PDF (2.9 MB)

BibTeX record

  author =	 {Leonard, Timothy E.},
  title = 	 {{Specification of computer architectures: a survey and
         	   annotated bibliography}},
  year = 	 1990,
  month = 	 jan,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-188},
  number = 	 {UCAM-CL-TR-188}