Technical reports
Specification of computer architectures:
a survey and annotated bibliography
Timothy E. Leonard
January 1990, 42 pages
DOI: 10.48456/tr-188
Abstract
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
@TechReport{UCAM-CL-TR-188, author = {Leonard, Timothy E.}, title = {{Specification of computer architectures: a survey and annotated bibliography}}, year = 1990, month = jan, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-188.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-188}, number = {UCAM-CL-TR-188} }