Show simple item record

A Tool for Assisting the Understanding and Formal Development of Software

dc.contributor.authorAbd-El-Hafiz, S.K.
dc.contributor.authorBasili, Victor R.
dc.date.accessioned2008-02-13T17:13:51Z
dc.date.available2008-02-13T17:13:51Z
dc.date.issued1993-09-15
dc.identifier.citationV. Basili and S. Abd-El-Hafiz, “A Tool for Assisting the Understanding and Formal Development of Software,” University of Maryland, CS-TR-3136, UMIACS-TR-93-89, October 1993.en
dc.identifier.urihttp://hdl.handle.net/1903/7541
dc.format.extent5986205 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen
dc.subjectprogram understandingen
dc.subjectreverse engineeringen
dc.subjectloopsen
dc.subjectpredicate logicen
dc.subjectformal software developmenten
dc.titleA Tool for Assisting the Understanding and Formal Development of Softwareen
dc.typeTechnical Reporten
dc.relation.isAvailableAtCollege of Computer, Mathematical & Physical Sciencesen_us
dc.relation.isAvailableAtComputer Scienceen_us
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_us
dc.relation.isAvailableAtUniversity of Maryland (College Park, MD)en_us


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record