Show simple item record

dc.contributor.authorFitzwater, D.R.en_US
dc.date.accessioned2012-03-15T16:26:37Z
dc.date.available2012-03-15T16:26:37Z
dc.date.created1976en_US
dc.date.issued1976en
dc.identifier.citationTR279en
dc.identifier.urihttp://digital.library.wisc.edu/1793/58000
dc.description.abstractThis research proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current software engineering techniques, to develop specification for new designs and analysis tools, and to demonstrate the practicality of the "science". A hierarchical design schema will be developed within which formal representations and analyses can be defined and the required solutions can be found. Since "worst case" problems are generally impossible to solve, sufficient design laws or constraints will be developed to ensure solvability of the critical problems.en_US
dc.format.mimetypeapplication/pdfen_US
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleThe Formal Design and Analysis of Distributed Data Processing Systemsen_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • CS Technical Reports
    Technical Reports Archive for the Department of Computer Sciences at the University of Wisconsin-Madison

Show simple item record